Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-24 parallel | ? | 8890.53 | 1568.79 |
Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-01.xml |
MD5SUM | a0db4e7a601eb58dee5216b17e791c99 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 41.2819 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Number of domains | 65 |
Minimum domain size | 548 |
Maximum domain size | 643 |
Distribution of domain sizes | [{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"count":2}] |
Minimum variable degree | 19 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2800}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2800 |
Distribution of constraint types | [{"type":"intension","count":2800}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406670-1569357469.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406670-1569357469.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 8890.23/1568.57 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 8890.23/1568.57 at java.util.Arrays.copyOf(Arrays.java:3181) 8890.23/1568.57 at java.util.ArrayList.grow(ArrayList.java:261) 8890.23/1568.57 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 8890.23/1568.57 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 8890.23/1568.57 at java.util.ArrayList.add(ArrayList.java:458) 8890.23/1568.57 at org.chocosolver.solver.constraints.extension.Tuples.add(Tuples.java:159) 8890.23/1568.57 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 8890.23/1568.57 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 8890.23/1568.57 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 8890.23/1568.57 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 8890.23/1568.57 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 8890.23/1568.57 at org.xcsp.parser.XCallbacks$$Lambda$89/205962452.accept(Unknown Source) 8890.23/1568.57 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 8890.23/1568.57 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 8890.23/1568.57 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 8890.23/1568.57 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 8890.23/1568.57 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 8890.23/1568.57 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 8890.23/1568.57 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 8890.23/1568.57 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 8890.23/1568.58 s UNKNOWN 8890.23/1568.58 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: 16374 MiB (11821 MiB free) memory of node 1: 16384 MiB (13054 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406670-1569357469/watcher-4406670-1569357469 -o /var/tmp/evaluation-result-4406670-1569357469/solver-4406670-1569357469 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 171582973 HOME/instance-4406670-1569357469.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 Current StackSize limit: 8192 KiB solver pid=21102, runsolver pid=21099 [startup+0.100113 s]* /proc/loadavg: 4.09 6.91 7.79 3/211 21123 /proc/meminfo: memFree=25457008/32770624 swapFree=66992452/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28227396 memory=29220 CPUtime=0.12 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 5709 0 0 0 10 2 0 0 20 0 20 0 512009442 28904853504 7305 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7056849 7305 3160 1 0 7019032 0 [pid=21104/tid=21105] ppid=21102 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) R 21102 21102 20811 0 -1 4202560 3623 0 0 0 7 1 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911446575952 139911423745018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28227396 memory=732370023443459045 CPUtime=0 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28227396 memory=139885106005632 CPUtime=0 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 7305 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009445 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910759517040 139911442360962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512009445 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910758463008 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512009446 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910757410160 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) S 21102 21102 20811 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910755305840 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910754253040 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910753200240 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) S 21102 21102 20811 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910752147440 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 7305 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30668 KiB [startup+0.210166 s]* /proc/loadavg: 4.09 6.91 7.79 2/211 21123 /proc/meminfo: memFree=25443704/32770624 swapFree=66992452/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28227396 memory=40796 CPUtime=0.34 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 9524 0 0 0 30 4 0 0 20 0 20 0 512009442 28904853504 10199 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7056849 10199 3251 1 0 7019032 0 [pid=21104/tid=21105] ppid=21102 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) R 21102 21102 20811 0 -1 4202560 6640 0 0 0 17 3 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911446581728 139911442361750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28227396 memory=732370023443459045 CPUtime=0 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28227396 memory=139885106005632 CPUtime=0 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28904853504 10199 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) S 21102 21102 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512009445 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910759517040 139911442360962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512009445 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910758463008 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512009446 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910757410160 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) R 21102 21102 20811 0 -1 4202560 442 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910755305840 139911442360962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) R 21102 21102 20811 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910754253040 139911442360962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) R 21102 21102 20811 0 -1 1077944384 312 0 0 0 2 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910753200240 139911442360962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) R 21102 21102 20811 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910752147440 139911442361750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28904853504 10199 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42244 KiB [startup+0.309526 s]* /proc/loadavg: 4.09 6.91 7.79 4/211 21123 /proc/meminfo: memFree=25436228/32770624 swapFree=66992452/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28231652 memory=49708 CPUtime=0.52 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 10826 0 0 0 48 4 0 0 20 0 20 0 512009442 28909211648 12427 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7057913 12427 3299 1 0 7019032 0 [pid=21104/tid=21105] ppid=21102 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) R 21102 21102 20811 0 -1 4202560 7743 0 0 0 26 3 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911446580928 139911426430302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28231652 memory=139885004548783 CPUtime=0 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28231652 memory=139885004551088 CPUtime=0 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28231652 memory=139885004553392 CPUtime=0 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28909211648 12427 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) S 21102 21102 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512009445 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910759517040 139911442360962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28231652 memory=279770009120656 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512009445 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910758463008 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28231652 memory=279770009118352 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512009446 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910757410160 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28231652 memory=279770009125264 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28231652 memory=279770009066512 CPUtime=0.02 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) S 21102 21102 20811 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910755305840 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28231652 memory=279770009139088 CPUtime=0.03 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) R 21102 21102 20811 0 -1 4202560 142 0 0 0 3 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910754243424 139911426255981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28231652 memory=279770009146000 CPUtime=0.03 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) S 21102 21102 20811 0 -1 1077944384 318 0 0 0 3 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910753200240 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28231652 memory=279770009143696 CPUtime=0.12 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) S 21102 21102 20811 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910752147440 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28909211648 12427 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51156 KiB [startup+0.700917 s] /proc/loadavg: 4.09 6.91 7.79 5/211 21123 /proc/meminfo: memFree=25413400/32770624 swapFree=66992452/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28233776 memory=114496 CPUtime=2 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 18817 0 0 0 194 6 0 0 20 0 20 0 512009442 28911386624 28624 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7058444 28624 3447 1 0 7019544 0 [pid=21104/tid=21105] ppid=21102 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) R 21102 21102 20811 0 -1 4202560 9299 0 0 0 63 4 0 0 20 0 20 0 512009443 28911386624 28624 33554432000 4194304 4196468 140729688863664 139911446585984 139911063682771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009443 28911386624 28624 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009443 28911386624 28624 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512009443 28911386624 28624 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 ################ # More data... # ################ [pid=21104/tid=21107] ppid=21102 vsize=28233776 memory=984 CPUtime=1046.4 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 1946571 0 0 0 104040 600 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28233776 memory=1324 CPUtime=1046.83 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2597054 0 0 0 104040 643 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28233776 memory=288230574492221466 CPUtime=1044.8 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2692662 0 0 0 103833 647 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28233776 memory=288230621803970871 CPUtime=1045.76 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 2505744 0 0 0 103977 599 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28233776 memory=13848568834296442 CPUtime=1047.52 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 4293895 0 0 0 104059 693 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28233776 memory=1448 CPUtime=1044 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2489509 0 0 0 103755 645 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28233776 memory=756 CPUtime=1047.13 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2651632 0 0 0 104075 638 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28233776 memory=1548 CPUtime=181.94 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) R 21102 21102 20811 0 -1 4202560 1414648 0 0 0 18081 113 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910759515488 139911427352903 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28233776 memory=8248 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910758463072 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28233776 memory=1164 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 512009446 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910757410176 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28233776 memory=9520 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28233776 memory=14008 CPUtime=1.46 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) S 21102 21102 20811 0 -1 1077944384 13160 0 0 0 144 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910755305888 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28233776 memory=780 CPUtime=1.05 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) S 21102 21102 20811 0 -1 1077944384 8179 0 0 0 104 1 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910754253088 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28233776 memory=3620 CPUtime=1.33 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) S 21102 21102 20811 0 -1 1077944384 9868 0 0 0 131 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910753200288 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28233776 memory=1576 CPUtime=0.61 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) S 21102 21102 20811 0 -1 1077944384 9342 0 0 0 58 3 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910752147200 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28233776 memory=1028 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28233776 memory=1060 CPUtime=0.65 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 3169 0 0 0 28 37 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 8888.13 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25534600 KiB [startup+1568 s]* /proc/loadavg: 7.23 7.00 6.52 2/212 21265 /proc/meminfo: memFree=185152/32770624 swapFree=66992456/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28233776 memory=25533152 CPUtime=8889.74 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 23932982 0 0 0 883589 5385 0 0 20 0 20 0 512009442 28911386624 6383288 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7058444 6383288 3517 1 0 7019544 0 [pid=21104/tid=21105] ppid=21102 vsize=28233776 memory=1398722017469774279 CPUtime=331.45 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) S 21102 21102 20811 0 -1 1077944384 80206 0 0 0 33022 123 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911446586928 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28233776 memory=1164 CPUtime=1047.04 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 3214913 0 0 0 104049 655 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28233776 memory=9520 CPUtime=1046.4 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 1946571 0 0 0 104040 600 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28233776 memory=14008 CPUtime=1046.83 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2597054 0 0 0 104040 643 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28233776 memory=-7003737579269690708 CPUtime=1044.8 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2692662 0 0 0 103833 647 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28233776 memory=1028 CPUtime=1045.76 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 2505744 0 0 0 103977 599 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28233776 memory=756 CPUtime=1047.52 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 4293895 0 0 0 104059 693 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28233776 memory=1548 CPUtime=1044 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2489509 0 0 0 103755 645 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28233776 memory=8248 CPUtime=1047.13 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2651632 0 0 0 104075 638 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28233776 memory=1164 CPUtime=183.54 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) R 21102 21102 20811 0 -1 4202560 1415774 0 0 0 18241 113 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910759515488 139911427346239 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28233776 memory=9520 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910758463072 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28233776 memory=14008 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 512009446 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910757410176 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28233776 memory=2120 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28233776 memory=25533152 CPUtime=1.46 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) S 21102 21102 20811 0 -1 1077944384 13160 0 0 0 144 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910755305888 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28233776 memory=9520 CPUtime=1.05 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) S 21102 21102 20811 0 -1 1077944384 8179 0 0 0 104 1 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910754253088 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28233776 memory=14008 CPUtime=1.33 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) S 21102 21102 20811 0 -1 1077944384 9868 0 0 0 131 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910753200288 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28233776 memory=2120 CPUtime=0.61 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) S 21102 21102 20811 0 -1 1077944384 9342 0 0 0 58 3 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910752147200 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28233776 memory=12028 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28233776 memory=21236 CPUtime=0.65 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 3173 0 0 0 28 37 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 8889.74 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25534600 KiB [startup+1568.4 s] /proc/loadavg: 7.23 7.00 6.52 2/212 21265 /proc/meminfo: memFree=185152/32770624 swapFree=66992456/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/statm: 28282 362 304 221 0 87 0 [pid=21104] ppid=21102 vsize=28233776 memory=25533152 CPUtime=8890.13 cores=0-7 /proc/21104/stat : 21104 (java) S 21102 21102 20811 0 -1 1077944320 23933972 0 0 0 883628 5385 0 0 20 0 20 0 512009442 28911386624 6383288 33554432000 4194304 4196468 140729688863664 140729688846208 139911442349815 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 /proc/21104/statm: 7058444 6383288 3517 1 0 7019544 0 [pid=21104/tid=21105] ppid=21102 vsize=28233776 memory=6791534058613427641 CPUtime=331.45 cores=0-7 /proc/21104/task/21105/stat : 21105 (java) S 21102 21102 20811 0 -1 1077944384 80206 0 0 0 33022 123 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911446586928 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21106] ppid=21102 vsize=28233776 memory=1060 CPUtime=1047.04 cores=0-7 /proc/21104/task/21106/stat : 21106 (java) S 21102 21102 20811 0 -1 1077944384 3214913 0 0 0 104049 655 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911394970768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21107] ppid=21102 vsize=28233776 memory=2828 CPUtime=1046.4 cores=0-7 /proc/21104/task/21107/stat : 21107 (java) S 21102 21102 20811 0 -1 1077944384 1946571 0 0 0 104040 600 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911393917968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21108] ppid=21102 vsize=28233776 memory=756 CPUtime=1046.83 cores=0-7 /proc/21104/task/21108/stat : 21108 (java) S 21102 21102 20811 0 -1 1077944384 2597054 0 0 0 104040 643 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911392865168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21109] ppid=21102 vsize=28233776 memory=1448 CPUtime=1044.8 cores=0-7 /proc/21104/task/21109/stat : 21109 (java) S 21102 21102 20811 0 -1 1077944384 2692662 0 0 0 103833 647 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911391812368 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21110] ppid=21102 vsize=28233776 memory=25533152 CPUtime=1045.76 cores=0-7 /proc/21104/task/21110/stat : 21110 (java) S 21102 21102 20811 0 -1 1077944384 2505744 0 0 0 103977 599 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911390759568 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21111] ppid=21102 vsize=28233776 memory=111632 CPUtime=1047.52 cores=0-7 /proc/21104/task/21111/stat : 21111 (java) S 21102 21102 20811 0 -1 1077944384 4293895 0 0 0 104059 693 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911389706768 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21112] ppid=21102 vsize=28233776 memory=804 CPUtime=1044 cores=0-7 /proc/21104/task/21112/stat : 21112 (java) S 21102 21102 20811 0 -1 1077944384 2489509 0 0 0 103755 645 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911388653968 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21113] ppid=21102 vsize=28233776 memory=4104 CPUtime=1047.13 cores=0-7 /proc/21104/task/21113/stat : 21113 (java) S 21102 21102 20811 0 -1 1077944384 2651632 0 0 0 104075 638 0 0 20 0 20 0 512009443 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139911387601168 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21114] ppid=21102 vsize=28233776 memory=1808 CPUtime=183.94 cores=0-7 /proc/21104/task/21114/stat : 21114 (java) R 21102 21102 20811 0 -1 4202560 1416764 0 0 0 18281 113 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910759515488 139911427346160 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21115] ppid=21102 vsize=28233776 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/21104/task/21115/stat : 21115 (java) S 21102 21102 20811 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 512009445 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910758463072 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21116] ppid=21102 vsize=28233776 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/21104/task/21116/stat : 21116 (java) S 21102 21102 20811 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 512009446 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910757410176 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21117] ppid=21102 vsize=28233776 memory=13848568834296442 CPUtime=0 cores=0-7 /proc/21104/task/21117/stat : 21117 (java) S 21102 21102 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910756358480 139911442368411 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21118] ppid=21102 vsize=28233776 memory=1324 CPUtime=1.46 cores=0-7 /proc/21104/task/21118/stat : 21118 (java) S 21102 21102 20811 0 -1 1077944384 13160 0 0 0 144 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910755305888 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21119] ppid=21102 vsize=28233776 memory=1448 CPUtime=1.05 cores=0-7 /proc/21104/task/21119/stat : 21119 (java) S 21102 21102 20811 0 -1 1077944384 8179 0 0 0 104 1 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910754253088 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21120] ppid=21102 vsize=28233776 memory=1448 CPUtime=1.33 cores=0-7 /proc/21104/task/21120/stat : 21120 (java) S 21102 21102 20811 0 -1 1077944384 9868 0 0 0 131 2 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910753200288 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21121] ppid=21102 vsize=28233776 memory=1448 CPUtime=0.61 cores=0-7 /proc/21104/task/21121/stat : 21121 (java) S 21102 21102 20811 0 -1 1077944384 9342 0 0 0 58 3 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910752147200 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21122] ppid=21102 vsize=28233776 memory=1448 CPUtime=0 cores=0-7 /proc/21104/task/21122/stat : 21122 (java) S 21102 21102 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910751095904 139911442360021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 [pid=21104/tid=21123] ppid=21102 vsize=28233776 memory=25533152 CPUtime=0.65 cores=0-7 /proc/21104/task/21123/stat : 21123 (java) S 21102 21102 20811 0 -1 1077944384 3173 0 0 0 28 37 0 0 20 0 20 0 512009448 28911386624 6383288 33554432000 4194304 4196468 140729688863664 139910750043184 139911442360962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39415808 140729688871894 140729688872070 140729688872070 140729688874959 0 Current children cumulated CPU time: 8890.13 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 25534600 KiB [startup+1568.63 s] /proc/loadavg: 7.23 7.00 6.52 2/212 21265 /proc/meminfo: memFree=185152/32770624 swapFree=66992456/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/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 [startup+1568.7 s] /proc/loadavg: 7.23 7.00 6.52 2/212 21265 /proc/meminfo: memFree=185152/32770624 swapFree=66992456/67108860 [pid=21102] ppid=21099 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/21102/stat : 21102 (xcsp3-exec) S 21099 21102 20811 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512009442 115843072 362 33554432000 4194304 5098028 140728743128832 140728743126936 140099461644924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21880832 140728743134034 140728743134293 140728743134293 140728743137222 0 /proc/21102/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): 1568.79 CPU time (s): 8890.53 CPU user time (s): 8836.45 CPU system time (s): 54.0826 CPU usage (%): 566.711 Max. virtual memory (cumulated for all children) (KiB): 28346904 Max. memory (cumulated for all children) (KiB): 25534600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8836.45 system time used= 54.0827 maximum resident set size= 25533524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23963443 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 78213 involuntary context switches= 118750 # summary of solver processes directly reported to runsolver: # pid: 21102 # total CPU time (s): 8890.53 # total CPU user time (s): 8836.45 # total CPU system time (s): 54.0826 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9347 second user time and 16.4148 second system time The end
Begin job on node121 at 2019-09-24 22:37:06 IDJOB=4406670 IDBENCH=138445 IDSOLVER=2871 FILE ID=node121/4406670-1569357469 RUNJOBID= node121-1569357356-20838 PBS_JOBID= 21705107 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.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 /var/tmp/evaluation-result-4406670-1569357469/watcher-4406670-1569357469 -o /var/tmp/evaluation-result-4406670-1569357469/solver-4406670-1569357469 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 171582973 HOME/instance-4406670-1569357469.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99 RANDOM SEED=171582973 node121.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.75 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.75 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.75 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.75 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: 25473244 kB MemAvailable: 31845108 kB Buffers: 151568 kB Cached: 6309984 kB SwapCached: 4604 kB Active: 3209216 kB Inactive: 3260588 kB Active(anon): 4344 kB Inactive(anon): 53376 kB Active(file): 3204872 kB Inactive(file): 3207212 kB Unevictable: 109592 kB Mlocked: 109592 kB SwapTotal: 67108860 kB SwapFree: 66992452 kB Dirty: 26292 kB Writeback: 0 kB AnonPages: 163980 kB Mapped: 53748 kB Shmem: 41140 kB Slab: 417520 kB SReclaimable: 388240 kB SUnreclaim: 29280 kB KernelStack: 3728 kB PageTables: 5908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-24 23:03:15