Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | ? | 6599.04 | 1307.6 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-18-047.xml |
MD5SUM | 503235a9ef2fa2334058f0cfe41dccf4 |
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 | 4.71301 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 36 |
Number of constraints | 153 |
Number of domains | 18 |
Minimum domain size | 30 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2}] |
Minimum variable degree | 17 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":17,"count":36}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":153}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 153 |
Distribution of constraint types | [{"type":"intension","count":153}] |
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-4404225-1569012968.xml" -tl '20160s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404225-1569012968.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6483.87/1290.46 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 6483.87/1290.46 at java.util.stream.StreamSupport.stream(StreamSupport.java:69) 6483.87/1290.46 at java.util.Arrays.stream(Arrays.java:5023) 6483.87/1290.46 at java.util.Arrays.stream(Arrays.java:5004) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:123) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$166/428910174.valid(Unknown Source) 6483.87/1290.46 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 6483.87/1290.46 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 6483.87/1290.46 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 6483.87/1290.46 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 6483.87/1290.46 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 6483.87/1290.46 at org.xcsp.parser.XCallbacks$$Lambda$96/1795799895.accept(Unknown Source) 6483.87/1290.46 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 6483.87/1290.46 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 6483.87/1290.46 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 6483.87/1290.46 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 6483.87/1290.46 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 6483.87/1290.46 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 6483.87/1290.46 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 6483.87/1290.46 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 6598.65/1307.29 s UNKNOWN 6598.65/1307.29 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 (11958 MiB free) memory of node 1: 16384 MiB (12995 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404225-1569012968/watcher-4404225-1569012968 -o /tmp/evaluation-result-4404225-1569012968/solver-4404225-1569012968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569005094-21578 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1389719762 HOME/instance-4404225-1569012968.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=22635, runsolver pid=22632 [startup+0.100135 s]* /proc/loadavg: 8.16 8.18 8.20 3/211 22656 /proc/meminfo: memFree=25536356/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28227396 memory=28916 CPUtime=0.13 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 5710 0 0 0 12 1 0 0 20 0 20 0 477549833 28904853504 7229 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7056849 7229 3121 1 0 7019032 0 [pid=22637/tid=22638] ppid=22635 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) R 22635 22635 21551 0 -1 4202560 3610 0 0 0 8 0 0 0 20 0 20 0 477549833 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004423497520 140004403307877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28227396 memory=288370214768666240 CPUtime=0 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22642] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22642/stat : 22642 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004335958416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22643] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 7229 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549835 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003802990832 140004419275394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477549836 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003801937056 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477549836 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003800883952 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003798780656 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003797728112 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) R 22635 22635 21551 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003796675056 140004419285594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) R 22635 22635 21551 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003795622512 140004419276182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549839 28904853504 7229 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30368 KiB [startup+0.210705 s]* /proc/loadavg: 8.16 8.18 8.20 4/211 22656 /proc/meminfo: memFree=25522100/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28227396 memory=41020 CPUtime=0.33 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 9534 0 0 0 31 2 0 0 20 0 20 0 477549833 28904853504 10255 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7056849 10255 3300 1 0 7019032 0 [pid=22637/tid=22638] ppid=22635 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) R 22635 22635 21551 0 -1 4202560 6643 0 0 0 18 1 0 0 20 0 20 0 477549833 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004423497696 140004419276182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28227396 memory=139838616976697 CPUtime=0 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22642] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22642/stat : 22642 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004335958416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22643] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28904853504 10255 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) S 22635 22635 21551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477549835 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003802990832 140004419275394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477549836 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003801937056 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477549836 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003800883952 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003798780656 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003797728112 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) S 22635 22635 21551 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003796675056 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) S 22635 22635 21551 0 -1 1077944384 769 0 0 0 8 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003795622512 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549838 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549839 28904853504 10255 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42472 KiB [startup+0.310478 s]* /proc/loadavg: 8.16 8.18 8.20 2/211 22656 /proc/meminfo: memFree=25514704/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28231652 memory=49716 CPUtime=0.51 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 10853 0 0 0 47 4 0 0 20 0 20 0 477549833 28909211648 12429 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7057913 12429 3335 1 0 7019032 0 [pid=22637/tid=22638] ppid=22635 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) R 22635 22635 21551 0 -1 4202560 7842 0 0 0 27 3 0 0 20 0 20 0 477549833 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004423495360 140004403344734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22642] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22642/stat : 22642 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004335958416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22643] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477549834 28909211648 12498 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) S 22635 22635 21551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477549835 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003802990832 140004419275394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28231652 memory=279676996230528 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477549836 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003801937056 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28231652 memory=279676996235136 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477549836 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003800883952 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28231652 memory=279676996239744 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28231652 memory=279676996244352 CPUtime=0.02 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003798780656 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28231652 memory=279676996248960 CPUtime=0.02 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003797728112 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28231652 memory=279676996253568 CPUtime=0.01 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) S 22635 22635 21551 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003796675056 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28231652 memory=279676996258176 CPUtime=0.12 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) S 22635 22635 21551 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003795622512 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549838 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549839 28909211648 12498 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51168 KiB [startup+0.701043 s] /proc/loadavg: 8.16 8.18 8.20 6/211 22656 /proc/meminfo: memFree=25501152/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28233776 memory=189472 CPUtime=1.51 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 15105 0 0 0 143 8 0 0 20 0 20 0 477549833 28911386624 47368 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7058444 47368 3468 1 0 7019544 0 [pid=22637/tid=22638] ppid=22635 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) R 22635 22635 21551 0 -1 4202560 9259 0 0 0 62 5 0 0 20 0 20 0 477549833 28911386624 47368 33554432000 4194304 4196468 140720699151872 140004423501984 140004009006550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477549834 28911386624 47368 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477549834 28911386624 47368 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477549834 28911386624 47368 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 ################ # More data... # ################ [pid=22637/tid=22643] ppid=22635 vsize=28300340 memory=2012 CPUtime=756.52 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2477469 0 0 0 74884 768 0 0 20 0 21 0 477549834 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28300340 memory=1436 CPUtime=755.84 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2529544 0 0 0 74912 672 0 0 20 0 21 0 477549834 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28300340 memory=776 CPUtime=756.12 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2492009 0 0 0 74877 735 0 0 20 0 21 0 477549834 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=756 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2169507 0 0 0 74947 653 0 0 20 0 21 0 477549834 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28300340 memory=1712 CPUtime=98.7 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) R 22635 22635 21551 0 -1 4202560 904456 0 0 0 9802 68 0 0 20 0 21 0 477549835 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003802989264 140004403721880 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28300340 memory=1112 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003801937120 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28300340 memory=1004 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003800883968 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28300340 memory=-3622645143214314312 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28300340 memory=288230596050944315 CPUtime=1.11 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 12395 0 0 0 109 2 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003798780416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28300340 memory=13848573129264102 CPUtime=0.83 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 8204 0 0 0 81 2 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003797728160 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28300340 memory=2512 CPUtime=0.43 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) S 22635 22635 21551 0 -1 1077944384 5809 0 0 0 42 1 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003796675104 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=0.61 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) S 22635 22635 21551 0 -1 1077944384 14938 0 0 0 59 2 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003795622560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28300340 memory=1436 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28300340 memory=776 CPUtime=0.51 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 2605 0 0 0 24 27 0 0 20 0 21 0 477549839 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22771] ppid=22635 vsize=28300340 memory=3604 CPUtime=0 cores=0-7 /proc/22637/task/22771/stat : 22771 (java) S 22635 22635 21551 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 477678879 28979548160 6360497 33554432000 4194304 4196468 140720699151872 140003788827712 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 6597.24 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25443440 KiB [startup+1306.6 s] /proc/loadavg: 6.93 6.07 5.76 2/212 22774 /proc/meminfo: memFree=343856/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28300340 memory=25441996 CPUtime=6598.03 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 21877396 0 0 0 653815 5988 0 0 20 0 21 0 477549833 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7075085 6360499 3518 1 0 7036185 0 [pid=22637/tid=22638] ppid=22635 vsize=28300340 memory=1436 CPUtime=442.8 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) S 22635 22635 21551 0 -1 1077944384 113873 0 0 0 44157 123 0 0 20 0 21 0 477549833 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004423504928 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28300340 memory=776 CPUtime=755.32 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 3074764 0 0 0 74808 724 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28300340 memory=1452 CPUtime=755.62 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 2544535 0 0 0 74827 735 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28300340 memory=5832 CPUtime=756.78 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 2858040 0 0 0 74894 784 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22642] ppid=22635 vsize=28300340 memory=13984 CPUtime=759.89 cores=0-7 /proc/22637/task/22642/stat : 22642 (java) S 22635 22635 21551 0 -1 1077944384 2659026 0 0 0 75287 702 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004335958416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22643] ppid=22635 vsize=28300340 memory=2124 CPUtime=756.52 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2477469 0 0 0 74884 768 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28300340 memory=30776 CPUtime=755.84 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2529544 0 0 0 74912 672 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28300340 memory=12024 CPUtime=756.12 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2492009 0 0 0 74877 735 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28300340 memory=1548 CPUtime=756 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2169507 0 0 0 74947 653 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28300340 memory=8560 CPUtime=99.51 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) R 22635 22635 21551 0 -1 4202560 913313 0 0 0 9882 69 0 0 20 0 21 0 477549835 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003802989264 140004403721878 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28300340 memory=1712 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003801937120 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28300340 memory=1112 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003800883968 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28300340 memory=1004 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28300340 memory=1452 CPUtime=1.11 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 12395 0 0 0 109 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003798780416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28300340 memory=25441964 CPUtime=0.83 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 8204 0 0 0 81 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003797728160 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28300340 memory=1452 CPUtime=0.43 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) S 22635 22635 21551 0 -1 1077944384 5809 0 0 0 42 1 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003796675104 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=0.61 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) S 22635 22635 21551 0 -1 1077944384 14938 0 0 0 59 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003795622560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28300340 memory=111628 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28300340 memory=1452 CPUtime=0.51 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 2605 0 0 0 24 27 0 0 20 0 21 0 477549839 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22771] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/22637/task/22771/stat : 22771 (java) S 22635 22635 21551 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 477678879 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003788827712 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 6598.03 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25443448 KiB [startup+1307 s] /proc/loadavg: 6.93 6.07 5.76 2/212 22774 /proc/meminfo: memFree=343856/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 [pid=22637] ppid=22635 vsize=28300340 memory=25441996 CPUtime=6598.44 cores=0-7 /proc/22637/stat : 22637 (java) S 22635 22635 21551 0 -1 1077944320 21889014 0 0 0 653855 5989 0 0 20 0 21 0 477549833 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140720699134416 140004419264247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 /proc/22637/statm: 7075085 6360499 3518 1 0 7036185 0 [pid=22637/tid=22638] ppid=22635 vsize=28300340 memory=776 CPUtime=442.8 cores=0-7 /proc/22637/task/22638/stat : 22638 (java) S 22635 22635 21551 0 -1 1077944384 113873 0 0 0 44157 123 0 0 20 0 21 0 477549833 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004423504928 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22639] ppid=22635 vsize=28300340 memory=3604 CPUtime=755.32 cores=0-7 /proc/22637/task/22639/stat : 22639 (java) S 22635 22635 21551 0 -1 1077944384 3074764 0 0 0 74808 724 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004339116560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22640] ppid=22635 vsize=28300340 memory=2828 CPUtime=755.62 cores=0-7 /proc/22637/task/22640/stat : 22640 (java) S 22635 22635 21551 0 -1 1077944384 2544535 0 0 0 74827 735 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004338064016 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22641] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=756.78 cores=0-7 /proc/22637/task/22641/stat : 22641 (java) S 22635 22635 21551 0 -1 1077944384 2858040 0 0 0 74894 784 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004337010960 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22642] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=759.89 cores=0-7 /proc/22637/task/22642/stat : 22642 (java) S 22635 22635 21551 0 -1 1077944384 2659026 0 0 0 75287 702 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004335958416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22643] ppid=22635 vsize=28300340 memory=932 CPUtime=756.52 cores=0-7 /proc/22637/task/22643/stat : 22643 (java) S 22635 22635 21551 0 -1 1077944384 2477469 0 0 0 74884 768 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004334906384 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22644] ppid=22635 vsize=28300340 memory=3768 CPUtime=755.84 cores=0-7 /proc/22637/task/22644/stat : 22644 (java) S 22635 22635 21551 0 -1 1077944384 2529544 0 0 0 74912 672 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004333853840 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22645] ppid=22635 vsize=28300340 memory=1980 CPUtime=756.12 cores=0-7 /proc/22637/task/22645/stat : 22645 (java) S 22635 22635 21551 0 -1 1077944384 2492009 0 0 0 74877 735 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004332800784 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22646] ppid=22635 vsize=28300340 memory=2512 CPUtime=756 cores=0-7 /proc/22637/task/22646/stat : 22646 (java) S 22635 22635 21551 0 -1 1077944384 2169507 0 0 0 74947 653 0 0 20 0 21 0 477549834 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140004331748240 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22647] ppid=22635 vsize=28300340 memory=916 CPUtime=99.9 cores=0-7 /proc/22637/task/22647/stat : 22647 (java) R 22635 22635 21551 0 -1 4202560 924889 0 0 0 9921 69 0 0 20 0 21 0 477549835 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003802989264 140004404260651 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22648] ppid=22635 vsize=28300340 memory=4136 CPUtime=0 cores=0-7 /proc/22637/task/22648/stat : 22648 (java) S 22635 22635 21551 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003801937120 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22649] ppid=22635 vsize=28300340 memory=4104 CPUtime=0 cores=0-7 /proc/22637/task/22649/stat : 22649 (java) S 22635 22635 21551 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 21 0 477549836 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003800883968 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22650] ppid=22635 vsize=28300340 memory=1412 CPUtime=0 cores=0-7 /proc/22637/task/22650/stat : 22650 (java) S 22635 22635 21551 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003799832528 140004419282843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22651] ppid=22635 vsize=28300340 memory=3464 CPUtime=1.11 cores=0-7 /proc/22637/task/22651/stat : 22651 (java) S 22635 22635 21551 0 -1 1077944384 12395 0 0 0 109 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003798780416 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22652] ppid=22635 vsize=28300340 memory=1452 CPUtime=0.83 cores=0-7 /proc/22637/task/22652/stat : 22652 (java) S 22635 22635 21551 0 -1 1077944384 8204 0 0 0 81 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003797728160 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22653] ppid=22635 vsize=28300340 memory=25441988 CPUtime=0.43 cores=0-7 /proc/22637/task/22653/stat : 22653 (java) S 22635 22635 21551 0 -1 1077944384 5809 0 0 0 42 1 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003796675104 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22654] ppid=22635 vsize=28300340 memory=1712 CPUtime=0.61 cores=0-7 /proc/22637/task/22654/stat : 22654 (java) S 22635 22635 21551 0 -1 1077944384 14938 0 0 0 59 2 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003795622560 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22655] ppid=22635 vsize=28300340 memory=25441964 CPUtime=0 cores=0-7 /proc/22637/task/22655/stat : 22655 (java) S 22635 22635 21551 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 477549838 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003794569696 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22656] ppid=22635 vsize=28300340 memory=6791534058613427641 CPUtime=0.51 cores=0-7 /proc/22637/task/22656/stat : 22656 (java) S 22635 22635 21551 0 -1 1077944384 2605 0 0 0 24 27 0 0 20 0 21 0 477549839 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003793517232 140004419275394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 [pid=22637/tid=22771] ppid=22635 vsize=28300340 memory=916 CPUtime=0 cores=0-7 /proc/22637/task/22771/stat : 22771 (java) S 22635 22635 21551 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 477678879 28979548160 6360499 33554432000 4194304 4196468 140720699151872 140003788827712 140004419274453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15642624 140720699155434 140720699155606 140720699155606 140720699158479 0 Current children cumulated CPU time: 6598.44 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25443448 KiB [startup+1307.4 s] /proc/loadavg: 6.45 5.98 5.74 2/212 22774 /proc/meminfo: memFree=343856/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+1307.5 s] /proc/loadavg: 6.45 5.98 5.74 2/212 22774 /proc/meminfo: memFree=343856/32770624 swapFree=66999232/67108860 [pid=22635] ppid=22632 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22635/stat : 22635 (xcsp3-exec) S 22632 22635 21551 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477549832 115843072 363 33554432000 4194304 5098028 140733733367152 140733733365256 140435833614972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7577600 140733733372789 140733733373033 140733733373033 140733733375946 0 /proc/22635/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 1307.6 CPU time (s): 6599.04 CPU user time (s): 6538.85 CPU system time (s): 60.1984 CPU usage (%): 504.669 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25443448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6538.85 system time used= 60.1984 maximum resident set size= 25442188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21889624 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1816 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 88458 involuntary context switches= 117747 # summary of solver processes directly reported to runsolver: # pid: 22635 # total CPU time (s): 6599.04 # total CPU user time (s): 6538.85 # total CPU system time (s): 60.1984 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.9931 second user time and 14.4673 second system time The end
Begin job on node103 at 2019-09-20 22:55:09 IDJOB=4404225 IDBENCH=141730 IDSOLVER=2865 FILE ID=node103/4404225-1569012968 RUNJOBID= node103-1569005094-21578 PBS_JOBID= 21704749 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-18-047.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404225-1569012968/watcher-4404225-1569012968 -o /tmp/evaluation-result-4404225-1569012968/solver-4404225-1569012968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569005094-21578 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1389719762 HOME/instance-4404225-1569012968.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 503235a9ef2fa2334058f0cfe41dccf4 RANDOM SEED=1389719762 node103.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.74 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.74 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.74 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.74 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: 25552704 kB MemAvailable: 31877816 kB Buffers: 53328 kB Cached: 6556508 kB SwapCached: 6972 kB Active: 3282608 kB Inactive: 3341092 kB Active(anon): 3112 kB Inactive(anon): 60408 kB Active(file): 3279496 kB Inactive(file): 3280684 kB Unevictable: 107440 kB Mlocked: 107440 kB SwapTotal: 67108860 kB SwapFree: 66999232 kB Dirty: 26144 kB Writeback: 0 kB AnonPages: 47088 kB Mapped: 52352 kB Shmem: 40868 kB Slab: 189480 kB SReclaimable: 161536 kB SUnreclaim: 27944 kB KernelStack: 3712 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 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= 20832 MiB End job on node103 at 2019-09-20 23:16:56