Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? | 475.03799 | 229.726 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml |
MD5SUM | 67c04303171609b86978ceecc7dcafe8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 252.078 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":46,"count":132}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 132 |
Distribution of constraint arities | [{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}] |
Number of extensional constraints | 22 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271482-1502646676.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271482-1502646676.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 444.17/224.89 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 444.17/224.89 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 444.17/224.89 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 444.17/224.89 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857) 444.17/224.89 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813) 444.17/224.89 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 444.17/224.89 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 444.17/224.89 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 444.17/224.89 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 444.17/224.89 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 444.17/224.89 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 444.17/224.89 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 444.17/224.89 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 444.17/224.89 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 444.17/224.89 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 444.17/224.89 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 474.90/229.62 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 474.90/229.62 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 474.90/229.62 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 474.90/229.62 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 474.90/229.62 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 474.90/229.62 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 474.90/229.62 s UNKNOWN 474.90/229.62 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 (15187 MiB free) memory of node 1: 16384 MiB (15604 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271482-1502646676/watcher-4271482-1502646676 -o /tmp/evaluation-result-4271482-1502646676/solver-4271482-1502646676 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1515491217 HOME/instance-4271482-1502646676.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27521, runsolver pid=27518 Current StackSize limit: 8192 KiB [startup+0.100109 s]* /proc/loadavg: 2.37 4.35 5.56 2/199 27542 /proc/meminfo: memFree=31514952/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=25999808 memory=26788 CPUtime=0.12 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 5639 0 0 0 11 1 0 0 20 0 20 0 97755880 26623803392 6697 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6499952 6697 2843 1 0 6488269 0 [pid=27523/tid=27524] ppid=27521 vsize=25999808 memory=8042192467227745433 CPUtime=0.08 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) R 27521 27521 8183 0 -1 4202560 3639 0 0 0 8 0 0 0 20 0 20 0 97755880 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743131620160 139743127399830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=25999808 memory=732370068780301285 CPUtime=0 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=25999808 memory=139930442847872 CPUtime=0 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26623803392 6762 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755883 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741377526256 139743127399042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97755883 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741376472480 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97755883 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741375419888 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) S 27521 27521 8183 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741373315056 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) R 27521 27521 8183 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741370157424 139743127399830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26623803392 6762 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28172 KiB [startup+0.210236 s]* /proc/loadavg: 2.37 4.35 5.56 2/199 27542 /proc/meminfo: memFree=31503868/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26004064 memory=38600 CPUtime=0.33 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 8242 0 0 0 31 2 0 0 20 0 20 0 97755880 26628161536 9650 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501016 9650 3026 1 0 6488269 0 [pid=27523/tid=27524] ppid=27521 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) R 27521 27521 8183 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 20 0 97755880 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743131600912 139743127409821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26004064 memory=732370068780301285 CPUtime=0 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26004064 memory=139930442847872 CPUtime=0 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 9650 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) S 27521 27521 8183 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741377526256 139743127399042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741376472480 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741375419888 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) S 27521 27521 8183 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741373315056 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) S 27521 27521 8183 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741370157424 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 9650 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39984 KiB [startup+0.309451 s]* /proc/loadavg: 2.37 4.35 5.56 2/199 27542 /proc/meminfo: memFree=31497864/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26004064 memory=45604 CPUtime=0.49 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 9162 0 0 0 46 3 0 0 20 0 20 0 97755880 26628161536 11401 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501016 11401 3082 1 0 6488269 0 [pid=27523/tid=27524] ppid=27521 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) R 27521 27521 8183 0 -1 4202560 6127 0 0 0 27 2 0 0 20 0 20 0 97755880 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743131625488 139743127409821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=26004064 memory=139930303034287 CPUtime=0 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=26004064 memory=139930303036592 CPUtime=0 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=26004064 memory=139930303038896 CPUtime=0 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97755881 26628161536 11401 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) S 27521 27521 8183 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741377526256 139743127399042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=26004064 memory=279860606084752 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741376472480 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=26004064 memory=279860606091664 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97755883 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741375419888 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=26004064 memory=279860606032944 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=26004064 memory=279860606105488 CPUtime=0 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) R 27521 27521 8183 0 -1 4202560 380 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741373315056 139743119677344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=26004064 memory=279860606112400 CPUtime=0.01 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=26004064 memory=279860606110096 CPUtime=0.04 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=26004064 memory=279860606126256 CPUtime=0.12 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) R 27521 27521 8183 0 -1 4202560 875 0 0 0 12 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741370157424 139743120492214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26628161536 11401 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46988 KiB [startup+0.700979 s] /proc/loadavg: 2.37 4.35 5.56 9/199 27542 /proc/meminfo: memFree=31285076/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26004140 memory=480684 CPUtime=1.27 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 10397 0 0 0 95 32 0 0 20 0 20 0 97755880 26628239360 120171 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501035 120171 3158 1 0 6488269 0 [pid=27523/tid=27524] ppid=27521 vsize=26004140 memory=279860606421184 CPUtime=0.62 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) R 27521 27521 8183 0 -1 4202560 6554 0 0 0 54 8 0 0 20 0 20 0 97755880 26628239360 120171 33554432000 4194304 4196468 140725927337600 139743131614576 139742750778142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26004140 memory=1012 CPUtime=0.04 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 56 0 0 0 1 3 0 0 20 0 20 0 97755881 26628239360 120171 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26004140 memory=1716 CPUtime=0.04 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 60 0 0 0 1 3 0 0 20 0 20 0 97755881 26628239360 120171 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26004140 memory=5792 CPUtime=0.03 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 43 0 0 0 1 2 0 0 20 0 20 0 97755881 26628239360 120171 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 ################ # More data... # ################ [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26006188 memory=20358788 CPUtime=474.1 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 685346 0 0 0 43634 3776 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501547 5089697 3256 1 0 6488781 0 [pid=27523/tid=27524] ppid=27521 vsize=26006188 memory=20358688 CPUtime=184.99 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) S 27521 27521 8183 0 -1 1077944384 35614 0 0 0 18442 57 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743131627584 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26006188 memory=0 CPUtime=34.78 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 34539 0 0 0 3019 459 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26006188 memory=6791534058613427641 CPUtime=34.78 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 35467 0 0 0 3014 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26006188 memory=2344 CPUtime=34.73 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 45199 0 0 0 3041 432 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=26006188 memory=928 CPUtime=34.86 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 38599 0 0 0 3015 471 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=26006188 memory=1568 CPUtime=34.97 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 3055 442 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=26006188 memory=2240 CPUtime=34.85 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 36506 0 0 0 3021 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=26006188 memory=4128 CPUtime=34.74 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 150203 0 0 0 3018 456 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=26006188 memory=2204 CPUtime=34.76 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 2993 483 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=26006188 memory=303430223234596890 CPUtime=8.4 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) R 27521 27521 8183 0 -1 4202560 60973 0 0 0 807 33 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741377524800 139743112384299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=26006188 memory=288230604624101684 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741376472544 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=26006188 memory=15823313175840883 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741375419904 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=26006188 memory=2336 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=26006188 memory=-7003737579269690708 CPUtime=0.51 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) S 27521 27521 8183 0 -1 1077944384 4930 0 0 0 50 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741373315056 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=26006188 memory=5792 CPUtime=0.57 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 2992 0 0 0 56 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=26006188 memory=4616 CPUtime=0.55 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 5481 0 0 0 54 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=26006188 memory=792 CPUtime=0.36 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) S 27521 27521 8183 0 -1 1077944384 3657 0 0 0 35 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741370156992 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=26006188 memory=28140 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=26006188 memory=1296 CPUtime=0.11 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 978 0 0 0 6 5 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 474.1 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20360172 KiB [startup+229.201 s] /proc/loadavg: 2.71 3.03 4.73 2/200 27550 /proc/meminfo: memFree=11146296/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26006188 memory=20358788 CPUtime=474.5 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 685465 0 0 0 43674 3776 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501547 5089697 3256 1 0 6488781 0 [pid=27523/tid=27524] ppid=27521 vsize=26006188 memory=7295950583417696866 CPUtime=184.99 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) S 27521 27521 8183 0 -1 1077944384 35614 0 0 0 18442 57 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743131627584 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26006188 memory=7295950583417696866 CPUtime=34.78 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 34539 0 0 0 3019 459 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26006188 memory=7295950583417696866 CPUtime=34.78 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 35467 0 0 0 3014 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26006188 memory=7380671248541445222 CPUtime=34.73 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 45199 0 0 0 3041 432 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=26006188 memory=7594587674001172330 CPUtime=34.86 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 38599 0 0 0 3015 471 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=26006188 memory=7670301315261816931 CPUtime=34.97 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 3055 442 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=26006188 memory=7670301315261816931 CPUtime=34.85 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 36506 0 0 0 3021 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=26006188 memory=7670301315261816931 CPUtime=34.74 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 150203 0 0 0 3018 456 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=26006188 memory=7670301315261816931 CPUtime=34.76 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 2993 483 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=26006188 memory=-2276395272229541278 CPUtime=8.79 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) R 27521 27521 8183 0 -1 4202560 61092 0 0 0 846 33 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741377524688 139743112384319 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=26006188 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741376472544 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=26006188 memory=1384 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741375419904 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=26006188 memory=20358688 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=26006188 memory=28140 CPUtime=0.51 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) S 27521 27521 8183 0 -1 1077944384 4930 0 0 0 50 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741373315056 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=26006188 memory=1296 CPUtime=0.57 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 2992 0 0 0 56 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=26006188 memory=2336 CPUtime=0.55 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 5481 0 0 0 54 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=26006188 memory=1724 CPUtime=0.36 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) S 27521 27521 8183 0 -1 1077944384 3657 0 0 0 35 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741370156992 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=26006188 memory=1012 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=26006188 memory=1716 CPUtime=0.11 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 978 0 0 0 6 5 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 474.5 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20360172 KiB [startup+229.601 s] /proc/loadavg: 2.71 3.03 4.73 2/200 27550 /proc/meminfo: memFree=11146296/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 [pid=27523] ppid=27521 vsize=26006188 memory=20358788 CPUtime=474.9 cores=0-7 /proc/27523/stat : 27523 (java) S 27521 27521 8183 0 -1 1077944320 685751 0 0 0 43714 3776 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 140725927320144 139743127387895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 /proc/27523/statm: 6501547 5089697 3256 1 0 6488781 0 [pid=27523/tid=27524] ppid=27521 vsize=26006188 memory=1012 CPUtime=184.99 cores=0-7 /proc/27523/task/27524/stat : 27524 (java) S 27521 27521 8183 0 -1 1077944384 35614 0 0 0 18442 57 0 0 20 0 20 0 97755880 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743131627584 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27525] ppid=27521 vsize=26006188 memory=1716 CPUtime=34.78 cores=0-7 /proc/27523/task/27525/stat : 27525 (java) S 27521 27521 8183 0 -1 1077944384 34539 0 0 0 3019 459 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743080008464 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27526] ppid=27521 vsize=26006188 memory=1384 CPUtime=34.78 cores=0-7 /proc/27523/task/27526/stat : 27526 (java) S 27521 27521 8183 0 -1 1077944384 35467 0 0 0 3014 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743078955920 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27527] ppid=27521 vsize=26006188 memory=20358688 CPUtime=34.73 cores=0-7 /proc/27523/task/27527/stat : 27527 (java) S 27521 27521 8183 0 -1 1077944384 45199 0 0 0 3041 432 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743077903376 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27528] ppid=27521 vsize=26006188 memory=4715433313220523562 CPUtime=34.86 cores=0-7 /proc/27523/task/27528/stat : 27528 (java) S 27521 27521 8183 0 -1 1077944384 38599 0 0 0 3015 471 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743076850832 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27529] ppid=27521 vsize=26006188 memory=4427205132082312746 CPUtime=34.97 cores=0-7 /proc/27523/task/27529/stat : 27529 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 3055 442 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743075797264 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27530] ppid=27521 vsize=26006188 memory=-8486080722631693414 CPUtime=34.85 cores=0-7 /proc/27523/task/27530/stat : 27530 (java) S 27521 27521 8183 0 -1 1077944384 36506 0 0 0 3021 464 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743074744720 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27531] ppid=27521 vsize=26006188 memory=-8412652152092201843 CPUtime=34.74 cores=0-7 /proc/27523/task/27531/stat : 27531 (java) S 27521 27521 8183 0 -1 1077944384 150203 0 0 0 3018 456 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743073692176 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27532] ppid=27521 vsize=26006188 memory=-7023579799431922829 CPUtime=34.76 cores=0-7 /proc/27523/task/27532/stat : 27532 (java) S 27521 27521 8183 0 -1 1077944384 114411 0 0 0 2993 483 0 0 20 0 20 0 97755881 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139743072639632 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27533] ppid=27521 vsize=26006188 memory=4629546024076873078 CPUtime=9.19 cores=0-7 /proc/27523/task/27533/stat : 27533 (java) R 27521 27521 8183 0 -1 4202560 61378 0 0 0 886 33 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741377524688 139743105758056 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27534] ppid=27521 vsize=26006188 memory=4426639978525455914 CPUtime=0 cores=0-7 /proc/27523/task/27534/stat : 27534 (java) S 27521 27521 8183 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741376472544 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27535] ppid=27521 vsize=26006188 memory=3047711553219693942 CPUtime=0 cores=0-7 /proc/27523/task/27535/stat : 27535 (java) S 27521 27521 8183 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 97755883 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741375419904 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27536] ppid=27521 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/27523/task/27536/stat : 27536 (java) S 27521 27521 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741374368464 139743127406491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27537] ppid=27521 vsize=26006188 memory=4616 CPUtime=0.51 cores=0-7 /proc/27523/task/27537/stat : 27537 (java) S 27521 27521 8183 0 -1 1077944384 4930 0 0 0 50 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741373315056 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27538] ppid=27521 vsize=26006188 memory=792 CPUtime=0.57 cores=0-7 /proc/27523/task/27538/stat : 27538 (java) S 27521 27521 8183 0 -1 1077944384 2992 0 0 0 56 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741372262512 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27539] ppid=27521 vsize=26006188 memory=1420 CPUtime=0.55 cores=0-7 /proc/27523/task/27539/stat : 27539 (java) S 27521 27521 8183 0 -1 1077944384 5481 0 0 0 54 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741371209968 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27540] ppid=27521 vsize=26006188 memory=13040 CPUtime=0.36 cores=0-7 /proc/27523/task/27540/stat : 27540 (java) S 27521 27521 8183 0 -1 1077944384 3657 0 0 0 35 1 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741370156992 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27541] ppid=27521 vsize=26006188 memory=1944 CPUtime=0 cores=0-7 /proc/27523/task/27541/stat : 27541 (java) S 27521 27521 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741369105120 139743127398101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 [pid=27523/tid=27542] ppid=27521 vsize=26006188 memory=1196 CPUtime=0.11 cores=0-7 /proc/27523/task/27542/stat : 27542 (java) S 27521 27521 8183 0 -1 1077944384 978 0 0 0 6 5 0 0 20 0 20 0 97755886 26630336512 5089697 33554432000 4194304 4196468 140725927337600 139741368052656 139743127399042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19083264 140725927343256 140725927343432 140725927343432 140725927346127 0 Current children cumulated CPU time: 474.9 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20360172 KiB [startup+229.701 s] /proc/loadavg: 2.71 3.03 4.73 2/200 27550 /proc/meminfo: memFree=11146296/32770624 swapFree=67108860/67108860 [pid=27521] ppid=27518 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/27521/stat : 27521 (xcsp3-exec) S 27518 27521 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97755880 9740288 346 33554432000 4194304 5098028 140727847914928 140727847913032 140227431207548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33255424 140727847920746 140727847920956 140727847920956 140727847923691 0 /proc/27521/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 1 Real time (s): 229.726 CPU time (s): 475.038 CPU user time (s): 437.17 CPU system time (s): 37.8681 CPU usage (%): 206.785 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 20360172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 437.17 system time used= 37.8681 maximum resident set size= 20359052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 686361 page faults= 0 swaps= 0 block input operations= 0 block output operations= 456 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20223 involuntary context switches= 6475 # summary of solver processes directly reported to runsolver: # pid: 27521 # total CPU time (s): 475.038 # total CPU user time (s): 437.17 # total CPU system time (s): 37.8681 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.45694 second user time and 2.33839 second system time The end
Begin job on node103 at 2017-08-13 19:36:58 IDJOB=4271482 IDBENCH=138074 IDSOLVER=2663 FILE ID=node103/4271482-1502646676 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61720 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-31.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271482-1502646676/watcher-4271482-1502646676 -o /tmp/evaluation-result-4271482-1502646676/solver-4271482-1502646676 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1515491217 HOME/instance-4271482-1502646676.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67c04303171609b86978ceecc7dcafe8 RANDOM SEED=1515491217 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.56 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.56 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.56 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.56 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: 31531148 kB MemAvailable: 31993024 kB Buffers: 110964 kB Cached: 645432 kB SwapCached: 0 kB Active: 599708 kB Inactive: 211600 kB Active(anon): 4168 kB Inactive(anon): 78632 kB Active(file): 595540 kB Inactive(file): 132968 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 82976 kB Writeback: 0 kB AnonPages: 52864 kB Mapped: 43440 kB Shmem: 25228 kB Slab: 124424 kB SReclaimable: 98408 kB SUnreclaim: 26016 kB KernelStack: 3472 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323380 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61712 MiB End job on node103 at 2017-08-13 19:40:48