Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 771 | 187.47 | 24.4311 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-5.xml |
MD5SUM | 36a1aa2a38358c951443c34d8d302d49 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 771 |
Best CPU time to get the best result obtained on this benchmark | 74.8503 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 56 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":29,"count":5},{"size":30,"count":55}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":59},{"degree":3,"count":29}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":58},{"arity":30,"count":2}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 29 |
Distribution of constraint types | [{"type":"extension","count":30},{"type":"intension","count":29},{"type":"sum","count":1},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394470-1568432713.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394470-1568432713.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.28/0.83 c solve instance... 2.80/0.98 o 74 2.80/1.00 o 252 3.59/1.04 o 255 3.59/1.08 o 270 3.59/1.08 o 276 3.59/1.09 o 288 4.25/1.11 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (117/123) 4.25/1.11 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 4.25/1.11 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 4.25/1.11 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 4.25/1.11 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 4.25/1.11 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 4.25/1.11 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (117/123) 4.25/1.11 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 4.25/1.11 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 4.25/1.11 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 4.25/1.11 at org.chocosolver.solver.Solver.repair(Solver.java:443) 4.25/1.11 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 4.25/1.11 at org.chocosolver.solver.Solver.solve(Solver.java:262) 4.25/1.11 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 4.25/1.11 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 4.25/1.11 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 4.25/1.11 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 4.25/1.12 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 4.25/1.12 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 4.25/1.12 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 4.25/1.12 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 4.25/1.12 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 4.25/1.12 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 4.25/1.12 o 296 4.25/1.14 o 302 4.25/1.18 o 305 4.25/1.18 o 319 4.90/1.20 o 330 4.90/1.24 o 336 4.90/1.25 o 371 5.50/1.30 o 426 6.20/1.40 o 455 6.20/1.44 o 496 6.20/1.46 o 507 6.20/1.47 o 529 6.20/1.47 o 532 7.71/1.62 o 545 8.51/1.74 o 548 8.51/1.76 o 592 9.22/1.88 o 595 10.84/2.10 o 623 13.04/2.35 o 626 15.25/2.65 o 654 16.02/2.75 o 661 16.77/2.81 o 686 19.87/3.27 o 688 22.18/3.60 o 705 30.08/4.55 o 739 41.18/5.95 o 756 49.87/7.04 o 771 187.43/24.41 s OPTIMUM FOUND 187.43/24.41 v <instantiation> 187.43/24.41 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] </list> 187.43/24.41 v <values>2 0 23 6 4 5 18 15 8 29 11 26 12 10 14 20 1 17 7 13 27 21 22 19 24 25 9 16 28 3 46 0 180 194 0 0 273 574 0 1 58 26 0 43 0 45 178 0 41 40 73 0 0 1 0 0 70 61 0 89 0 0 74 24 0 0 54 91 0 21 31 3 0 60 0 90 78 0 17 17 8 0 0 56 0 0 80 47 0 20 </values> 187.43/24.41 v </instantiation>
OK 771
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 (14842 MiB free) memory of node 1: 16384 MiB (15305 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394470-1568432713/watcher-4394470-1568432713 -o /tmp/evaluation-result-4394470-1568432713/solver-4394470-1568432713 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 276615783 HOME/instance-4394470-1568432713.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=14740, runsolver pid=14737 Current StackSize limit: 8192 KiB [startup+0.100117 s]* /proc/loadavg: 7.93 7.91 8.00 3/212 14761 /proc/meminfo: memFree=30853332/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28227388 memory=30300 CPUtime=0.12 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 5486 0 0 0 10 2 0 0 20 0 20 0 419510016 28904845312 7575 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7056847 7575 3133 1 0 7019032 0 [pid=14742/tid=14743] ppid=14740 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) R 14740 14740 11963 0 -1 4202560 3379 0 0 0 8 1 0 0 20 0 20 0 419510017 28904845312 7575 33554432000 4194304 4196468 140736099314096 140630163867440 140630159656093 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510017 28904845312 7575 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28227388 memory=139726567495296 CPUtime=0 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14747] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14747/stat : 14747 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629707438608 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14748] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14748/stat : 14748 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629706386320 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14749] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14749/stat : 14749 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629705333520 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14750] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14750/stat : 14750 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629704281232 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14751] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14751/stat : 14751 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629703228432 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14752] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14752/stat : 14752 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510019 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629275990128 140630159645314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14753] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14753/stat : 14753 (java) S 14740 14740 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419510019 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629274936096 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14754] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14754/stat : 14754 (java) S 14740 14740 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419510020 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629273883760 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14755] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14755/stat : 14755 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629272832080 140630159652763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14756] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14756/stat : 14756 (java) S 14740 14740 11963 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629271779952 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14757] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14757/stat : 14757 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629270727152 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14758] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14758/stat : 14758 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629269674864 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14759] ppid=14740 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) R 14740 14740 11963 0 -1 4202560 359 0 0 0 1 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629268622064 140630159655514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510023 28904845312 7575 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31752 KiB [startup+0.210177 s]* /proc/loadavg: 7.93 7.91 8.00 3/212 14761 /proc/meminfo: memFree=30840828/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28227388 memory=41404 CPUtime=0.33 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 9064 0 0 0 29 4 0 0 20 0 20 0 419510016 28904845312 10351 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7056847 10351 3304 1 0 7019032 0 [pid=14742/tid=14743] ppid=14740 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) R 14740 14740 11963 0 -1 4202560 6196 0 0 0 17 2 0 0 20 0 20 0 419510017 28904845312 10351 33554432000 4194304 4196468 140736099314096 140630163872480 140630159646102 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28227388 memory=329 CPUtime=0 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510017 28904845312 10351 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28227388 memory=3978006980881012384 CPUtime=0 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14747] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14747/stat : 14747 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629707438608 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14748] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14748/stat : 14748 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629706386320 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14749] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14749/stat : 14749 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629705333520 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14750] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14750/stat : 14750 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629704281232 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14751] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14751/stat : 14751 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629703228432 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14752] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14752/stat : 14752 (java) S 14740 14740 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419510019 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629275990128 140630159645314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14753] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14753/stat : 14753 (java) S 14740 14740 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419510019 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629274936096 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14754] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14754/stat : 14754 (java) S 14740 14740 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419510020 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629273883760 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14755] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14755/stat : 14755 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629272832080 140630159652763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14756] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14756/stat : 14756 (java) S 14740 14740 11963 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629271779952 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14757] ppid=14740 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14742/task/14757/stat : 14757 (java) S 14740 14740 11963 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629270727152 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14758] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14758/stat : 14758 (java) S 14740 14740 11963 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629269674864 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14759] ppid=14740 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) R 14740 14740 11963 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629268622064 140630159646102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510022 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510023 28904845312 10351 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42856 KiB [startup+0.309807 s]* /proc/loadavg: 7.93 7.91 8.00 5/212 14761 /proc/meminfo: memFree=30834328/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28231644 memory=50140 CPUtime=0.51 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 10410 0 0 0 47 4 0 0 20 0 20 0 419510016 28909203456 12535 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7057911 12535 3364 1 0 7019032 0 [pid=14742/tid=14743] ppid=14740 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) R 14740 14740 11963 0 -1 4202560 7315 0 0 0 27 2 0 0 20 0 20 0 419510017 28909203456 12535 33554432000 4194304 4196468 140736099314096 140630163867952 140630143714654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510017 28909203456 12535 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14747] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14747/stat : 14747 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629707438608 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14748] ppid=14740 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/14742/task/14748/stat : 14748 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629706386320 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14749] ppid=14740 vsize=28231644 memory=139726426305455 CPUtime=0 cores=0-7 /proc/14742/task/14749/stat : 14749 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629705333520 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14750] ppid=14740 vsize=28231644 memory=139726426307760 CPUtime=0 cores=0-7 /proc/14742/task/14750/stat : 14750 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629704281232 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14751] ppid=14740 vsize=28231644 memory=139726426310064 CPUtime=0 cores=0-7 /proc/14742/task/14751/stat : 14751 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629703228432 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14752] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14752/stat : 14752 (java) S 14740 14740 11963 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419510019 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629275990128 140630159645314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14753] ppid=14740 vsize=28231644 memory=279452852627088 CPUtime=0 cores=0-7 /proc/14742/task/14753/stat : 14753 (java) S 14740 14740 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419510019 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629274936096 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14754] ppid=14740 vsize=28231644 memory=279452852634000 CPUtime=0 cores=0-7 /proc/14742/task/14754/stat : 14754 (java) S 14740 14740 11963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419510020 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629273883760 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14755] ppid=14740 vsize=28231644 memory=279452852575152 CPUtime=0 cores=0-7 /proc/14742/task/14755/stat : 14755 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629272832080 140630159652763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14756] ppid=14740 vsize=28231644 memory=279452852647824 CPUtime=0.01 cores=0-7 /proc/14742/task/14756/stat : 14756 (java) S 14740 14740 11963 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629271779952 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14757] ppid=14740 vsize=28231644 memory=279452852654736 CPUtime=0.03 cores=0-7 /proc/14742/task/14757/stat : 14757 (java) R 14740 14740 11963 0 -1 4202560 245 0 0 0 3 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629270717536 140630138878816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14758] ppid=14740 vsize=28231644 memory=279452852652432 CPUtime=0.01 cores=0-7 /proc/14742/task/14758/stat : 14758 (java) S 14740 14740 11963 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629269674864 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14759] ppid=14740 vsize=28231644 memory=279452852668592 CPUtime=0.12 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) S 14740 14740 11963 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629268622064 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419510022 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510023 28909203456 12535 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51592 KiB [startup+0.700999 s] /proc/loadavg: 7.93 7.91 8.00 3/212 14761 /proc/meminfo: memFree=30810180/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28233768 memory=101768 CPUtime=1.79 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 15560 0 0 0 172 7 0 0 20 0 20 0 419510016 28911378432 25442 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7058442 25442 3452 1 0 7019544 0 [pid=14742/tid=14743] ppid=14740 vsize=28233768 memory=279452853026480 CPUtime=0.68 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) R 14740 14740 11963 0 -1 4202560 8930 0 0 0 64 4 0 0 20 0 20 0 419510017 28911378432 25442 33554432000 4194304 4196468 140736099314096 140630163872624 140629797844807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28233768 memory=139726426514288 CPUtime=0 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510017 28911378432 25442 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419510018 28911378432 25442 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28233768 memory=5980 CPUtime=0 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419510018 28911378432 25442 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 ################ # More data... # ################ [pid=14742/tid=14759] ppid=14740 vsize=28834892 memory=14012 CPUtime=1.39 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) S 14740 14740 11963 0 -1 1077944384 10269 0 0 0 137 2 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629268622064 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28834892 memory=2112 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28834892 memory=12040 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1620 0 0 0 0 0 0 0 20 0 28 0 419510023 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15026] ppid=14740 vsize=28834892 memory=24104 CPUtime=15.34 cores=0-7 /proc/14742/task/15026/stat : 15026 (java) R 14740 14740 11963 0 -1 4202560 672 0 0 0 1534 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629252049944 140629807049529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15027] ppid=14740 vsize=28834892 memory=1556 CPUtime=15.67 cores=0-7 /proc/14742/task/15027/stat : 15027 (java) R 14740 14740 11963 0 -1 4202560 401 0 0 0 1567 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629254156160 140629807049529 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15028] ppid=14740 vsize=28834892 memory=532 CPUtime=15.45 cores=0-7 /proc/14742/task/15028/stat : 15028 (java) R 14740 14740 11963 0 -1 4202560 8190 0 0 0 1529 16 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629246787752 140629808035949 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15029] ppid=14740 vsize=28834892 memory=804 CPUtime=15.52 cores=0-7 /proc/14742/task/15029/stat : 15029 (java) R 14740 14740 11963 0 -1 4202560 1401 0 0 0 1551 1 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629253104008 140629808936992 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15030] ppid=14740 vsize=28834892 memory=1764 CPUtime=15.81 cores=0-7 /proc/14742/task/15030/stat : 15030 (java) R 14740 14740 11963 0 -1 4202560 876 0 0 0 1581 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629249946216 140629802109781 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15031] ppid=14740 vsize=28834892 memory=111628 CPUtime=15.86 cores=0-7 /proc/14742/task/15031/stat : 15031 (java) R 14740 14740 11963 0 -1 4202560 625 0 0 0 1586 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629248893224 140629802109033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15032] ppid=14740 vsize=28834892 memory=800 CPUtime=15.35 cores=0-7 /proc/14742/task/15032/stat : 15032 (java) R 14740 14740 11963 0 -1 4202560 1588 0 0 0 1534 1 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629250998152 140629804688209 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15033] ppid=14740 vsize=28834892 memory=4108 CPUtime=15.28 cores=0-7 /proc/14742/task/15033/stat : 15033 (java) R 14740 14740 11963 0 -1 4202560 819 0 0 0 1528 0 0 0 20 0 28 0 419510722 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629247839488 140629802109041 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 178.52 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 1313748 KiB [startup+24.0019 s]* /proc/loadavg: 8.13 7.96 8.01 9/220 15036 /proc/meminfo: memFree=29568584/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28834892 memory=1312296 CPUtime=184.97 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 113419 0 0 0 18382 115 0 0 20 0 28 0 419510016 29526929408 328074 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7208723 328074 3537 1 0 7169825 0 [pid=14742/tid=14743] ppid=14740 vsize=28834892 memory=0 CPUtime=0.86 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) S 14740 14740 11963 0 -1 1077944384 9182 0 0 0 81 5 0 0 20 0 28 0 419510017 29526929408 328074 33554432000 4194304 4196468 140736099314096 140630163874944 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28834892 memory=4126316290023845779 CPUtime=0.16 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 212 0 0 0 10 6 0 0 20 0 28 0 419510017 29526929408 328074 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28834892 memory=1452 CPUtime=0.17 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1082 0 0 0 11 6 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28834892 memory=1312296 CPUtime=0.16 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 435 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14747] ppid=14740 vsize=28834892 memory=1452 CPUtime=0.16 cores=0-7 /proc/14742/task/14747/stat : 14747 (java) S 14740 14740 11963 0 -1 1077944384 366 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629707438608 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14748] ppid=14740 vsize=28834892 memory=1273284 CPUtime=0.17 cores=0-7 /proc/14742/task/14748/stat : 14748 (java) S 14740 14740 11963 0 -1 1077944384 1776 0 0 0 12 5 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629706386320 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14749] ppid=14740 vsize=28834892 memory=279452852505536 CPUtime=0.16 cores=0-7 /proc/14742/task/14749/stat : 14749 (java) S 14740 14740 11963 0 -1 1077944384 1605 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629705333520 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14750] ppid=14740 vsize=28834892 memory=6791534058613427641 CPUtime=0.14 cores=0-7 /proc/14742/task/14750/stat : 14750 (java) S 14740 14740 11963 0 -1 1077944384 719 0 0 0 9 5 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629704281232 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14751] ppid=14740 vsize=28834892 memory=1452 CPUtime=0.16 cores=0-7 /proc/14742/task/14751/stat : 14751 (java) S 14740 14740 11963 0 -1 1077944384 262 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629703228432 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14752] ppid=14740 vsize=28834892 memory=1452 CPUtime=0.03 cores=0-7 /proc/14742/task/14752/stat : 14752 (java) S 14740 14740 11963 0 -1 1077944384 2028 0 0 0 2 1 0 0 20 0 28 0 419510019 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629275990128 140630159645314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14753] ppid=14740 vsize=28834892 memory=1273284 CPUtime=0 cores=0-7 /proc/14742/task/14753/stat : 14753 (java) S 14740 14740 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419510019 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629274936160 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14754] ppid=14740 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14754/stat : 14754 (java) S 14740 14740 11963 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419510020 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629273883760 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14755] ppid=14740 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14755/stat : 14755 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629272832080 140630159652763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14756] ppid=14740 vsize=28834892 memory=139726426889040 CPUtime=5.56 cores=0-7 /proc/14742/task/14756/stat : 14756 (java) S 14740 14740 11963 0 -1 1077944384 20686 0 0 0 551 5 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629271779952 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14757] ppid=14740 vsize=28834892 memory=1312296 CPUtime=5.85 cores=0-7 /proc/14742/task/14757/stat : 14757 (java) S 14740 14740 11963 0 -1 1077944384 21033 0 0 0 580 5 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629270727152 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14758] ppid=14740 vsize=28834892 memory=288230617509003574 CPUtime=5.5 cores=0-7 /proc/14742/task/14758/stat : 14758 (java) S 14740 14740 11963 0 -1 1077944384 17480 0 0 0 546 4 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629269674864 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14759] ppid=14740 vsize=28834892 memory=14698482732632482 CPUtime=1.39 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) S 14740 14740 11963 0 -1 1077944384 10269 0 0 0 137 2 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629268622064 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419510022 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1620 0 0 0 0 0 0 0 20 0 28 0 419510023 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15026] ppid=14740 vsize=28834892 memory=0 CPUtime=16.15 cores=0-7 /proc/14742/task/15026/stat : 15026 (java) R 14740 14740 11963 0 -1 4202560 684 0 0 0 1615 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629252049944 140629797016080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15027] ppid=14740 vsize=28834892 memory=0 CPUtime=16.48 cores=0-7 /proc/14742/task/15027/stat : 15027 (java) R 14740 14740 11963 0 -1 4202560 410 0 0 0 1648 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629254156296 140629807049857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15028] ppid=14740 vsize=28834892 memory=0 CPUtime=16.22 cores=0-7 /proc/14742/task/15028/stat : 15028 (java) R 14740 14740 11963 0 -1 4202560 8448 0 0 0 1605 17 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629246787632 140629806355959 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15029] ppid=14740 vsize=28834892 memory=0 CPUtime=16.32 cores=0-7 /proc/14742/task/15029/stat : 15029 (java) R 14740 14740 11963 0 -1 4202560 1428 0 0 0 1631 1 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629253104008 140629796559320 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15030] ppid=14740 vsize=28834892 memory=0 CPUtime=16.61 cores=0-7 /proc/14742/task/15030/stat : 15030 (java) R 14740 14740 11963 0 -1 4202560 897 0 0 0 1661 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629249946216 140629801921664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15031] ppid=14740 vsize=28834892 memory=0 CPUtime=16.67 cores=0-7 /proc/14742/task/15031/stat : 15031 (java) R 14740 14740 11963 0 -1 4202560 657 0 0 0 1667 0 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629248893224 140629802297900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15032] ppid=14740 vsize=28834892 memory=0 CPUtime=16.16 cores=0-7 /proc/14742/task/15032/stat : 15032 (java) R 14740 14740 11963 0 -1 4202560 1603 0 0 0 1615 1 0 0 20 0 28 0 419510721 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629250998152 140629808871325 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15033] ppid=14740 vsize=28834892 memory=0 CPUtime=16.08 cores=0-7 /proc/14742/task/15033/stat : 15033 (java) R 14740 14740 11963 0 -1 4202560 833 0 0 0 1608 0 0 0 20 0 28 0 419510722 29526929408 328074 33554432000 4194304 4196468 140736099314096 140629247839488 140629806899101 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 184.97 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 1313748 KiB [startup+24.4013 s] /proc/loadavg: 8.13 7.96 8.01 9/220 15036 /proc/meminfo: memFree=29568584/32770624 swapFree=66940952/67108860 [pid=14740] ppid=14737 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/14740/stat : 14740 (xcsp3-exec) S 14737 14740 11963 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419510016 115843072 363 33554432000 4194304 5098028 140732241638320 140732241636424 139745470489212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20660224 140732241642358 140732241642601 140732241642601 140732241645514 0 /proc/14740/statm: 28282 363 304 221 0 87 0 [pid=14742] ppid=14740 vsize=28834892 memory=1312304 CPUtime=187.43 cores=0-7 /proc/14742/stat : 14742 (java) S 14740 14740 11963 0 -1 1077944320 115330 0 0 0 18627 116 0 0 20 0 28 0 419510016 29526929408 328076 33554432000 4194304 4196468 140736099314096 140736099296640 140630159634167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 /proc/14742/statm: 7208723 328076 3537 1 0 7169825 0 [pid=14742/tid=14743] ppid=14740 vsize=28834892 memory=6082203013298022487 CPUtime=0.86 cores=0-7 /proc/14742/task/14743/stat : 14743 (java) S 14740 14740 11963 0 -1 1077944384 9182 0 0 0 81 5 0 0 20 0 28 0 419510017 29526929408 328076 33554432000 4194304 4196468 140736099314096 140630163874944 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14744] ppid=14740 vsize=28834892 memory=6082203008885549143 CPUtime=0.16 cores=0-7 /proc/14742/task/14744/stat : 14744 (java) S 14740 14740 11963 0 -1 1077944384 212 0 0 0 10 6 0 0 20 0 28 0 419510017 29526929408 328076 33554432000 4194304 4196468 140736099314096 140630116186512 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14745] ppid=14740 vsize=28834892 memory=7230638416007425623 CPUtime=0.17 cores=0-7 /proc/14742/task/14745/stat : 14745 (java) S 14740 14740 11963 0 -1 1077944384 1082 0 0 0 11 6 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629709543696 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14746] ppid=14740 vsize=28834892 memory=7230638415890311511 CPUtime=0.16 cores=0-7 /proc/14742/task/14746/stat : 14746 (java) S 14740 14740 11963 0 -1 1077944384 435 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629708491408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14747] ppid=14740 vsize=28834892 memory=6082203008918710615 CPUtime=0.16 cores=0-7 /proc/14742/task/14747/stat : 14747 (java) S 14740 14740 11963 0 -1 1077944384 366 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629707438608 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14748] ppid=14740 vsize=28834892 memory=6082202987142081111 CPUtime=0.17 cores=0-7 /proc/14742/task/14748/stat : 14748 (java) S 14740 14740 11963 0 -1 1077944384 1776 0 0 0 12 5 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629706386320 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14749] ppid=14740 vsize=28834892 memory=6082202987142080855 CPUtime=0.16 cores=0-7 /proc/14742/task/14749/stat : 14749 (java) S 14740 14740 11963 0 -1 1077944384 1605 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629705333520 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14750] ppid=14740 vsize=28834892 memory=7230638415855315031 CPUtime=0.14 cores=0-7 /proc/14742/task/14750/stat : 14750 (java) S 14740 14740 11963 0 -1 1077944384 719 0 0 0 9 5 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629704281232 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14751] ppid=14740 vsize=28834892 memory=7230641817571125591 CPUtime=0.16 cores=0-7 /proc/14742/task/14751/stat : 14751 (java) S 14740 14740 11963 0 -1 1077944384 262 0 0 0 10 6 0 0 20 0 28 0 419510018 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629703228432 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14752] ppid=14740 vsize=28834892 memory=0 CPUtime=0.03 cores=0-7 /proc/14742/task/14752/stat : 14752 (java) S 14740 14740 11963 0 -1 1077944384 2106 0 0 0 2 1 0 0 20 0 28 0 419510019 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629275990128 140630159645314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14753] ppid=14740 vsize=28834892 memory=139730862462591 CPUtime=0 cores=0-7 /proc/14742/task/14753/stat : 14753 (java) S 14740 14740 11963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419510019 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629274936160 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14754] ppid=14740 vsize=28834892 memory=7378983553979662436 CPUtime=0 cores=0-7 /proc/14742/task/14754/stat : 14754 (java) S 14740 14740 11963 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 419510020 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629273883760 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14755] ppid=14740 vsize=28834892 memory=7378983553979662436 CPUtime=0 cores=0-7 /proc/14742/task/14755/stat : 14755 (java) S 14740 14740 11963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629272832080 140630159652763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14756] ppid=14740 vsize=28834892 memory=7378983553979662436 CPUtime=5.56 cores=0-7 /proc/14742/task/14756/stat : 14756 (java) S 14740 14740 11963 0 -1 1077944384 20686 0 0 0 551 5 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629271779952 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14757] ppid=14740 vsize=28834892 memory=7378983553979662436 CPUtime=5.85 cores=0-7 /proc/14742/task/14757/stat : 14757 (java) S 14740 14740 11963 0 -1 1077944384 21033 0 0 0 580 5 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629270727152 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14758] ppid=14740 vsize=28834892 memory=7883944108235712103 CPUtime=5.54 cores=0-7 /proc/14742/task/14758/stat : 14758 (java) S 14740 14740 11963 0 -1 1077944384 18574 0 0 0 550 4 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629269674864 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14759] ppid=14740 vsize=28834892 memory=7295950583417696866 CPUtime=1.39 cores=0-7 /proc/14742/task/14759/stat : 14759 (java) S 14740 14740 11963 0 -1 1077944384 10574 0 0 0 137 2 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629268622064 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14760] ppid=14740 vsize=28834892 memory=7306316804797196914 CPUtime=0 cores=0-7 /proc/14742/task/14760/stat : 14760 (java) S 14740 14740 11963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419510022 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629267568992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=14761] ppid=14740 vsize=28834892 memory=7306316804797196914 CPUtime=0 cores=0-7 /proc/14742/task/14761/stat : 14761 (java) S 14740 14740 11963 0 -1 1077944384 1620 0 0 0 0 0 0 0 20 0 28 0 419510023 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629266516272 140630159645314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15026] ppid=14740 vsize=28834892 memory=4642197910265684584 CPUtime=16.44 cores=0-7 /proc/14742/task/15026/stat : 15026 (java) S 14740 14740 11963 0 -1 1077944384 710 0 0 0 1644 0 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629252054688 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15027] ppid=14740 vsize=28834892 memory=7295950583417696866 CPUtime=16.78 cores=0-7 /proc/14742/task/15027/stat : 15027 (java) S 14740 14740 11963 0 -1 1077944384 441 0 0 0 1678 0 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629254161408 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15028] ppid=14740 vsize=28834892 memory=7306316804797196914 CPUtime=16.61 cores=0-7 /proc/14742/task/15028/stat : 15028 (java) R 14740 14740 11963 0 -1 4202560 8672 0 0 0 1644 17 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629246787992 140629802628352 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15029] ppid=14740 vsize=28834892 memory=7306316804797196914 CPUtime=16.62 cores=0-7 /proc/14742/task/15029/stat : 15029 (java) S 14740 14740 11963 0 -1 1077944384 1496 0 0 0 1661 1 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629253108992 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15030] ppid=14740 vsize=28834892 memory=7295950583417696866 CPUtime=16.92 cores=0-7 /proc/14742/task/15030/stat : 15030 (java) S 14740 14740 11963 0 -1 1077944384 924 0 0 0 1691 1 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629249951360 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15031] ppid=14740 vsize=28834892 memory=7306316804797196914 CPUtime=16.94 cores=0-7 /proc/14742/task/15031/stat : 15031 (java) S 14740 14740 11963 0 -1 1077944384 673 0 0 0 1693 1 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629248898560 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15032] ppid=14740 vsize=28834892 memory=2112 CPUtime=16.45 cores=0-7 /proc/14742/task/15032/stat : 15032 (java) S 14740 14740 11963 0 -1 1077944384 1618 0 0 0 1644 1 0 0 20 0 28 0 419510721 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629251003264 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 [pid=14742/tid=15033] ppid=14740 vsize=28834892 memory=12040 CPUtime=16.37 cores=0-7 /proc/14742/task/15033/stat : 15033 (java) S 14740 14740 11963 0 -1 1077944384 857 0 0 0 1637 0 0 0 20 0 28 0 419510722 29526929408 328076 33554432000 4194304 4196468 140736099314096 140629247845120 140630159644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39354368 140736099320810 140736099320982 140736099320982 140736099323855 0 Current children cumulated CPU time: 187.43 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 1313756 KiB Child status: 0 Real time (s): 24.4311 CPU time (s): 187.47 CPU user time (s): 186.291 CPU system time (s): 1.17902 CPU usage (%): 767.34 Max. virtual memory (cumulated for all children) (KiB): 28950320 Max. memory (cumulated for all children) (KiB): 1313756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 186.291 system time used= 1.17902 maximum resident set size= 1312344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116478 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9402 involuntary context switches= 4750 # summary of solver processes directly reported to runsolver: # pid: 14740 # total CPU time (s): 187.47 # total CPU user time (s): 186.291 # total CPU system time (s): 1.17902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.248322 second user time and 0.307322 second system time The end
Begin job on node149 at 2019-09-14 05:44:35 IDJOB=4394470 IDBENCH=133279 IDSOLVER=2843 FILE ID=node149/4394470-1568432713 RUNJOBID= node149-1568429993-11990 PBS_JOBID= 21702308 Free space on /tmp= 61424 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-5.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-4394470-1568432713/watcher-4394470-1568432713 -o /tmp/evaluation-result-4394470-1568432713/solver-4394470-1568432713 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568429993-11990 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 276615783 HOME/instance-4394470-1568432713.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 36a1aa2a38358c951443c34d8d302d49 RANDOM SEED=276615783 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30871172 kB MemAvailable: 31852300 kB Buffers: 190744 kB Cached: 1086072 kB SwapCached: 61296 kB Active: 621480 kB Inactive: 717072 kB Active(anon): 29484 kB Inactive(anon): 72468 kB Active(file): 591996 kB Inactive(file): 644604 kB Unevictable: 111244 kB Mlocked: 111244 kB SwapTotal: 67108860 kB SwapFree: 66940952 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 129376 kB Mapped: 44436 kB Shmem: 31376 kB Slab: 149748 kB SReclaimable: 120728 kB SUnreclaim: 29020 kB KernelStack: 3728 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498584 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-14 05:45:00