Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? | 446.89001 | 215.548 |
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-4280303-1503170208.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280303-1503170208.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 446.73/215.43 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 446.73/215.43 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 446.73/215.43 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 446.73/215.43 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867) 446.73/215.43 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823) 446.73/215.43 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 446.73/215.43 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 446.73/215.43 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 446.73/215.43 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 446.73/215.43 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 446.73/215.43 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 446.73/215.43 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 446.73/215.43 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 446.73/215.43 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 446.73/215.43 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 446.73/215.43 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 446.73/215.43 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 446.73/215.43 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 446.73/215.43 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 446.73/215.43 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 446.73/215.43 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 446.73/215.43 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 446.73/215.43 s UNKNOWN 446.73/215.43 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 (11166 MiB free) memory of node 1: 16384 MiB (12232 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280303-1503170208/watcher-4280303-1503170208 -o /tmp/evaluation-result-4280303-1503170208/solver-4280303-1503170208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503164069-19957 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 882641479 HOME/instance-4280303-1503170208.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 solver pid=20396, runsolver pid=20393 Current StackSize limit: 8192 KiB [startup+0.100277 s]* /proc/loadavg: 2.26 4.81 6.88 2/201 20417 /proc/meminfo: memFree=23945672/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=25999808 memory=26308 CPUtime=0.11 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 5492 0 0 0 10 1 0 0 20 0 20 0 150108559 26623803392 6577 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6499952 6577 2845 1 0 6488269 0 [pid=20398/tid=20399] ppid=20396 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) R 20396 20396 19930 0 -1 4202560 3488 0 0 0 8 1 0 0 20 0 20 0 150108559 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648401760736 139648397540758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=25999808 memory=140286214329984 CPUtime=0 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648316951056 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648315898768 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648314845968 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648313793680 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26623803392 6642 33554432000 4194304 4196468 140726718002256 139648312740880 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108561 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647792457840 139648397539970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150108562 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647791403808 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150108562 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647790351472 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) R 20396 20396 19930 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647788247664 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) S 20396 20396 19930 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647787194864 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) R 20396 20396 19930 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647786142576 139648397550170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) R 20396 20396 19930 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647785089776 139648397540758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108565 26623803392 6642 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27688 KiB [startup+0.210557 s]* /proc/loadavg: 2.26 4.81 6.88 2/201 20417 /proc/meminfo: memFree=23934212/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26004096 memory=38648 CPUtime=0.34 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 8263 0 0 0 31 3 0 0 20 0 20 0 150108559 26628194304 9662 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501016 9662 3044 1 0 6488269 0 [pid=20398/tid=20399] ppid=20396 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) D 20396 20396 19930 0 -1 1077944384 5429 0 0 0 18 1 0 0 20 0 20 0 150108559 26628161536 9662 33554432000 4194304 4196468 140726718002256 139648401739632 139648390208045 0 4 0 16800975 18446744072101584420 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26004096 memory=331 CPUtime=0 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628194304 9662 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26004096 memory=140286214349377 CPUtime=0 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26628194304 9662 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 9662 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 9662 33554432000 4194304 4196468 140726718002256 139648316951056 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 9662 33554432000 4194304 4196468 140726718002256 139648315898768 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628194304 9662 33554432000 4194304 4196468 140726718002256 139648314845968 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628194304 9662 33554432000 4194304 4196468 140726718002256 139648313793680 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 9662 33554432000 4194304 4196468 140726718002256 139648312740880 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108561 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647792457840 139648397539970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150108562 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647791403808 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150108562 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647790351472 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26628194304 9662 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) S 20396 20396 19930 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 150108564 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647788247664 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) S 20396 20396 19930 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 20 0 150108564 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647787194864 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) S 20396 20396 19930 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 150108564 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647786142576 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) S 20396 20396 19930 0 -1 1077944384 731 0 0 0 7 0 0 0 20 0 20 0 150108564 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647785089776 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26628194304 9662 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108565 26628161536 9662 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013608 KiB Current children cumulated memory: 40028 KiB [startup+0.310717 s]* /proc/loadavg: 2.26 4.81 6.88 3/201 20417 /proc/meminfo: memFree=23927636/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26004064 memory=46564 CPUtime=0.51 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 9300 0 0 0 48 3 0 0 20 0 20 0 150108559 26628161536 11641 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501016 11641 3108 1 0 6488269 0 [pid=20398/tid=20399] ppid=20396 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) R 20396 20396 19930 0 -1 4202560 6054 0 0 0 28 2 0 0 20 0 20 0 150108559 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648401763824 139648397550749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648316951056 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648315898768 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=26004064 memory=140286114231215 CPUtime=0 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648314845968 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=26004064 memory=140286114233520 CPUtime=0 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648313793680 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=26004064 memory=140286114235824 CPUtime=0 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108560 26628161536 11641 33554432000 4194304 4196468 140726718002256 139648312740880 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) S 20396 20396 19930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150108561 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647792457840 139648397539970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=26004064 memory=280572228478608 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150108562 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647791403808 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=26004064 memory=280572228485520 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150108562 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647790351472 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=26004064 memory=280572228426800 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=26004064 memory=280572228499344 CPUtime=0.01 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) R 20396 20396 19930 0 -1 4202560 482 0 0 0 1 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647788247664 139648381431859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=26004064 memory=280572228506256 CPUtime=0.03 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) R 20396 20396 19930 0 -1 4202560 486 0 0 0 3 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647787194864 139648375547136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=26004064 memory=280572228503952 CPUtime=0.02 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) S 20396 20396 19930 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647786142576 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=26004064 memory=280572228520112 CPUtime=0.12 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) S 20396 20396 19930 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647785089776 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108565 26628161536 11641 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47944 KiB [startup+0.700988 s] /proc/loadavg: 2.26 4.81 6.88 9/201 20417 /proc/meminfo: memFree=23731248/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26004140 memory=377964 CPUtime=1.4 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 10368 0 0 0 101 39 0 0 20 0 20 0 150108559 26628239360 94491 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501035 94491 3151 1 0 6488269 0 [pid=20398/tid=20399] ppid=20396 vsize=26004140 memory=280572228878000 CPUtime=0.61 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) R 20396 20396 19930 0 -1 4202560 6433 0 0 0 54 7 0 0 20 0 20 0 150108559 26628239360 95003 33554432000 4194304 4196468 140726718002256 139648401762736 139647994635283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26004140 memory=140286114440048 CPUtime=0.05 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 58 0 0 0 1 4 0 0 20 0 20 0 150108560 26628239360 95003 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26004140 memory=0 CPUtime=0.05 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 70 0 0 0 2 3 0 0 20 0 20 0 150108560 26628239360 95003 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26004140 memory=11112 CPUtime=0.06 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 64 0 0 0 2 4 0 0 20 0 20 0 150108560 26628239360 95003 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 ################ # More data... # ################ [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26006188 memory=21719144 CPUtime=445.18 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 696532 0 0 0 41136 3382 0 0 20 0 20 0 150108559 26630336512 5429786 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501547 5429786 3254 1 0 6488781 0 [pid=20398/tid=20399] ppid=20396 vsize=26006188 memory=41728 CPUtime=174.34 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) S 20396 20396 19930 0 -1 1077944384 150956 0 0 0 17375 59 0 0 20 0 20 0 150108559 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648401767024 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26006188 memory=1296 CPUtime=32.6 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) R 20396 20396 19930 0 -1 4202560 39797 0 0 0 2832 428 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648320108752 139648390157031 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26006188 memory=2428 CPUtime=32.78 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) R 20396 20396 19930 0 -1 4202560 39870 0 0 0 2924 354 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648319056264 139648390157031 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26006188 memory=6791534058613427641 CPUtime=32.66 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) R 20396 20396 19930 0 -1 4202560 108409 0 0 0 2830 436 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648318003976 139648390631852 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=26006188 memory=1716 CPUtime=32.77 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) R 20396 20396 19930 0 -1 4202560 64877 0 0 0 2864 413 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648316951176 139648390157031 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=26006188 memory=796 CPUtime=32.68 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) R 20396 20396 19930 0 -1 4202560 39428 0 0 0 2825 443 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648315898576 139648390157031 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=26006188 memory=1952 CPUtime=32.79 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) R 20396 20396 19930 0 -1 4202560 36437 0 0 0 2903 376 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648314845776 139648390157031 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=26006188 memory=6791534058613427641 CPUtime=32.89 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) R 20396 20396 19930 0 -1 4202560 103734 0 0 0 2848 441 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648313793488 139648390157031 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=26006188 memory=1380 CPUtime=32.61 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) R 20396 20396 19930 0 -1 4202560 34924 0 0 0 2865 396 0 0 20 0 20 0 150108560 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139648312740688 139648390157031 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=26006188 memory=20837024 CPUtime=6.95 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) S 20396 20396 19930 0 -1 1077944384 57290 0 0 0 675 20 0 0 20 0 20 0 150108561 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647792456400 139648397539029 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=26006188 memory=11112 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647791403872 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647790351488 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=26006188 memory=1200 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=26006188 memory=8608 CPUtime=0.51 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) S 20396 20396 19930 0 -1 1077944384 5160 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647788247712 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=26006188 memory=5784 CPUtime=0.49 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) S 20396 20396 19930 0 -1 1077944384 4118 0 0 0 48 1 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647787194624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=26006188 memory=4616 CPUtime=0.51 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) S 20396 20396 19930 0 -1 1077944384 5095 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647786142624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=26006188 memory=1008 CPUtime=0.35 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) S 20396 20396 19930 0 -1 1077944384 4335 0 0 0 35 0 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647785089824 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=26006188 memory=11112 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=26006188 memory=1228 CPUtime=0.13 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 701 0 0 0 4 9 0 0 20 0 20 0 150108565 26630336512 5429786 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 445.18 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21720524 KiB [startup+215.201 s] /proc/loadavg: 1.87 3.18 5.78 2/198 20417 /proc/meminfo: memFree=2219340/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26006188 memory=21719172 CPUtime=446.53 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 701297 0 0 0 41270 3383 0 0 20 0 20 0 150108559 26630336512 5429793 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501547 5429793 3254 1 0 6488781 0 [pid=20398/tid=20399] ppid=20396 vsize=26006188 memory=952 CPUtime=174.34 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) S 20396 20396 19930 0 -1 1077944384 150956 0 0 0 17375 59 0 0 20 0 20 0 150108559 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648401767024 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26006188 memory=6791534058613427641 CPUtime=32.67 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 39803 0 0 0 2839 428 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26006188 memory=21719172 CPUtime=32.86 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 39882 0 0 0 2932 354 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26006188 memory=16448 CPUtime=32.74 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 108956 0 0 0 2838 436 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=26006188 memory=23124 CPUtime=32.84 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) S 20396 20396 19930 0 -1 1077944384 64888 0 0 0 2871 413 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648316951056 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=26006188 memory=164 CPUtime=32.75 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) S 20396 20396 19930 0 -1 1077944384 39432 0 0 0 2832 443 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648315898768 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=26006188 memory=6655300316396806240 CPUtime=32.87 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) S 20396 20396 19930 0 -1 1077944384 36444 0 0 0 2911 376 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648314845968 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=26006188 memory=6944656592387989600 CPUtime=32.96 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) S 20396 20396 19930 0 -1 1077944384 103740 0 0 0 2855 441 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648313793680 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=26006188 memory=6656426216303648864 CPUtime=32.69 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) S 20396 20396 19930 0 -1 1077944384 34930 0 0 0 2873 396 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648312740880 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=26006188 memory=7813574312327407953 CPUtime=7.67 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) R 20396 20396 19930 0 -1 4202560 61443 0 0 0 747 20 0 0 20 0 20 0 150108561 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647792456288 139648382525230 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=26006188 memory=3475204761390638192 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647791403872 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=26006188 memory=4140 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647790351488 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=26006188 memory=41728 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=26006188 memory=1296 CPUtime=0.51 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) S 20396 20396 19930 0 -1 1077944384 5160 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647788247712 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=26006188 memory=2428 CPUtime=0.49 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) S 20396 20396 19930 0 -1 1077944384 4118 0 0 0 48 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647787194624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=26006188 memory=1728 CPUtime=0.51 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) S 20396 20396 19930 0 -1 1077944384 5095 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647786142624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=26006188 memory=1716 CPUtime=0.35 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) S 20396 20396 19930 0 -1 1077944384 4335 0 0 0 35 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647785089824 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=26006188 memory=796 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=26006188 memory=1952 CPUtime=0.13 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 714 0 0 0 4 9 0 0 20 0 20 0 150108565 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 446.53 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21720552 KiB [startup+215.401 s] /proc/loadavg: 1.87 3.18 5.78 2/198 20417 /proc/meminfo: memFree=2219340/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 [pid=20398] ppid=20396 vsize=26006188 memory=21719172 CPUtime=446.73 cores=0-7 /proc/20398/stat : 20398 (java) S 20396 20396 19930 0 -1 1077944320 703529 0 0 0 41290 3383 0 0 20 0 20 0 150108559 26630336512 5429793 33554432000 4194304 4196468 140726718002256 140726717984800 139648397528823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 /proc/20398/statm: 6501547 5429793 3254 1 0 6488781 0 [pid=20398/tid=20399] ppid=20396 vsize=26006188 memory=5784 CPUtime=174.34 cores=0-7 /proc/20398/task/20399/stat : 20399 (java) S 20396 20396 19930 0 -1 1077944384 150956 0 0 0 17375 59 0 0 20 0 20 0 150108559 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648401767024 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20400] ppid=20396 vsize=26006188 memory=4616 CPUtime=32.67 cores=0-7 /proc/20398/task/20400/stat : 20400 (java) S 20396 20396 19930 0 -1 1077944384 39803 0 0 0 2839 428 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648320108944 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20401] ppid=20396 vsize=26006188 memory=1008 CPUtime=32.86 cores=0-7 /proc/20398/task/20401/stat : 20401 (java) S 20396 20396 19930 0 -1 1077944384 39882 0 0 0 2932 354 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648319056144 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20402] ppid=20396 vsize=26006188 memory=11112 CPUtime=32.74 cores=0-7 /proc/20398/task/20402/stat : 20402 (java) S 20396 20396 19930 0 -1 1077944384 108956 0 0 0 2838 436 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648318003856 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20403] ppid=20396 vsize=26006188 memory=1952 CPUtime=32.84 cores=0-7 /proc/20398/task/20403/stat : 20403 (java) S 20396 20396 19930 0 -1 1077944384 64888 0 0 0 2871 413 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648316951056 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20404] ppid=20396 vsize=26006188 memory=1200 CPUtime=32.75 cores=0-7 /proc/20398/task/20404/stat : 20404 (java) S 20396 20396 19930 0 -1 1077944384 39432 0 0 0 2832 443 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648315898768 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20405] ppid=20396 vsize=26006188 memory=8608 CPUtime=32.87 cores=0-7 /proc/20398/task/20405/stat : 20405 (java) S 20396 20396 19930 0 -1 1077944384 36444 0 0 0 2911 376 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648314845968 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20406] ppid=20396 vsize=26006188 memory=5784 CPUtime=32.96 cores=0-7 /proc/20398/task/20406/stat : 20406 (java) S 20396 20396 19930 0 -1 1077944384 103740 0 0 0 2855 441 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648313793680 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20407] ppid=20396 vsize=26006188 memory=4616 CPUtime=32.69 cores=0-7 /proc/20398/task/20407/stat : 20407 (java) S 20396 20396 19930 0 -1 1077944384 34930 0 0 0 2873 396 0 0 20 0 20 0 150108560 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139648312740880 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20408] ppid=20396 vsize=26006188 memory=1008 CPUtime=7.87 cores=0-7 /proc/20398/task/20408/stat : 20408 (java) R 20396 20396 19930 0 -1 4202560 63676 0 0 0 766 21 0 0 20 0 20 0 150108561 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647792456288 139648375898998 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20409] ppid=20396 vsize=26006188 memory=11112 CPUtime=0 cores=0-7 /proc/20398/task/20409/stat : 20409 (java) S 20396 20396 19930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647791403872 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20410] ppid=20396 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/20398/task/20410/stat : 20410 (java) S 20396 20396 19930 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 20 0 150108562 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647790351488 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20411] ppid=20396 vsize=26006188 memory=1420 CPUtime=0 cores=0-7 /proc/20398/task/20411/stat : 20411 (java) S 20396 20396 19930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647789299792 139648397547419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20412] ppid=20396 vsize=26006188 memory=15876 CPUtime=0.51 cores=0-7 /proc/20398/task/20412/stat : 20412 (java) S 20396 20396 19930 0 -1 1077944384 5160 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647788247712 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20413] ppid=20396 vsize=26006188 memory=21719172 CPUtime=0.49 cores=0-7 /proc/20398/task/20413/stat : 20413 (java) S 20396 20396 19930 0 -1 1077944384 4118 0 0 0 48 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647787194624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20414] ppid=20396 vsize=26006188 memory=16448 CPUtime=0.51 cores=0-7 /proc/20398/task/20414/stat : 20414 (java) S 20396 20396 19930 0 -1 1077944384 5095 0 0 0 50 1 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647786142624 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20415] ppid=20396 vsize=26006188 memory=23124 CPUtime=0.35 cores=0-7 /proc/20398/task/20415/stat : 20415 (java) S 20396 20396 19930 0 -1 1077944384 4335 0 0 0 35 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647785089824 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20416] ppid=20396 vsize=26006188 memory=4048 CPUtime=0 cores=0-7 /proc/20398/task/20416/stat : 20416 (java) S 20396 20396 19930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150108564 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647784036704 139648397539029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 [pid=20398/tid=20417] ppid=20396 vsize=26006188 memory=1236 CPUtime=0.13 cores=0-7 /proc/20398/task/20417/stat : 20417 (java) S 20396 20396 19930 0 -1 1077944384 714 0 0 0 4 9 0 0 20 0 20 0 150108565 26630336512 5429793 33554432000 4194304 4196468 140726718002256 139647782983984 139648397539970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12021760 140726718006418 140726718006595 140726718006595 140726718009295 0 Current children cumulated CPU time: 446.73 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21720552 KiB [startup+215.501 s] /proc/loadavg: 1.87 3.18 5.78 2/198 20417 /proc/meminfo: memFree=2219340/32770624 swapFree=67108860/67108860 [pid=20396] ppid=20393 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20396/stat : 20396 (xcsp3-exec) S 20393 20396 19930 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 150108558 9740288 345 33554432000 4194304 5098028 140724162682480 140724162680584 139992177242748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22769664 140724162684005 140724162684215 140724162684215 140724162686955 0 /proc/20396/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1380 KiB Child status: 1 Real time (s): 215.548 CPU time (s): 446.89 CPU user time (s): 412.938 CPU system time (s): 33.9522 CPU usage (%): 207.327 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 21720552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 412.938 system time used= 33.9522 maximum resident set size= 21719564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 710231 page faults= 0 swaps= 0 block input operations= 0 block output operations= 432 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16635 involuntary context switches= 3894 # summary of solver processes directly reported to runsolver: # pid: 20396 # total CPU time (s): 446.89 # total CPU user time (s): 412.938 # total CPU system time (s): 33.9522 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.58228 second user time and 2.44087 second system time The end
Begin job on node104 at 2017-08-19 21:02:28 IDJOB=4280303 IDBENCH=138075 IDSOLVER=2675 FILE ID=node104/4280303-1503170208 RUNJOBID= node104-1503164069-19957 PBS_JOBID= 20630829 Free space on /tmp= 61704 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-4280303-1503170208/watcher-4280303-1503170208 -o /tmp/evaluation-result-4280303-1503170208/solver-4280303-1503170208 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503164069-19957 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 882641479 HOME/instance-4280303-1503170208.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a372e06032e8b52aa9c97452ff274801 RANDOM SEED=882641479 node104.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.43 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.43 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.43 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.43 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: 23961508 kB MemAvailable: 31963004 kB Buffers: 276408 kB Cached: 8004440 kB SwapCached: 0 kB Active: 3341236 kB Inactive: 4990060 kB Active(anon): 53580 kB Inactive(anon): 33192 kB Active(file): 3287656 kB Inactive(file): 4956868 kB Unevictable: 7828 kB Mlocked: 7828 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 91692 kB Writeback: 0 kB AnonPages: 58268 kB Mapped: 51180 kB Shmem: 33420 kB Slab: 171864 kB SReclaimable: 145616 kB SUnreclaim: 26248 kB KernelStack: 3216 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61696 MiB End job on node104 at 2017-08-19 21:06:04