Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? | 692.179 | 555.403 |
Name | CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml |
MD5SUM | 63b9378ece2d6066ad6e61da47f93b8a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 385 |
Number of constraints | 88 |
Number of domains | 5 |
Minimum domain size | 2 |
Maximum domain size | 115571 |
Distribution of domain sizes | [{"size":2,"count":22},{"size":12,"count":154},{"size":27,"count":121},{"size":115571,"count":88}] |
Minimum variable degree | 1 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":1,"count":110},{"degree":2,"count":154},{"degree":8,"count":121}] |
Minimum constraint arity | 14 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":14,"count":22},{"arity":15,"count":66}] |
Number of extensional constraints | 88 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":88}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297401-1532715312.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297401-1532715312.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 689.15/554.75 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 689.15/554.75 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.computeSupports(PropCompactTableStar.java:81) 689.15/554.75 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 691.97/555.21 at org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar.<init>(PropCompactTableStar.java:45) 691.97/555.21 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2042) 691.97/555.21 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2000) 691.97/555.21 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:315) 691.97/555.21 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306) 691.97/555.21 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 691.97/555.21 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 691.97/555.21 at org.xcsp.parser.XCallbacks$$Lambda$99/1684015092.accept(Unknown Source) 691.97/555.21 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 691.97/555.21 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 691.97/555.21 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1414) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 691.97/555.21 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 691.97/555.21 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 691.97/555.21 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 691.97/555.21 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:100) 691.97/555.21 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 691.97/555.21 s UNKNOWN 691.97/555.21 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 (10379 MiB free) memory of node 1: 16384 MiB (15778 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297401-1532715312/watcher-4297401-1532715312 -o /tmp/evaluation-result-4297401-1532715312/solver-4297401-1532715312 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532711744-22305 --watchdog 2580 HOME/xcsp3-exec -seed 1067390966 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297401-1532715312.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=23253, runsolver pid=23250 [startup+0.100109 s]* /proc/loadavg: 5.34 2.69 3.95 2/199 23274 /proc/meminfo: memFree=26769408/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26104152 memory=26996 CPUtime=0.12 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 5651 0 0 0 10 2 0 0 20 0 20 0 89094385 26730651648 6749 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6526038 6749 3005 1 0 6488315 0 [pid=23255/tid=23256] ppid=23253 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23253 22278 0 -1 4202560 3668 0 0 0 8 1 0 0 20 0 20 0 89094385 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088470595664 140088466396317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26104152 memory=140047502866048 CPUtime=0 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088415836816 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088414784272 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088413731728 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088412679184 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 6749 33554432000 4194304 4196468 140720842497792 140088017550480 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086940035056 140088466385538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086938981280 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086937928688 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086867913200 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23253 22278 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086865808112 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) R 23253 23253 22278 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086864755568 140088452056186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 6749 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28452 KiB [startup+0.21005 s]* /proc/loadavg: 5.34 2.69 3.95 2/199 23274 /proc/meminfo: memFree=26756972/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26104152 memory=39524 CPUtime=0.33 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 8493 0 0 0 30 3 0 0 20 0 20 0 89094385 26730651648 9881 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6526038 9881 3192 1 0 6488315 0 [pid=23255/tid=23256] ppid=23253 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23253 22278 0 -1 4202560 5557 0 0 0 17 2 0 0 20 0 20 0 89094385 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088470602064 140088092732548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26104152 memory=329 CPUtime=0 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26104152 memory=140047502888609 CPUtime=0 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088415836816 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088414784272 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088413731728 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088412679184 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26730651648 9881 33554432000 4194304 4196468 140720842497792 140088017550480 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23253 22278 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086940035056 140088466385538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086938981280 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094388 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086937928688 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 323 0 0 0 1 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086867913200 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23253 22278 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086865808112 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) R 23253 23253 22278 0 -1 4202560 791 0 0 0 7 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086864755376 140088458611518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26730651648 9881 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40980 KiB [startup+0.309333 s]* /proc/loadavg: 5.34 2.69 3.95 4/199 23274 /proc/meminfo: memFree=26751388/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26108408 memory=46568 CPUtime=0.51 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 9301 0 0 0 47 4 0 0 20 0 20 0 89094385 26735009792 11642 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6527102 11642 3247 1 0 6488315 0 [pid=23255/tid=23256] ppid=23253 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23253 22278 0 -1 4202560 6201 0 0 0 26 2 0 0 20 0 20 0 89094385 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088470611984 140088450454878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088415836816 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088414784272 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26108408 memory=140047340893103 CPUtime=0 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088413731728 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26108408 memory=140047340895408 CPUtime=0 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088412679184 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26108408 memory=140047340897712 CPUtime=0 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) S 23253 23253 22278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89094386 26735009792 11642 33554432000 4194304 4196468 140720842497792 140088017550480 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23253 22278 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 89094388 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086940035056 140088466385538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26108408 memory=280094681802384 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89094388 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086938981280 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26108408 memory=280094681809296 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89094388 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086937928688 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26108408 memory=280094681750448 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26108408 memory=280094681823120 CPUtime=0.01 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086867913200 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26108408 memory=280094681830032 CPUtime=0.02 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26108408 memory=280094681827728 CPUtime=0.04 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) R 23253 23253 22278 0 -1 4202560 483 0 0 0 4 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086865789128 140088447895791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26108408 memory=280094681843888 CPUtime=0.12 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23253 22278 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086864755568 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26735009792 11642 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48024 KiB [startup+0.700942 s] /proc/loadavg: 5.34 2.69 3.95 2/199 23274 /proc/meminfo: memFree=26659620/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26110532 memory=274412 CPUtime=1.53 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 12889 0 0 0 132 21 0 0 20 0 20 0 89094385 26737184768 68603 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6527633 68603 3341 1 0 6488827 0 [pid=23255/tid=23256] ppid=23253 vsize=26110532 memory=280094682201776 CPUtime=0.63 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) R 23253 23253 22278 0 -1 4202560 6762 0 0 0 57 6 0 0 20 0 20 0 89094385 26737184768 68603 33554432000 4194304 4196468 140720842497792 140088470609712 140088447217356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26110532 memory=140047341101936 CPUtime=0.01 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 20 0 89094386 26737184768 68603 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26110532 memory=0 CPUtime=0.01 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 20 0 89094386 26737184768 68603 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26110532 memory=2764 CPUtime=0.01 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 20 0 89094386 26737184768 68603 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 ################ # More data... # ################ [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26110532 memory=22226896 CPUtime=682.99 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 1667577 0 0 0 62745 5554 0 0 20 0 20 0 89094385 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6527633 5556724 3401 1 0 6488827 0 [pid=23255/tid=23256] ppid=23253 vsize=26110532 memory=22226896 CPUtime=533.19 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23253 22278 0 -1 1077944384 157086 0 0 0 53138 181 0 0 20 0 20 0 89094385 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088470612384 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26110532 memory=1456 CPUtime=18.23 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) R 23253 23253 22278 0 -1 4202560 102865 0 0 0 1168 655 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088418994256 140088459002599 0 4 0 16800975 0 0 0 -1 1 0 0 20 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26110532 memory=20279772 CPUtime=18.32 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) R 23253 23253 22278 0 -1 4202560 104594 0 0 0 1143 689 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088417941712 140088459002599 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26110532 memory=1460 CPUtime=18.38 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) R 23253 23253 22278 0 -1 4202560 88548 0 0 0 1271 567 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088416889480 140088459474077 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26110532 memory=2160 CPUtime=18.56 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) R 23253 23253 22278 0 -1 4202560 780815 0 0 0 1007 849 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088415836624 140088459002599 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26110532 memory=6768 CPUtime=18.32 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) R 23253 23253 22278 0 -1 4202560 85562 0 0 0 1221 611 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088414784080 140088459002599 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26110532 memory=-3622645143214314312 CPUtime=18.28 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) R 23253 23253 22278 0 -1 4202560 103433 0 0 0 1176 652 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088413731536 140088459002599 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26110532 memory=280094681596144 CPUtime=18.41 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) R 23253 23253 22278 0 -1 4202560 133998 0 0 0 1143 698 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088412678992 140088459002599 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26110532 memory=280094681596144 CPUtime=18.34 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) R 23253 23253 22278 0 -1 4202560 77623 0 0 0 1201 633 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088017550288 140088459002599 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26110532 memory=280094681596144 CPUtime=1.09 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) S 23253 23253 22278 0 -1 1077944384 20499 0 0 0 104 5 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086940033616 140088466384597 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26110532 memory=280094681596144 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086938981344 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26110532 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086937928704 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26110532 memory=1456 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26110532 memory=22226896 CPUtime=0.41 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 2767 0 0 0 41 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086867913200 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26110532 memory=796 CPUtime=0.4 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 2025 0 0 0 40 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26110532 memory=1008 CPUtime=0.39 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23253 22278 0 -1 1077944384 2040 0 0 0 38 1 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086865808112 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26110532 memory=1404 CPUtime=0.34 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23253 22278 0 -1 1077944384 3126 0 0 0 33 1 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086864755568 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26110532 memory=3432 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26110532 memory=1456 CPUtime=0.18 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1252 0 0 0 7 11 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 682.99 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22228352 KiB [startup+554.401 s] /proc/loadavg: 2.13 1.62 2.79 9/200 23282 /proc/meminfo: memFree=4527660/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26110532 memory=22226896 CPUtime=688.07 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 1695661 0 0 0 63248 5559 0 0 20 0 20 0 89094385 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6527633 5556724 3401 1 0 6488827 0 [pid=23255/tid=23256] ppid=23253 vsize=26110532 memory=6791534058613427641 CPUtime=533.19 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23253 22278 0 -1 1077944384 157093 0 0 0 53138 181 0 0 20 0 20 0 89094385 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088470612384 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26110532 memory=1876 CPUtime=18.85 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 103186 0 0 0 1230 655 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26110532 memory=1664 CPUtime=18.93 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 104916 0 0 0 1203 690 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26110532 memory=1828 CPUtime=19 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 89395 0 0 0 1333 567 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26110532 memory=800 CPUtime=19.17 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23253 22278 0 -1 1077944384 781166 0 0 0 1068 849 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088415836816 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26110532 memory=1540 CPUtime=18.93 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) S 23253 23253 22278 0 -1 1077944384 99895 0 0 0 1281 612 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088414784272 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26110532 memory=2164 CPUtime=18.89 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23253 22278 0 -1 1077944384 103440 0 0 0 1237 652 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088413731728 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26110532 memory=3700 CPUtime=19.04 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23253 22278 0 -1 1077944384 134011 0 0 0 1205 699 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088412679184 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26110532 memory=844 CPUtime=18.96 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) S 23253 23253 22278 0 -1 1077944384 77630 0 0 0 1262 634 0 0 20 0 20 0 89094386 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140088017550480 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26110532 memory=1460 CPUtime=1.24 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) R 23253 23253 22278 0 -1 4202560 32351 0 0 0 117 7 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086940033600 140088451370795 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26110532 memory=2160 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086938980848 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26110532 memory=1456 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086937928704 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26110532 memory=22226896 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26110532 memory=11452 CPUtime=0.41 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 2772 0 0 0 41 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086867912960 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26110532 memory=15128 CPUtime=0.4 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 2028 0 0 0 40 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26110532 memory=640 CPUtime=0.39 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23253 22278 0 -1 1077944384 2043 0 0 0 38 1 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086865808112 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26110532 memory=1760 CPUtime=0.34 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23253 22278 0 -1 1077944384 3138 0 0 0 33 1 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086864755568 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26110532 memory=960 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26110532 memory=1220 CPUtime=0.18 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1252 0 0 0 7 11 0 0 20 0 20 0 89094391 26737184768 5556724 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 688.07 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22228352 KiB [startup+555.201 s] /proc/loadavg: 2.04 1.61 2.78 9/200 23282 /proc/meminfo: memFree=4527040/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 [pid=23255] ppid=23253 vsize=26110532 memory=22227036 CPUtime=691.97 cores=0-7 /proc/23255/stat : 23255 (java) S 23253 23253 22278 0 -1 1077944320 1707276 0 0 0 63636 5561 0 0 20 0 20 0 89094385 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140720842480336 140088466374391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 /proc/23255/statm: 6527633 5556759 3402 1 0 6488827 0 [pid=23255/tid=23256] ppid=23253 vsize=26110532 memory=22068 CPUtime=533.19 cores=0-7 /proc/23255/task/23256/stat : 23256 (java) S 23253 23253 22278 0 -1 1077944384 157162 0 0 0 53138 181 0 0 20 0 20 0 89094385 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088470613408 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23257] ppid=23253 vsize=26110532 memory=776 CPUtime=19.29 cores=0-7 /proc/23255/task/23257/stat : 23257 (java) S 23253 23253 22278 0 -1 1077944384 103207 0 0 0 1274 655 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088418994448 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23258] ppid=23253 vsize=26110532 memory=6791534058613427641 CPUtime=19.38 cores=0-7 /proc/23255/task/23258/stat : 23258 (java) S 23253 23253 22278 0 -1 1077944384 104918 0 0 0 1248 690 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088417941904 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23259] ppid=23253 vsize=26110532 memory=6768 CPUtime=19.43 cores=0-7 /proc/23255/task/23259/stat : 23259 (java) S 23253 23253 22278 0 -1 1077944384 94857 0 0 0 1375 568 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088416889360 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23260] ppid=23253 vsize=26110532 memory=824 CPUtime=19.61 cores=0-7 /proc/23255/task/23260/stat : 23260 (java) S 23253 23253 22278 0 -1 1077944384 781206 0 0 0 1112 849 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088415836816 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23261] ppid=23253 vsize=26110532 memory=1796 CPUtime=19.38 cores=0-7 /proc/23255/task/23261/stat : 23261 (java) S 23253 23253 22278 0 -1 1077944384 99911 0 0 0 1326 612 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088414784272 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23262] ppid=23253 vsize=26110532 memory=916 CPUtime=19.33 cores=0-7 /proc/23255/task/23262/stat : 23262 (java) S 23253 23253 22278 0 -1 1077944384 103592 0 0 0 1281 652 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088413731728 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23263] ppid=23253 vsize=26110532 memory=4460 CPUtime=19.48 cores=0-7 /proc/23255/task/23263/stat : 23263 (java) S 23253 23253 22278 0 -1 1077944384 139762 0 0 0 1249 699 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088412679184 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23264] ppid=23253 vsize=26110532 memory=4100 CPUtime=19.41 cores=0-7 /proc/23255/task/23264/stat : 23264 (java) S 23253 23253 22278 0 -1 1077944384 77723 0 0 0 1307 634 0 0 20 0 20 0 89094386 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140088017550480 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23265] ppid=23253 vsize=26110532 memory=1456 CPUtime=1.6 cores=0-7 /proc/23255/task/23265/stat : 23265 (java) R 23253 23253 22278 0 -1 4202560 32359 0 0 0 153 7 0 0 20 0 20 0 89094388 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086940033600 140088444744571 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23266] ppid=23253 vsize=26110532 memory=1456 CPUtime=0 cores=0-7 /proc/23255/task/23266/stat : 23266 (java) S 23253 23253 22278 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086938981344 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23267] ppid=23253 vsize=26110532 memory=22226896 CPUtime=0 cores=0-7 /proc/23255/task/23267/stat : 23267 (java) S 23253 23253 22278 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 89094388 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086937928704 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23268] ppid=23253 vsize=26110532 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23255/task/23268/stat : 23268 (java) S 23253 23253 22278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086936877264 140088466392987 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23269] ppid=23253 vsize=26110532 memory=1220 CPUtime=0.41 cores=0-7 /proc/23255/task/23269/stat : 23269 (java) S 23253 23253 22278 0 -1 1077944384 2772 0 0 0 41 0 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086867913200 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23270] ppid=23253 vsize=26110532 memory=1456 CPUtime=0.4 cores=0-7 /proc/23255/task/23270/stat : 23270 (java) S 23253 23253 22278 0 -1 1077944384 2028 0 0 0 40 0 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086866860656 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23271] ppid=23253 vsize=26110532 memory=1456 CPUtime=0.39 cores=0-7 /proc/23255/task/23271/stat : 23271 (java) S 23253 23253 22278 0 -1 1077944384 2043 0 0 0 38 1 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086865808112 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23272] ppid=23253 vsize=26110532 memory=1456 CPUtime=0.34 cores=0-7 /proc/23255/task/23272/stat : 23272 (java) S 23253 23253 22278 0 -1 1077944384 3138 0 0 0 33 1 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086864755568 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23273] ppid=23253 vsize=26110532 memory=15458664 CPUtime=0 cores=0-7 /proc/23255/task/23273/stat : 23273 (java) S 23253 23253 22278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086863702240 140088466384597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 [pid=23255/tid=23274] ppid=23253 vsize=26110532 memory=1876 CPUtime=0.18 cores=0-7 /proc/23255/task/23274/stat : 23274 (java) S 23253 23253 22278 0 -1 1077944384 1252 0 0 0 7 11 0 0 20 0 20 0 89094391 26737184768 5556759 33554432000 4194304 4196468 140720842497792 140086862649776 140088466385538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 19099648 140720842499201 140720842499373 140720842499373 140720842502095 0 Current children cumulated CPU time: 691.97 s Current children cumulated vsize: 26223660 KiB Current children cumulated memory: 22228492 KiB [startup+555.4 s] /proc/loadavg: 2.04 1.61 2.78 9/200 23282 /proc/meminfo: memFree=4527040/32770624 swapFree=67027880/67108860 [pid=23253] ppid=23250 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23253/stat : 23253 (xcsp3-exec) S 23250 23253 22278 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89094385 115843072 364 33554432000 4194304 5098028 140725772240672 140725772238776 140658425512572 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15818752 140725772244021 140725772244224 140725772244224 140725772246986 0 /proc/23253/statm: 28282 364 306 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 555.403 CPU time (s): 692.179 CPU user time (s): 636.38 CPU system time (s): 55.7984 CPU usage (%): 124.626 Max. virtual memory (cumulated for all children) (KiB): 26223660 Max. memory (cumulated for all children) (KiB): 22228492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 636.38 system time used= 55.7984 maximum resident set size= 22227404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1707971 page faults= 0 swaps= 0 block input operations= 0 block output operations= 520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60578 involuntary context switches= 11655 # summary of solver processes directly reported to runsolver: # pid: 23253 # total CPU time (s): 692.179 # total CPU user time (s): 636.38 # total CPU system time (s): 55.7984 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.18135 second user time and 5.59908 second system time The end
Begin job on node102 at 2018-07-27 20:15:12 IDJOB=4297401 IDBENCH=141315 IDSOLVER=2760 FILE ID=node102/4297401-1532715312 RUNJOBID= node102-1532711744-22305 PBS_JOBID= 21022317 Free space on /tmp= 52704 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-11-4-rom_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297401-1532715312/watcher-4297401-1532715312 -o /tmp/evaluation-result-4297401-1532715312/solver-4297401-1532715312 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532711744-22305 --watchdog 2580 HOME/xcsp3-exec -seed 1067390966 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297401-1532715312.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 63b9378ece2d6066ad6e61da47f93b8a RANDOM SEED=1067390966 node102.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.51 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.51 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.51 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.51 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: 26785728 kB MemAvailable: 31933120 kB Buffers: 193324 kB Cached: 5209644 kB SwapCached: 53668 kB Active: 1245820 kB Inactive: 4237864 kB Active(anon): 6236 kB Inactive(anon): 98876 kB Active(file): 1239584 kB Inactive(file): 4138988 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67027880 kB Dirty: 64952 kB Writeback: 0 kB AnonPages: 34440 kB Mapped: 34868 kB Shmem: 21664 kB Slab: 196676 kB SReclaimable: 169312 kB SUnreclaim: 27364 kB KernelStack: 3248 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 52684 MiB End job on node102 at 2018-07-27 20:24:28