Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? | 483.23801 | 217.698 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml |
MD5SUM | a372e06032e8b52aa9c97452ff274801 |
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 | 2400.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 45 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":45,"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-4270493-1502809306.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4270493-1502809306.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.19 c 8 solvers in parallel 0.32/0.26 c parse instance... 483.02/217.53 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 483.02/217.53 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 483.02/217.53 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 483.02/217.53 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857) 483.02/217.53 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813) 483.02/217.53 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 483.02/217.53 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 483.02/217.53 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 483.02/217.53 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 483.02/217.53 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 483.02/217.53 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 483.02/217.53 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 483.02/217.53 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 483.02/217.53 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 483.02/217.53 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 483.02/217.53 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 483.02/217.53 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 483.02/217.53 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 483.02/217.53 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 483.02/217.53 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 483.02/217.53 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 483.02/217.53 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 483.02/217.53 s UNKNOWN 483.02/217.53 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 (14949 MiB free) memory of node 1: 16384 MiB (15650 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270493-1502809306/watcher-4270493-1502809306 -o /tmp/evaluation-result-4270493-1502809306/solver-4270493-1502809306 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1340568437 HOME/instance-4270493-1502809306.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=16457, runsolver pid=16454 [startup+0.100168 s]* /proc/loadavg: 2.79 4.87 6.90 4/199 16478 /proc/meminfo: memFree=31319320/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=25999808 memory=26348 CPUtime=0.11 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 5488 0 0 0 10 1 0 0 20 0 20 0 114018442 26623803392 6587 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6499952 6587 2849 1 0 6488269 0 [pid=16459/tid=16460] ppid=16457 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) R 16457 16457 16326 0 -1 4202560 3494 0 0 0 8 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805101503296 139804692072743 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=25999808 memory=140116141790848 CPUtime=0 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805016693904 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805015640336 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805014587792 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805013535248 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26623803392 6587 33554432000 4194304 4196468 140725571645088 139805012482704 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018445 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804492708336 139805097282178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114018445 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804491654560 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114018445 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804490601968 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) R 16457 16457 16326 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804488497136 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804487444592 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) R 16457 16457 16326 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804486392048 139805097282178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) R 16457 16457 16326 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804485339504 139805078508592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26623803392 6587 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27732 KiB [startup+0.210541 s]* /proc/loadavg: 2.79 4.87 6.90 2/199 16478 /proc/meminfo: memFree=31304728/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26004064 memory=38872 CPUtime=0.32 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 8350 0 0 0 30 2 0 0 20 0 20 0 114018442 26628161536 9718 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501016 9718 2994 1 0 6488269 0 [pid=16459/tid=16460] ppid=16457 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) R 16457 16457 16326 0 -1 4202560 5419 0 0 0 18 1 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805101493072 139805089949045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26004064 memory=3977162962705045152 CPUtime=0 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805016693904 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805015640336 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805014587792 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805013535248 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 9718 33554432000 4194304 4196468 140725571645088 139805012482704 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804492708336 139805097282178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804491654560 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804490601968 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) S 16457 16457 16326 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804488497136 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804487444592 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) S 16457 16457 16326 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804486392048 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) S 16457 16457 16326 0 -1 1077944384 752 0 0 0 7 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804485339504 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 9718 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40256 KiB [startup+0.309797 s]* /proc/loadavg: 2.79 4.87 6.90 3/199 16478 /proc/meminfo: memFree=31298044/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26004064 memory=46352 CPUtime=0.5 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 9306 0 0 0 47 3 0 0 20 0 20 0 114018442 26628161536 11588 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501016 11588 3111 1 0 6488269 0 [pid=16459/tid=16460] ppid=16457 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) R 16457 16457 16326 0 -1 4202560 6068 0 0 0 27 2 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805101504896 139805097292957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805016693904 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805015640336 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=26004064 memory=140115993260975 CPUtime=0 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805014587792 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=26004064 memory=140115993263280 CPUtime=0 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805013535248 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=26004064 memory=140115993265584 CPUtime=0 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018443 26628161536 11588 33554432000 4194304 4196468 140725571645088 139805012482704 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) S 16457 16457 16326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804492708336 139805097282178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=26004064 memory=280231986538128 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804491654560 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=26004064 memory=280231986545040 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114018445 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804490601968 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=26004064 memory=280231986486320 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=26004064 memory=280231986558864 CPUtime=0.03 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) R 16457 16457 16326 0 -1 4202560 658 0 0 0 3 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804488497136 139805080757007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=26004064 memory=280231986565776 CPUtime=0.02 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804487444592 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=26004064 memory=280231986563472 CPUtime=0.01 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) R 16457 16457 16326 0 -1 4202560 196 0 0 0 1 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804486392048 139805076762249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=26004064 memory=280231986579632 CPUtime=0.11 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) S 16457 16457 16326 0 -1 1077944384 860 0 0 0 11 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804485339504 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26628161536 11588 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47736 KiB [startup+0.700975 s] /proc/loadavg: 2.79 4.87 6.90 9/199 16478 /proc/meminfo: memFree=31089616/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26004140 memory=427424 CPUtime=1.33 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 10404 0 0 0 95 38 0 0 20 0 20 0 114018442 26628239360 106856 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501035 106856 3162 1 0 6488269 0 [pid=16459/tid=16460] ppid=16457 vsize=26004140 memory=280231986937520 CPUtime=0.61 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) R 16457 16457 16326 0 -1 4202560 6469 0 0 0 54 7 0 0 20 0 20 0 114018443 26628239360 106856 33554432000 4194304 4196468 140725571645088 139805101504784 139804692259614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26004140 memory=140115993469808 CPUtime=0.04 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 65 0 0 0 1 3 0 0 20 0 20 0 114018443 26628239360 106856 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26004140 memory=0 CPUtime=0.04 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 61 0 0 0 1 3 0 0 20 0 20 0 114018443 26628239360 106856 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26004140 memory=4612 CPUtime=0.04 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 47 0 0 0 1 3 0 0 20 0 20 0 114018443 26628239360 106856 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 ################ # More data... # ################ [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26006188 memory=21482548 CPUtime=477.49 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 694097 0 0 0 44095 3654 0 0 20 0 20 0 114018442 26630336512 5370637 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501547 5370637 3257 1 0 6488781 0 [pid=16459/tid=16460] ppid=16457 vsize=26006188 memory=6791534058613427641 CPUtime=171.85 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) S 16457 16457 16326 0 -1 1077944384 175875 0 0 0 17130 55 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805101509232 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26006188 memory=4872558044660077418 CPUtime=36.98 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) R 16457 16457 16326 0 -1 4202560 105853 0 0 0 3239 459 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805019851344 139805089899239 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26006188 memory=21482548 CPUtime=37.25 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) R 16457 16457 16326 0 -1 4202560 110580 0 0 0 3273 452 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805018799192 139805090374024 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26006188 memory=12028 CPUtime=37.2 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) R 16457 16457 16326 0 -1 4202560 46823 0 0 0 3273 447 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805017746256 139805089899239 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=26006188 memory=21482548 CPUtime=37.19 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) R 16457 16457 16326 0 -1 4202560 22460 0 0 0 3234 485 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805016694024 139805089899239 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=26006188 memory=1384 CPUtime=37.2 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) R 16457 16457 16326 0 -1 4202560 32498 0 0 0 3294 426 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805015640456 139805089899239 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=26006188 memory=21482548 CPUtime=37.23 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) R 16457 16457 16326 0 -1 4202560 35430 0 0 0 3321 402 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805014587600 139805089899239 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=26006188 memory=2240 CPUtime=37 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) R 16457 16457 16326 0 -1 4202560 47407 0 0 0 3229 471 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805013535056 139805089899239 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=26006188 memory=4128 CPUtime=37.11 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 34071 0 0 0 3278 433 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805012482512 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=26006188 memory=928 CPUtime=6.32 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) S 16457 16457 16326 0 -1 1077944384 61771 0 0 0 623 9 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804492706896 139805097281237 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=26006188 memory=1384 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804491654624 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=26006188 memory=1384 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804490601984 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=26006188 memory=21482548 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=26006188 memory=4128 CPUtime=0.57 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) S 16457 16457 16326 0 -1 1077944384 5909 0 0 0 56 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804488497184 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=26006188 memory=928 CPUtime=0.54 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 4565 0 0 0 54 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804487444640 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=26006188 memory=1576 CPUtime=0.46 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) S 16457 16457 16326 0 -1 1077944384 4081 0 0 0 45 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804486391808 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=26006188 memory=956 CPUtime=0.34 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) S 16457 16457 16326 0 -1 1077944384 4513 0 0 0 33 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804485339552 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=26006188 memory=2340 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=26006188 memory=2240 CPUtime=0.1 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 868 0 0 0 5 5 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 477.49 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21483932 KiB [startup+216.801 s] /proc/loadavg: 1.87 3.37 5.89 9/200 16486 /proc/meminfo: memFree=9822736/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26006188 memory=21482548 CPUtime=482.33 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 694097 0 0 0 44577 3656 0 0 20 0 20 0 114018442 26630336512 5370637 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501547 5370637 3257 1 0 6488781 0 [pid=16459/tid=16460] ppid=16457 vsize=26006188 memory=6791534058613427641 CPUtime=171.85 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) S 16457 16457 16326 0 -1 1077944384 175875 0 0 0 17130 55 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805101509232 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26006188 memory=0 CPUtime=37.56 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 105853 0 0 0 3297 459 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26006188 memory=1384 CPUtime=37.85 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 110580 0 0 0 3333 452 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26006188 memory=1384 CPUtime=37.78 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 46823 0 0 0 3330 448 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=26006188 memory=21482548 CPUtime=37.77 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) S 16457 16457 16326 0 -1 1077944384 22460 0 0 0 3292 485 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805016693904 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=26006188 memory=2416 CPUtime=37.78 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) S 16457 16457 16326 0 -1 1077944384 32498 0 0 0 3351 427 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805015640336 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=26006188 memory=1728 CPUtime=37.82 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) S 16457 16457 16326 0 -1 1077944384 35430 0 0 0 3379 403 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805014587792 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=26006188 memory=796 CPUtime=37.57 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) S 16457 16457 16326 0 -1 1077944384 47407 0 0 0 3286 471 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805013535248 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=26006188 memory=1716 CPUtime=37.69 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 34071 0 0 0 3336 433 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805012482704 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=26006188 memory=1948 CPUtime=6.51 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) R 16457 16457 16326 0 -1 4202560 61771 0 0 0 642 9 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804492706896 139805082267398 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=26006188 memory=8572 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804491654624 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804490601984 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=26006188 memory=12028 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=26006188 memory=5668 CPUtime=0.57 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) S 16457 16457 16326 0 -1 1077944384 5909 0 0 0 56 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804488497184 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=26006188 memory=1008 CPUtime=0.54 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 4565 0 0 0 54 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804487444640 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=26006188 memory=4612 CPUtime=0.46 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) S 16457 16457 16326 0 -1 1077944384 4081 0 0 0 45 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804486391808 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=26006188 memory=1428 CPUtime=0.34 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) S 16457 16457 16326 0 -1 1077944384 4513 0 0 0 33 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804485339552 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=26006188 memory=1204 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=26006188 memory=1384 CPUtime=0.1 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 868 0 0 0 5 5 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 482.33 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21483932 KiB [startup+217.201 s] /proc/loadavg: 1.87 3.37 5.89 2/200 16486 /proc/meminfo: memFree=9822736/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/statm: 2378 346 289 221 0 87 0 [pid=16459] ppid=16457 vsize=26006188 memory=21482548 CPUtime=482.73 cores=0-7 /proc/16459/stat : 16459 (java) S 16457 16457 16326 0 -1 1077944320 694097 0 0 0 44617 3656 0 0 20 0 20 0 114018442 26630336512 5370637 33554432000 4194304 4196468 140725571645088 140725571627632 139805097271031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 /proc/16459/statm: 6501547 5370637 3257 1 0 6488781 0 [pid=16459/tid=16460] ppid=16457 vsize=26006188 memory=5787213827163574626 CPUtime=171.85 cores=0-7 /proc/16459/task/16460/stat : 16460 (java) S 16457 16457 16326 0 -1 1077944384 175875 0 0 0 17130 55 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805101509232 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16461] ppid=16457 vsize=26006188 memory=5787213827113242978 CPUtime=37.56 cores=0-7 /proc/16459/task/16461/stat : 16461 (java) S 16457 16457 16326 0 -1 1077944384 105853 0 0 0 3297 459 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805019851536 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16462] ppid=16457 vsize=26006188 memory=5787213827079688546 CPUtime=37.85 cores=0-7 /proc/16459/task/16462/stat : 16462 (java) S 16457 16457 16326 0 -1 1077944384 110580 0 0 0 3333 452 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805018798992 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16463] ppid=16457 vsize=26006188 memory=5787213827046134114 CPUtime=37.78 cores=0-7 /proc/16459/task/16463/stat : 16463 (java) S 16457 16457 16326 0 -1 1077944384 46823 0 0 0 3330 448 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805017746448 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16464] ppid=16457 vsize=26006188 memory=303430223234596890 CPUtime=37.77 cores=0-7 /proc/16459/task/16464/stat : 16464 (java) S 16457 16457 16326 0 -1 1077944384 22460 0 0 0 3292 485 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805016693904 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16465] ppid=16457 vsize=26006188 memory=288230617509003574 CPUtime=37.78 cores=0-7 /proc/16459/task/16465/stat : 16465 (java) S 16457 16457 16326 0 -1 1077944384 32498 0 0 0 3351 427 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805015640336 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16466] ppid=16457 vsize=26006188 memory=14979992052304174 CPUtime=37.82 cores=0-7 /proc/16459/task/16466/stat : 16466 (java) S 16457 16457 16326 0 -1 1077944384 35430 0 0 0 3379 403 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805014587792 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16467] ppid=16457 vsize=26006188 memory=1228 CPUtime=37.57 cores=0-7 /proc/16459/task/16467/stat : 16467 (java) S 16457 16457 16326 0 -1 1077944384 47407 0 0 0 3286 471 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805013535248 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16468] ppid=16457 vsize=26006188 memory=12028 CPUtime=37.69 cores=0-7 /proc/16459/task/16468/stat : 16468 (java) S 16457 16457 16326 0 -1 1077944384 34071 0 0 0 3336 433 0 0 20 0 20 0 114018443 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139805012482704 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16469] ppid=16457 vsize=26006188 memory=5668 CPUtime=6.91 cores=0-7 /proc/16459/task/16469/stat : 16469 (java) R 16457 16457 16326 0 -1 4202560 61771 0 0 0 682 9 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804492706896 139805082267438 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16470] ppid=16457 vsize=26006188 memory=1008 CPUtime=0 cores=0-7 /proc/16459/task/16470/stat : 16470 (java) S 16457 16457 16326 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804491654624 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16471] ppid=16457 vsize=26006188 memory=5388 CPUtime=0 cores=0-7 /proc/16459/task/16471/stat : 16471 (java) S 16457 16457 16326 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 20 0 114018445 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804490601984 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16472] ppid=16457 vsize=26006188 memory=1384 CPUtime=0 cores=0-7 /proc/16459/task/16472/stat : 16472 (java) S 16457 16457 16326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804489550544 139805097289627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16473] ppid=16457 vsize=26006188 memory=21482548 CPUtime=0.57 cores=0-7 /proc/16459/task/16473/stat : 16473 (java) S 16457 16457 16326 0 -1 1077944384 5909 0 0 0 56 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804488497184 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16474] ppid=16457 vsize=26006188 memory=6791534058613427641 CPUtime=0.54 cores=0-7 /proc/16459/task/16474/stat : 16474 (java) S 16457 16457 16326 0 -1 1077944384 4565 0 0 0 54 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804487444640 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16475] ppid=16457 vsize=26006188 memory=4872558044660077418 CPUtime=0.46 cores=0-7 /proc/16459/task/16475/stat : 16475 (java) S 16457 16457 16326 0 -1 1077944384 4081 0 0 0 45 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804486391808 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16476] ppid=16457 vsize=26006188 memory=4048 CPUtime=0.34 cores=0-7 /proc/16459/task/16476/stat : 16476 (java) S 16457 16457 16326 0 -1 1077944384 4513 0 0 0 33 1 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804485339552 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16477] ppid=16457 vsize=26006188 memory=18488 CPUtime=0 cores=0-7 /proc/16459/task/16477/stat : 16477 (java) S 16457 16457 16326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804484287200 139805097281237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 [pid=16459/tid=16478] ppid=16457 vsize=26006188 memory=288230574492221466 CPUtime=0.1 cores=0-7 /proc/16459/task/16478/stat : 16478 (java) S 16457 16457 16326 0 -1 1077944384 868 0 0 0 5 5 0 0 20 0 20 0 114018448 26630336512 5370637 33554432000 4194304 4196468 140725571645088 139804483234736 139805097282178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15368192 140725571646610 140725571646787 140725571646787 140725571649487 0 Current children cumulated CPU time: 482.73 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21483932 KiB [startup+217.601 s] /proc/loadavg: 1.87 3.37 5.89 2/200 16486 /proc/meminfo: memFree=9822736/32770624 swapFree=67108860/67108860 [pid=16457] ppid=16454 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 16326 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114018442 9740288 346 33554432000 4194304 5098028 140721823336560 140721823334664 140660119581308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31367168 140721823343716 140721823343927 140721823343927 140721823346667 0 /proc/16457/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): 217.698 CPU time (s): 483.238 CPU user time (s): 446.479 CPU system time (s): 36.7591 CPU usage (%): 221.977 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 21483932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 446.479 system time used= 36.7591 maximum resident set size= 21482872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 695204 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17860 involuntary context switches= 3910 # summary of solver processes directly reported to runsolver: # pid: 16457 # total CPU time (s): 483.238 # total CPU user time (s): 446.479 # total CPU system time (s): 36.7591 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.49845 second user time and 2.16249 second system time The end
Begin job on node106 at 2017-08-15 16:47:28 IDJOB=4270493 IDBENCH=138075 IDSOLVER=2662 FILE ID=node106/4270493-1502809306 RUNJOBID= node106-1502808215-16353 PBS_JOBID= 20629821 Free space on /tmp= 61696 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-41.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-4270493-1502809306/watcher-4270493-1502809306 -o /tmp/evaluation-result-4270493-1502809306/solver-4270493-1502809306 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502808215-16353 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1340568437 HOME/instance-4270493-1502809306.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a372e06032e8b52aa9c97452ff274801 RANDOM SEED=1340568437 node106.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.86 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.86 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.86 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.86 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: 31334880 kB MemAvailable: 31983992 kB Buffers: 182920 kB Cached: 752752 kB SwapCached: 0 kB Active: 539748 kB Inactive: 450396 kB Active(anon): 11040 kB Inactive(anon): 72108 kB Active(file): 528708 kB Inactive(file): 378288 kB Unevictable: 6472 kB Mlocked: 6472 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 91844 kB Writeback: 0 kB AnonPages: 61228 kB Mapped: 46004 kB Shmem: 25228 kB Slab: 141908 kB SReclaimable: 115900 kB SUnreclaim: 26008 kB KernelStack: 3168 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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= 61688 MiB End job on node106 at 2017-08-15 16:51:06