Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | ? | 301.487 | 114.532 |
Name | Ramsey/Ramsey-int-s1/ Ramsey-int-13.xml |
MD5SUM | f1adf00e8f8fa1741c0d4b74f691c684 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.318535 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 286 |
Number of domains | 1 |
Minimum domain size | 78 |
Maximum domain size | 78 |
Distribution of domain sizes | [{"size":78,"count":78}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":91},{"degree":12,"count":78}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":286}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 286 |
Distribution of constraint types | [{"type":"intension","count":286}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394186-1568347374.xml" -tl '2400s' -p 4 0.12/0.19 c Choco e747e1e 0.12/0.19 c [HOME/instance-4394186-1568347374.xml, -tl, 2400s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 301.36/114.47 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 301.36/114.47 at java.util.Arrays.copyOf(Arrays.java:3181) 301.36/114.47 at java.util.ArrayList.grow(ArrayList.java:261) 301.36/114.47 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 301.36/114.47 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 301.36/114.47 at java.util.ArrayList.add(ArrayList.java:458) 301.36/114.47 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159) 301.36/114.47 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 301.36/114.47 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 301.36/114.47 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 301.36/114.47 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 301.36/114.47 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 301.36/114.47 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 301.36/114.47 at org.xcsp.parser.XCallbacks$$Lambda$95/1519280649.accept(Unknown Source) 301.36/114.47 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 301.36/114.47 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 301.36/114.47 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 301.36/114.47 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 301.36/114.47 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 301.36/114.47 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 301.36/114.47 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 301.36/114.47 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 301.36/114.47 s UNKNOWN 301.36/114.47 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (12833 MiB free) memory of node 1: 16384 MiB (13548 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394186-1568347374/watcher-4394186-1568347374 -o /tmp/evaluation-result-4394186-1568347374/solver-4394186-1568347374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2009929138 HOME/instance-4394186-1568347374.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18858, runsolver pid=18855 Current StackSize limit: 8192 KiB [startup+0.100142 s]* /proc/loadavg: 5.31 5.98 4.87 4/233 18874 /proc/meminfo: memFree=26997500/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15144768 memory=29344 CPUtime=0.12 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 5796 0 0 0 11 1 0 0 20 0 15 0 410743756 15508242432 7336 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3786192 7336 3118 1 0 3748377 0 [pid=18860/tid=18861] ppid=18858 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) R 18858 18858 17600 0 -1 4202560 3714 0 0 0 8 1 0 0 20 0 15 0 410743757 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633755249824 140633751035286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743759 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633219529584 140633751034498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410743759 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633218475552 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410743760 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633217422704 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 410743762 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633215318384 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410743762 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633214265584 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0.01 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) R 18858 18858 17600 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 410743762 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633213212784 140633751044698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743763 15508242432 7336 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 30792 KiB [startup+0.211778 s]* /proc/loadavg: 5.31 5.98 4.87 3/233 18874 /proc/meminfo: memFree=26985424/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15144768 memory=40756 CPUtime=0.34 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 9384 0 0 0 32 2 0 0 20 0 15 0 410743756 15508242432 10189 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3786192 10189 3268 1 0 3748377 0 [pid=18860/tid=18861] ppid=18858 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) R 18858 18858 17600 0 -1 4202560 6579 0 0 0 18 2 0 0 20 0 15 0 410743757 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633755256848 140633751045277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15144768 memory=3472474663021319840 CPUtime=0 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743759 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633219529584 140633751034498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410743759 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633218475552 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410743760 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633217422704 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15144768 memory=0 CPUtime=0.03 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 410743762 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633215318384 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15144768 memory=-1 CPUtime=0.02 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 410743762 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633214265584 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15144768 memory=139739645220480 CPUtime=0.08 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) S 18858 18858 17600 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 410743762 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633213212784 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743763 15508242432 10189 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 42204 KiB [startup+0.311609 s]* /proc/loadavg: 5.31 5.98 4.87 4/233 18874 /proc/meminfo: memFree=26980440/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15149024 memory=46932 CPUtime=0.52 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 10507 0 0 0 49 3 0 0 20 0 15 0 410743756 15512600576 11733 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3787256 11733 3339 1 0 3748377 0 [pid=18860/tid=18861] ppid=18858 vsize=15149024 memory=1398722017469774279 CPUtime=0.29 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) R 18858 18858 17600 0 -1 4202560 7601 0 0 0 27 2 0 0 20 0 15 0 410743757 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633755244864 140633735066981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410743759 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633219529584 140633751034498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410743759 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633218475552 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410743760 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633217422704 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 410743762 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633215318384 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15149024 memory=0 CPUtime=0.03 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 208 0 0 0 3 0 0 0 20 0 15 0 410743762 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633214265584 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) R 18858 18858 17600 0 -1 4202560 824 0 0 0 12 0 0 0 20 0 15 0 410743762 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633213212784 140633729892606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743763 15512600576 11733 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 48380 KiB [startup+0.755668 s]* /proc/loadavg: 5.31 5.98 4.87 4/233 18874 /proc/meminfo: memFree=26973328/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15149100 memory=54736 CPUtime=0.8 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 11490 0 0 0 77 3 0 0 20 0 15 0 410743756 15512678400 13684 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3787275 13684 3388 1 0 3748377 0 [pid=18860/tid=18861] ppid=18858 vsize=15149100 memory=7883960649037381690 CPUtime=0.44 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) R 18858 18858 17600 0 -1 4202560 8240 0 0 0 41 3 0 0 20 0 15 0 410743757 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633755258608 140633751035286 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15149100 memory=1915596 CPUtime=0 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15149100 memory=3472474663021319840 CPUtime=0 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410743757 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15149100 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15149100 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743757 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15149100 memory=139739645220480 CPUtime=0 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410743759 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633219529584 140633751034498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15149100 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410743759 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633218475552 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15149100 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410743760 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633217422704 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15149100 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15149100 memory=0 CPUtime=0.06 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 591 0 0 0 6 0 0 0 20 0 15 0 410743762 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633215318384 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15149100 memory=-1 CPUtime=0.08 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 321 0 0 0 8 0 0 0 20 0 15 0 410743762 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633214265584 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15149100 memory=139739645220480 CPUtime=0.21 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) R 18858 18858 17600 0 -1 4202560 1038 0 0 0 21 0 0 0 20 0 15 0 410743762 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633213210456 140633729985488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15149100 memory=-1 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15149100 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410743763 15512678400 13684 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 0.8 s Current children cumulated vsize: 15262228 KiB Current children cumulated memory: 56184 KiB [startup+1.50171 s] /proc/loadavg: 5.31 5.98 4.87 3/233 18874 /proc/meminfo: memFree=26784344/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/18860/task/18863/stat : 18863 (java) R 18858 18858 17600 0 -1 4202560 37773 0 0 0 5573 236 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633678010784 140633735973956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15151148 memory=2020 CPUtime=58.07 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) R 18858 18858 17600 0 -1 4202560 30626 0 0 0 5584 223 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633676958296 140633735974048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15151148 memory=1448 CPUtime=57.88 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) R 18858 18858 17600 0 -1 4202560 26355 0 0 0 5513 275 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633675905496 140633735721020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15151148 memory=11882744 CPUtime=25.68 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 33350 0 0 0 2566 2 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633219527920 140633751033557 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15151148 memory=14008 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633218475616 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15151148 memory=12028 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 410743760 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633217422720 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15151148 memory=24768 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15151148 memory=6791534058613427641 CPUtime=0.33 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 1804 0 0 0 32 1 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633215318384 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15151148 memory=288230591755977018 CPUtime=0.53 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 4397 0 0 0 53 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633214265584 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15151148 memory=13563791027735092 CPUtime=0.5 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) S 18858 18858 17600 0 -1 1077944384 3647 0 0 0 50 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633213212784 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15151148 memory=660 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15151148 memory=1556 CPUtime=0.04 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 214 0 0 0 2 2 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 283.85 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 11884192 KiB [startup+112.301 s]* /proc/loadavg: 5.77 5.69 4.87 8/234 18888 /proc/meminfo: memFree=13559324/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15151148 memory=11882744 CPUtime=296.31 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 205450 0 0 0 28621 1010 0 0 20 0 15 0 410743756 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3787787 2970686 3499 1 0 3748889 0 [pid=18860/tid=18861] ppid=18858 vsize=15151148 memory=1398722017469774279 CPUtime=24.35 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) S 18858 18858 17600 0 -1 1077944384 15296 0 0 0 2424 11 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633755261344 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15151148 memory=4872558044660077418 CPUtime=61.38 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) R 18858 18858 17600 0 -1 4202560 50036 0 0 0 5885 253 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633679063816 140633743651559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15151148 memory=11882744 CPUtime=61.18 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) R 18858 18858 17600 0 -1 4202560 37773 0 0 0 5881 237 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633678011016 140633743651559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15151148 memory=1176 CPUtime=61.15 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) R 18858 18858 17600 0 -1 4202560 30649 0 0 0 5890 225 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633676958216 140633743651559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15151148 memory=980 CPUtime=61.06 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) R 18858 18858 17600 0 -1 4202560 26940 0 0 0 5831 275 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633675905496 140633736012840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15151148 memory=14008 CPUtime=25.69 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) S 18858 18858 17600 0 -1 1077944384 33368 0 0 0 2567 2 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633219528144 140633751033557 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15151148 memory=11882744 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633218475616 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15151148 memory=1448 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 410743760 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633217422720 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15151148 memory=11882736 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15151148 memory=1656 CPUtime=0.33 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 1807 0 0 0 32 1 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633215318144 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15151148 memory=1398722017469774279 CPUtime=0.53 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 4397 0 0 0 53 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633214265632 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15151148 memory=4872558044660077418 CPUtime=0.5 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) S 18858 18858 17600 0 -1 1077944384 3647 0 0 0 50 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633213212832 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15151148 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15151148 memory=1448 CPUtime=0.04 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 214 0 0 0 2 2 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 296.31 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 11884192 KiB [startup+113.901 s] /proc/loadavg: 5.77 5.69 4.87 9/234 18888 /proc/meminfo: memFree=13508560/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15151148 memory=11882744 CPUtime=300.85 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 205796 0 0 0 29073 1012 0 0 20 0 15 0 410743756 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3787787 2970686 3499 1 0 3748889 0 [pid=18860/tid=18861] ppid=18858 vsize=15151148 memory=6791534058613427641 CPUtime=24.35 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) S 18858 18858 17600 0 -1 1077944384 15296 0 0 0 2424 11 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633755261344 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15151148 memory=660 CPUtime=62.35 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 50036 0 0 0 5982 253 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15151148 memory=1556 CPUtime=62.17 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 37773 0 0 0 5979 238 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15151148 memory=9588 CPUtime=62.13 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 30649 0 0 0 5988 225 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15151148 memory=11882744 CPUtime=62.08 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 26940 0 0 0 5933 275 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15151148 memory=1448 CPUtime=26.25 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) R 18858 18858 17600 0 -1 4202560 33714 0 0 0 2623 2 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633219528144 140633735480984 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15151148 memory=11882744 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633218475616 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15151148 memory=776 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 410743760 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633217422720 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15151148 memory=660 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15151148 memory=1556 CPUtime=0.33 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 1807 0 0 0 32 1 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633215318144 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15151148 memory=1448 CPUtime=0.53 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 4397 0 0 0 53 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633214265632 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15151148 memory=11882744 CPUtime=0.5 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) S 18858 18858 17600 0 -1 1077944384 3647 0 0 0 50 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633213212832 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15151148 memory=2776 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15151148 memory=924 CPUtime=0.04 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 214 0 0 0 2 2 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 300.85 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 11884192 KiB [startup+114.301 s]* /proc/loadavg: 5.71 5.68 4.87 6/234 18888 /proc/meminfo: memFree=13508688/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 [pid=18860] ppid=18858 vsize=15151148 memory=11882744 CPUtime=301.26 cores=4-7 /proc/18860/stat : 18860 (java) S 18858 18858 17600 0 -1 1077944320 205796 0 0 0 29114 1012 0 0 20 0 15 0 410743756 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140731452136944 140633751023351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 /proc/18860/statm: 3787787 2970686 3499 1 0 3748889 0 [pid=18860/tid=18861] ppid=18858 vsize=15151148 memory=1398722017469774279 CPUtime=24.35 cores=4-7 /proc/18860/task/18861/stat : 18861 (java) S 18858 18858 17600 0 -1 1077944384 15296 0 0 0 2424 11 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633755261344 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18862] ppid=18858 vsize=15151148 memory=4872558044660077418 CPUtime=62.35 cores=4-7 /proc/18860/task/18862/stat : 18862 (java) S 18858 18858 17600 0 -1 1077944384 50036 0 0 0 5982 253 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633679063696 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18863] ppid=18858 vsize=15151148 memory=0 CPUtime=62.17 cores=4-7 /proc/18860/task/18863/stat : 18863 (java) S 18858 18858 17600 0 -1 1077944384 37773 0 0 0 5979 238 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633678010896 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18864] ppid=18858 vsize=15151148 memory=0 CPUtime=62.13 cores=4-7 /proc/18860/task/18864/stat : 18864 (java) S 18858 18858 17600 0 -1 1077944384 30649 0 0 0 5988 225 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633676958096 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18865] ppid=18858 vsize=15151148 memory=0 CPUtime=62.08 cores=4-7 /proc/18860/task/18865/stat : 18865 (java) S 18858 18858 17600 0 -1 1077944384 26940 0 0 0 5933 275 0 0 20 0 15 0 410743757 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633675905296 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18866] ppid=18858 vsize=15151148 memory=0 CPUtime=26.66 cores=4-7 /proc/18860/task/18866/stat : 18866 (java) R 18858 18858 17600 0 -1 4202560 33714 0 0 0 2664 2 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633219528032 140633736019844 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18867] ppid=18858 vsize=15151148 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18867/stat : 18867 (java) S 18858 18858 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 410743759 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633218475616 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18868] ppid=18858 vsize=15151148 memory=0 CPUtime=0 cores=4-7 /proc/18860/task/18868/stat : 18868 (java) S 18858 18858 17600 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 410743760 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633217422720 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18869] ppid=18858 vsize=15151148 memory=6944652177228980320 CPUtime=0 cores=4-7 /proc/18860/task/18869/stat : 18869 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633216371024 140633751041947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18870] ppid=18858 vsize=15151148 memory=0 CPUtime=0.33 cores=4-7 /proc/18860/task/18870/stat : 18870 (java) S 18858 18858 17600 0 -1 1077944384 1807 0 0 0 32 1 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633215318144 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18871] ppid=18858 vsize=15151148 memory=0 CPUtime=0.53 cores=4-7 /proc/18860/task/18871/stat : 18871 (java) S 18858 18858 17600 0 -1 1077944384 4397 0 0 0 53 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633214265632 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18872] ppid=18858 vsize=15151148 memory=0 CPUtime=0.5 cores=4-7 /proc/18860/task/18872/stat : 18872 (java) S 18858 18858 17600 0 -1 1077944384 3647 0 0 0 50 0 0 0 20 0 15 0 410743762 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633213212832 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18873] ppid=18858 vsize=15151148 memory=6944656592455360604 CPUtime=0 cores=4-7 /proc/18860/task/18873/stat : 18873 (java) S 18858 18858 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633212160224 140633751033557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 [pid=18860/tid=18874] ppid=18858 vsize=15151148 memory=7234303152781525078 CPUtime=0.04 cores=4-7 /proc/18860/task/18874/stat : 18874 (java) S 18858 18858 17600 0 -1 1077944384 214 0 0 0 2 2 0 0 20 0 15 0 410743763 15514775552 2970686 33554432000 4194304 4196468 140731452154400 140633211108528 140633751034498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140731452163055 140731452163226 140731452163226 140731452166095 0 Current children cumulated CPU time: 301.26 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 11884192 KiB [startup+114.501 s] /proc/loadavg: 5.71 5.68 4.87 6/234 18888 /proc/meminfo: memFree=13508688/32770688 swapFree=66919992/67108860 [pid=18858] ppid=18855 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/18858/stat : 18858 (xcsp3-exec) S 18855 18858 17600 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410743756 115843072 362 33554432000 4194304 5098028 140731032445856 140731032443960 139964705022588 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20688896 140731032454010 140731032454253 140731032454253 140731032457162 0 /proc/18858/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 1 Real time (s): 114.532 CPU time (s): 301.487 CPU user time (s): 291.312 CPU system time (s): 10.1755 CPU usage (%): 263.234 Max. virtual memory (cumulated for all children) (KiB): 15264276 Max. memory (cumulated for all children) (KiB): 11884192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 291.312 system time used= 10.1755 maximum resident set size= 11883212 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206578 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7381 involuntary context switches= 7275 # summary of solver processes directly reported to runsolver: # pid: 18858 # total CPU time (s): 301.487 # total CPU user time (s): 291.312 # total CPU system time (s): 10.1755 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.810171 second user time and 1.32083 second system time The end
Begin job on node120 at 2011-12-14 12:23:17 IDJOB=4394186 IDBENCH=140558 IDSOLVER=2842 FILE ID=node120/4394186-1568347374 RUNJOBID= node120-1323860857-17632 PBS_JOBID= 21701167 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-13.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394186-1568347374/watcher-4394186-1568347374 -o /tmp/evaluation-result-4394186-1568347374/solver-4394186-1568347374 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2009929138 HOME/instance-4394186-1568347374.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f1adf00e8f8fa1741c0d4b74f691c684 RANDOM SEED=2009929138 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27015136 kB MemAvailable: 31084984 kB Buffers: 158352 kB Cached: 4204708 kB SwapCached: 77548 kB Active: 2027184 kB Inactive: 3150144 kB Active(anon): 736672 kB Inactive(anon): 126960 kB Active(file): 1290512 kB Inactive(file): 3023184 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26432 kB Writeback: 0 kB AnonPages: 854520 kB Mapped: 60560 kB Shmem: 41008 kB Slab: 172960 kB SReclaimable: 143972 kB SUnreclaim: 28988 kB KernelStack: 4064 kB PageTables: 7304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2559292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 739328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59104 MiB End job on node120 at 2011-12-14 12:25:12