Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 943 | 195.212 | 25.2007 |
Name | Mario/Mario-zinc-s1/ Mario-n-medium-3.xml |
MD5SUM | 5e375f515acf7f26619053bdd8bbc393 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 943 |
Best CPU time to get the best result obtained on this benchmark | 57.1424 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 61 |
Number of domains | 57 |
Minimum domain size | 1 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":28},{"size":28,"count":1},{"size":29,"count":8},{"size":30,"count":51}] |
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-4394475-1568432638.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394475-1568432638.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.28/0.84 c solve instance... 2.78/0.97 o 0 3.53/1.01 o 76 3.53/1.06 o 85 3.53/1.07 o 297 3.53/1.10 o 367 3.53/1.10 o 422 4.80/1.23 o 444 4.80/1.24 o 470 4.80/1.24 o 529 4.80/1.27 o 647 6.25/1.49 o 745 7.77/1.65 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (148/150) 7.77/1.66 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 7.77/1.66 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 7.77/1.66 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 7.77/1.66 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 7.77/1.66 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 7.77/1.66 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (148/150) 7.77/1.66 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 7.77/1.66 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 7.77/1.66 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 7.77/1.66 at org.chocosolver.solver.Solver.repair(Solver.java:443) 7.77/1.66 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 7.77/1.66 at org.chocosolver.solver.Solver.solve(Solver.java:262) 7.77/1.66 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 7.77/1.66 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 7.77/1.66 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 7.77/1.66 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 7.77/1.66 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 7.77/1.66 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 7.77/1.66 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 7.77/1.66 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 7.77/1.66 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 7.77/1.66 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 7.77/1.66 o 767 11.79/2.16 o 785 25.95/3.91 o 820 34.76/5.07 o 843 37.85/5.49 o 861 48.18/6.70 o 888 87.03/11.69 o 943 194.66/25.18 s OPTIMUM FOUND 194.66/25.18 v <instantiation> 194.66/25.18 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> 194.66/25.18 v <values>27 0 2 13 4 5 22 7 8 9 10 11 12 21 14 15 19 17 3 18 1 6 26 28 24 25 29 16 20 23 178 0 0 28 0 0 42 0 0 0 0 0 0 77 0 0 137 0 63 161 67 99 337 19 0 0 44 181 216 265 0 0 0 81 0 0 49 0 0 0 0 0 0 14 0 0 76 0 86 99 11 92 85 95 0 0 57 59 46 93 </values> 194.66/25.18 v </instantiation>
OK 943
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 (15096 MiB free) memory of node 1: 16384 MiB (15705 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394475-1568432638/watcher-4394475-1568432638 -o /tmp/evaluation-result-4394475-1568432638/solver-4394475-1568432638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1844979199 HOME/instance-4394475-1568432638.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=13664, runsolver pid=13661 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 6.90 7.71 8.03 2/212 13685 /proc/meminfo: memFree=31523364/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28227388 memory=30960 CPUtime=0.12 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 20 0 419425414 28904845312 7740 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7056847 7740 3159 1 0 7019032 0 [pid=13666/tid=13667] ppid=13664 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 3536 0 0 0 8 1 0 0 20 0 20 0 419425414 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366576959104 140366572745885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28227388 memory=288370579427407488 CPUtime=0 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13671] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13672] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13673] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13674] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13675] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 7740 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13676] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425416 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13677] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13678] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13679] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13680] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13681] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13682] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13683] ppid=13664 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) R 13664 13664 11928 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 419425419 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364943886576 140366556804446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 7740 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 32416 KiB [startup+0.210109 s]* /proc/loadavg: 6.90 7.71 8.03 2/212 13685 /proc/meminfo: memFree=31509264/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28227388 memory=42840 CPUtime=0.33 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 9467 0 0 0 30 3 0 0 20 0 20 0 419425414 28904845312 10710 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7056847 10710 3307 1 0 7019032 0 [pid=13666/tid=13667] ppid=13664 vsize=28227388 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 6562 0 0 0 18 2 0 0 20 0 20 0 419425414 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366576955872 140366572735894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28227388 memory=14965 CPUtime=0 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28227388 memory=140203275707693 CPUtime=0 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13671] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13672] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13673] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13674] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13675] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28904845312 10710 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13676] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419425416 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13677] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13678] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13679] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13680] ppid=13664 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7 /proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13681] ppid=13664 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13682] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13683] ppid=13664 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) R 13664 13664 11928 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 419425419 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364943886576 140366551355621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28904845312 10710 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 44296 KiB [startup+0.309609 s]* /proc/loadavg: 6.90 7.71 8.03 5/212 13685 /proc/meminfo: memFree=31502800/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28231644 memory=52268 CPUtime=0.52 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 10837 0 0 0 48 4 0 0 20 0 20 0 419425414 28909203456 13067 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7057911 13067 3362 1 0 7019032 0 [pid=13666/tid=13667] ppid=13664 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 7694 0 0 0 27 3 0 0 20 0 20 0 419425414 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366576961880 140366572745885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13671] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13672] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13673] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13674] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13675] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28909203456 13067 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13676] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419425416 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13677] ppid=13664 vsize=28231644 memory=280406335364480 CPUtime=0 cores=0-7 /proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419425417 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364950201632 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13678] ppid=13664 vsize=28231644 memory=280406335369088 CPUtime=0 cores=0-7 /proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419425417 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364949149296 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13679] ppid=13664 vsize=28231644 memory=280406335373696 CPUtime=0 cores=0-7 /proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13680] ppid=13664 vsize=28231644 memory=280406335378304 CPUtime=0.04 cores=0-7 /proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13681] ppid=13664 vsize=28231644 memory=280406335382912 CPUtime=0.01 cores=0-7 /proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13682] ppid=13664 vsize=28231644 memory=280406335387520 CPUtime=0.02 cores=0-7 /proc/13666/task/13682/stat : 13682 (java) R 13664 13664 11928 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364944920392 140366557849987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13683] ppid=13664 vsize=28231644 memory=280406335392128 CPUtime=0.12 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 419425419 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425420 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425420 28909203456 13067 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 53724 KiB [startup+0.700927 s] /proc/loadavg: 6.90 7.71 8.03 2/212 13685 /proc/meminfo: memFree=31480360/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28233768 memory=100620 CPUtime=1.79 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 15781 0 0 0 173 6 0 0 20 0 20 0 419425414 28911378432 25155 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7058442 25155 3454 1 0 7019544 0 [pid=13666/tid=13667] ppid=13664 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) R 13664 13664 11928 0 -1 4202560 9309 0 0 0 64 4 0 0 20 0 20 0 419425414 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366576961664 140366191880804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28233768 memory=140203167884160 CPUtime=0 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28233768 memory=1052 CPUtime=0 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419425415 28911378432 25155 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 ################ # More data... # ################ [pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=14012 CPUtime=1.32 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=19696 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=14068 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=2120 CPUtime=12.9 cores=0-7 /proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1045 0 0 0 1290 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364925447496 140366199055024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=504 CPUtime=12.98 cores=0-7 /proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1298 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364929659304 140366199452103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=1560 CPUtime=12.92 cores=0-7 /proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6813 0 0 0 1281 11 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364928606136 140366202026731 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=924 CPUtime=12.8 cores=0-7 /proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1328 0 0 0 1278 2 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364923342584 140366197541888 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=1692 CPUtime=12.93 cores=0-7 /proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 877 0 0 0 1293 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364926501208 140366200776025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=792 CPUtime=13.02 cores=0-7 /proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 652 0 0 0 1302 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364927552832 140366198315951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=1448 CPUtime=12.94 cores=0-7 /proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1294 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364930712376 140366198739150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=1964 CPUtime=13.01 cores=0-7 /proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 644 0 0 0 1301 0 0 0 20 0 28 0 419426583 29458767872 369902 33554432000 4194304 4196468 140728709199904 140364924395848 140366198749714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 192.2 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1481064 KiB [startup+25.0019 s]* /proc/loadavg: 7.57 7.81 8.06 9/220 13838 /proc/meminfo: memFree=30041008/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28768328 memory=1512376 CPUtime=193.86 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 90656 0 0 0 19277 109 0 0 20 0 28 0 419425414 29458767872 378094 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7192082 378094 3535 1 0 7153184 0 [pid=13666/tid=13667] ppid=13664 vsize=28768328 memory=1398722017469774279 CPUtime=0.86 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) S 13664 13664 11928 0 -1 1077944384 9735 0 0 0 81 5 0 0 20 0 28 0 419425414 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366576964736 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28768328 memory=0 CPUtime=0.18 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 1484 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.14 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 493 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.18 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 371 0 0 0 11 7 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13671] ppid=13664 vsize=28768328 memory=0 CPUtime=0.15 cores=0-7 /proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 686 0 0 0 10 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13672] ppid=13664 vsize=28768328 memory=0 CPUtime=0.17 cores=0-7 /proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 313 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13673] ppid=13664 vsize=28768328 memory=-1 CPUtime=0.18 cores=0-7 /proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 229 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13674] ppid=13664 vsize=28768328 memory=0 CPUtime=0.17 cores=0-7 /proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 305 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13675] ppid=13664 vsize=28768328 memory=0 CPUtime=0.14 cores=0-7 /proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 238 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 378094 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13676] ppid=13664 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7 /proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 1700 0 0 0 3 0 0 0 20 0 28 0 419425416 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13677] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364950201696 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13678] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364949149312 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13679] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13680] ppid=13664 vsize=28768328 memory=6655300316396806240 CPUtime=3.96 cores=0-7 /proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 16998 0 0 0 393 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13681] ppid=13664 vsize=28768328 memory=0 CPUtime=4 cores=0-7 /proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 13472 0 0 0 397 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13682] ppid=13664 vsize=28768328 memory=0 CPUtime=3.54 cores=0-7 /proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 13448 0 0 0 351 3 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=0 CPUtime=1.32 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=-1 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=-1 CPUtime=13.11 cores=0-7 /proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1046 0 0 0 1311 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364925447496 140366198739828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=0 CPUtime=13.19 cores=0-7 /proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1319 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364929659304 140366198114752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=0 CPUtime=13.12 cores=0-7 /proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6852 0 0 0 1301 11 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364928606136 140366205451036 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=0 CPUtime=13 cores=0-7 /proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1331 0 0 0 1298 2 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364923342584 140366198482121 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=0 CPUtime=13.14 cores=0-7 /proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 879 0 0 0 1314 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364926501208 140366200776025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=0 CPUtime=13.23 cores=0-7 /proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 652 0 0 0 1323 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364927552832 140366199181812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=0 CPUtime=13.15 cores=0-7 /proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1315 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364930712376 140366198749880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=0 CPUtime=13.22 cores=0-7 /proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 644 0 0 0 1322 0 0 0 20 0 28 0 419426583 29458767872 378094 33554432000 4194304 4196468 140728709199904 140364924395848 140366198325888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 193.86 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1513832 KiB [startup+25.1109 s] /proc/loadavg: 7.57 7.81 8.06 9/220 13838 /proc/meminfo: memFree=30041008/32770624 swapFree=67004232/67108860 [pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 11928 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419425413 115843072 364 33554432000 4194304 5098028 140732119747008 140732119745112 140196001157756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34013184 140732119753589 140732119753833 140732119753833 140732119756746 0 /proc/13664/statm: 28282 364 305 221 0 87 0 [pid=13666] ppid=13664 vsize=28768328 memory=1526712 CPUtime=194.66 cores=0-7 /proc/13666/stat : 13666 (java) S 13664 13664 11928 0 -1 1077944320 90671 0 0 0 19356 110 0 0 20 0 28 0 419425414 29458767872 381678 33554432000 4194304 4196468 140728709199904 140728709182448 140366572723959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 /proc/13666/statm: 7192082 381678 3535 1 0 7153184 0 [pid=13666/tid=13667] ppid=13664 vsize=28768328 memory=1461176 CPUtime=0.86 cores=0-7 /proc/13666/task/13667/stat : 13667 (java) S 13664 13664 11928 0 -1 1077944384 9735 0 0 0 81 5 0 0 20 0 28 0 419425414 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366576964736 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13668] ppid=13664 vsize=28768328 memory=1391544 CPUtime=0.18 cores=0-7 /proc/13666/task/13668/stat : 13668 (java) S 13664 13664 11928 0 -1 1077944384 1484 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366525344656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13669] ppid=13664 vsize=28768328 memory=1493944 CPUtime=0.14 cores=0-7 /proc/13666/task/13669/stat : 13669 (java) S 13664 13664 11928 0 -1 1077944384 493 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366524291856 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13670] ppid=13664 vsize=28768328 memory=1456 CPUtime=0.18 cores=0-7 /proc/13666/task/13670/stat : 13670 (java) S 13664 13664 11928 0 -1 1077944384 371 0 0 0 11 7 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366523239568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13671] ppid=13664 vsize=28768328 memory=1287096 CPUtime=0.15 cores=0-7 /proc/13666/task/13671/stat : 13671 (java) S 13664 13664 11928 0 -1 1077944384 686 0 0 0 10 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366522186768 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13672] ppid=13664 vsize=28768328 memory=1287096 CPUtime=0.17 cores=0-7 /proc/13666/task/13672/stat : 13672 (java) S 13664 13664 11928 0 -1 1077944384 313 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366521133456 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13673] ppid=13664 vsize=28768328 memory=2456 CPUtime=0.18 cores=0-7 /proc/13666/task/13673/stat : 13673 (java) S 13664 13664 11928 0 -1 1077944384 229 0 0 0 12 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366520080656 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13674] ppid=13664 vsize=28768328 memory=1760 CPUtime=0.17 cores=0-7 /proc/13666/task/13674/stat : 13674 (java) S 13664 13664 11928 0 -1 1077944384 305 0 0 0 11 6 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366519028368 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13675] ppid=13664 vsize=28768328 memory=1366968 CPUtime=0.14 cores=0-7 /proc/13666/task/13675/stat : 13675 (java) S 13664 13664 11928 0 -1 1077944384 238 0 0 0 9 5 0 0 20 0 28 0 419425415 29458767872 381678 33554432000 4194304 4196468 140728709199904 140366517975568 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13676] ppid=13664 vsize=28768328 memory=1456 CPUtime=0.03 cores=0-7 /proc/13666/task/13676/stat : 13676 (java) S 13664 13664 11928 0 -1 1077944384 1700 0 0 0 3 0 0 0 20 0 28 0 419425416 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364951255664 140366572735106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13677] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13677/stat : 13677 (java) S 13664 13664 11928 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364950201696 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13678] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13678/stat : 13678 (java) S 13664 13664 11928 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 419425417 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364949149312 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13679] ppid=13664 vsize=28768328 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/13666/task/13679/stat : 13679 (java) S 13664 13664 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364948097616 140366572742555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13680] ppid=13664 vsize=28768328 memory=1416 CPUtime=3.96 cores=0-7 /proc/13666/task/13680/stat : 13680 (java) S 13664 13664 11928 0 -1 1077944384 16998 0 0 0 393 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364947044464 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13681] ppid=13664 vsize=28768328 memory=1556 CPUtime=4 cores=0-7 /proc/13666/task/13681/stat : 13681 (java) S 13664 13664 11928 0 -1 1077944384 13472 0 0 0 397 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364945991664 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13682] ppid=13664 vsize=28768328 memory=6791534058613427641 CPUtime=3.54 cores=0-7 /proc/13666/task/13682/stat : 13682 (java) S 13664 13664 11928 0 -1 1077944384 13448 0 0 0 351 3 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364944939376 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13683] ppid=13664 vsize=28768328 memory=26660 CPUtime=1.32 cores=0-7 /proc/13666/task/13683/stat : 13683 (java) S 13664 13664 11928 0 -1 1077944384 7465 0 0 0 130 2 0 0 20 0 28 0 419425419 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364943886576 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13684] ppid=13664 vsize=28768328 memory=2321383752266169449 CPUtime=0 cores=0-7 /proc/13666/task/13684/stat : 13684 (java) S 13664 13664 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364942834528 140366572734165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13685] ppid=13664 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/13666/task/13685/stat : 13685 (java) S 13664 13664 11928 0 -1 1077944384 607 0 0 0 0 0 0 0 20 0 28 0 419425420 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364941781808 140366572735106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13830] ppid=13664 vsize=28768328 memory=0 CPUtime=13.21 cores=0-7 /proc/13666/task/13830/stat : 13830 (java) R 13664 13664 11928 0 -1 4202560 1046 0 0 0 1321 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364925447496 140366198481884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13831] ppid=13664 vsize=28768328 memory=303430223234596890 CPUtime=13.29 cores=0-7 /proc/13666/task/13831/stat : 13831 (java) R 13664 13664 11928 0 -1 4202560 378 0 0 0 1329 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364929659304 140366199181372 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13832] ppid=13664 vsize=28768328 memory=0 CPUtime=13.22 cores=0-7 /proc/13666/task/13832/stat : 13832 (java) R 13664 13664 11928 0 -1 4202560 6862 0 0 0 1311 11 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364928606136 140366197922422 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13833] ppid=13664 vsize=28768328 memory=297301347919988921 CPUtime=13.1 cores=0-7 /proc/13666/task/13833/stat : 13833 (java) R 13664 13664 11928 0 -1 4202560 1333 0 0 0 1308 2 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364923342584 140366204125626 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13834] ppid=13664 vsize=28768328 memory=4580 CPUtime=13.24 cores=0-7 /proc/13666/task/13834/stat : 13834 (java) R 13664 13664 11928 0 -1 4202560 879 0 0 0 1324 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364926501208 140366199452215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13835] ppid=13664 vsize=28768328 memory=1456 CPUtime=13.33 cores=0-7 /proc/13666/task/13835/stat : 13835 (java) R 13664 13664 11928 0 -1 4202560 654 0 0 0 1333 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364927552832 140366198481604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13836] ppid=13664 vsize=28768328 memory=1456 CPUtime=13.25 cores=0-7 /proc/13666/task/13836/stat : 13836 (java) R 13664 13664 11928 0 -1 4202560 642 0 0 0 1325 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364930712376 140366199054373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 [pid=13666/tid=13837] ppid=13664 vsize=28768328 memory=1287096 CPUtime=13.31 cores=0-7 /proc/13666/task/13837/stat : 13837 (java) R 13664 13664 11928 0 -1 4202560 645 0 0 0 1331 0 0 0 20 0 28 0 419426583 29458767872 381678 33554432000 4194304 4196468 140728709199904 140364924395848 140366205263306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25972736 140728709202922 140728709203094 140728709203094 140728709205967 0 Current children cumulated CPU time: 194.66 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1528168 KiB Child status: 0 Real time (s): 25.2007 CPU time (s): 195.212 CPU user time (s): 194.086 CPU system time (s): 1.12543 CPU usage (%): 774.63 Max. virtual memory (cumulated for all children) (KiB): 28883772 Max. memory (cumulated for all children) (KiB): 1528168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 194.086 system time used= 1.12543 maximum resident set size= 1536784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92441 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7283 involuntary context switches= 3579 # summary of solver processes directly reported to runsolver: # pid: 13664 # total CPU time (s): 195.212 # total CPU user time (s): 194.086 # total CPU system time (s): 1.12543 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.213198 second user time and 0.35302 second system time The end
Begin job on node148 at 2019-09-14 05:43:21 IDJOB=4394475 IDBENCH=133277 IDSOLVER=2843 FILE ID=node148/4394475-1568432638 RUNJOBID= node148-1568432499-11955 PBS_JOBID= 21702314 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Mario/Mario-zinc-s1/Mario-n-medium-3.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-4394475-1568432638/watcher-4394475-1568432638 -o /tmp/evaluation-result-4394475-1568432638/solver-4394475-1568432638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1844979199 HOME/instance-4394475-1568432638.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e375f515acf7f26619053bdd8bbc393 RANDOM SEED=1844979199 node148.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.13 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.13 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.13 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.13 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: 31541668 kB MemAvailable: 31909300 kB Buffers: 91912 kB Cached: 573012 kB SwapCached: 3812 kB Active: 413080 kB Inactive: 258720 kB Active(anon): 4424 kB Inactive(anon): 43744 kB Active(file): 408656 kB Inactive(file): 214976 kB Unevictable: 108944 kB Mlocked: 108944 kB SwapTotal: 67108860 kB SwapFree: 67004232 kB Dirty: 26388 kB Writeback: 0 kB AnonPages: 168928 kB Mapped: 44492 kB Shmem: 32352 kB Slab: 148428 kB SReclaimable: 119672 kB SUnreclaim: 28756 kB KernelStack: 3840 kB PageTables: 6172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61284 MiB End job on node148 at 2019-09-14 05:43:47