Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? | 474.36499 | 233.536 |
Name | BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml |
MD5SUM | 748f42f61d3aaac6f60870392cb688ba |
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 | 240.03101 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 115 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 20 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":20,"count":1},{"size":42,"count":114}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":95},{"degree":4,"count":19}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 114 |
Distribution of constraint arities | [{"arity":6,"count":19},{"arity":20,"count":1},{"arity":114,"count":2}] |
Number of extensional constraints | 19 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":19},{"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-4281290-1503188327.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281290-1503188327.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 474.22/233.43 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 474.22/233.43 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 474.22/233.43 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 474.22/233.43 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867) 474.22/233.43 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823) 474.22/233.43 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 474.22/233.43 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 474.22/233.43 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 474.22/233.43 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 474.22/233.43 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 474.22/233.43 at org.xcsp.parser.XCallbacks$$Lambda$70/540585569.accept(Unknown Source) 474.22/233.43 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 474.22/233.43 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 474.22/233.43 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 474.22/233.43 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 474.22/233.43 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 474.22/233.43 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 474.22/233.43 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 474.22/233.43 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 474.22/233.43 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 474.22/233.43 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 474.22/233.43 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 474.22/233.43 s UNKNOWN 474.22/233.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 (12773 MiB free) memory of node 1: 16384 MiB (12093 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281290-1503188327/watcher-4281290-1503188327 -o /tmp/evaluation-result-4281290-1503188327/solver-4281290-1503188327 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1065760795 HOME/instance-4281290-1503188327.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15440, runsolver pid=15437 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 8.39 7.24 7.23 2/200 15461 /proc/meminfo: memFree=25447840/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=25999808 memory=26860 CPUtime=0.12 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 5651 0 0 0 11 1 0 0 20 0 20 0 151913636 26623803392 6715 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6499952 6715 2849 1 0 6488269 0 [pid=15442/tid=15443] ppid=15440 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) R 15440 15440 14868 0 -1 4202560 3659 0 0 0 8 0 0 0 20 0 20 0 151913636 26623803392 6715 33554432000 4194304 4196468 140725552669040 140330019530544 140329999340901 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=25999808 memory=140273245095552 CPUtime=0 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913637 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913638 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329410873968 140330015308418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151913639 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329409819936 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151913639 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329408767600 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) S 15440 15440 14868 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 151913641 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329406662768 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) S 15440 15440 14868 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151913641 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329405609968 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913641 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329404557680 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) S 15440 15440 14868 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 151913641 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329403504880 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913642 26623803392 6715 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28244 KiB [startup+0.209835 s]* /proc/loadavg: 8.39 7.24 7.23 2/200 15461 /proc/meminfo: memFree=25437172/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26004064 memory=38996 CPUtime=0.32 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 8323 0 0 0 30 2 0 0 20 0 20 0 151913636 26628161536 9749 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501016 9749 3065 1 0 6488269 0 [pid=15442/tid=15443] ppid=15440 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) R 15440 15440 14868 0 -1 4202560 5435 0 0 0 18 1 0 0 20 0 20 0 151913636 26628161536 9749 33554432000 4194304 4196468 140725552669040 140330019520176 140329971903616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26004064 memory=140273245111249 CPUtime=0 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913638 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329410873968 140330015308418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151913639 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329409819936 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151913639 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329408767600 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) R 15440 15440 14868 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 151913641 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329406662768 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) S 15440 15440 14868 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 20 0 151913641 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329405609968 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 151913641 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329404557680 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) R 15440 15440 14868 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 151913641 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329403504880 140330007534398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913642 26628161536 9749 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40380 KiB [startup+0.309557 s]* /proc/loadavg: 8.39 7.24 7.23 3/200 15461 /proc/meminfo: memFree=25430412/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26004064 memory=45416 CPUtime=0.49 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 9067 0 0 0 46 3 0 0 20 0 20 0 151913636 26628161536 11354 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501016 11354 3090 1 0 6488269 0 [pid=15442/tid=15443] ppid=15440 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) R 15440 15440 14868 0 -1 4202560 6096 0 0 0 27 2 0 0 20 0 20 0 151913636 26628161536 11354 33554432000 4194304 4196468 140725552669040 140330019528368 140330015319197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=26004064 memory=140273095111599 CPUtime=0 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=26004064 memory=140273095113904 CPUtime=0 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=26004064 memory=140273095116208 CPUtime=0 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913637 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) S 15440 15440 14868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151913638 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329410873968 140330015308418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=26004064 memory=280546190239376 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151913639 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329409819936 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=26004064 memory=280546190246288 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151913639 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329408767600 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=26004064 memory=280546190187568 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=26004064 memory=280546190260112 CPUtime=0.01 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) R 15440 15440 14868 0 -1 4202560 481 0 0 0 1 0 0 0 20 0 20 0 151913641 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329406662768 140329995997568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=26004064 memory=280546190267024 CPUtime=0.03 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) R 15440 15440 14868 0 -1 4202560 361 0 0 0 3 0 0 0 20 0 20 0 151913641 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329405609968 140330000175355 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=26004064 memory=280546190264720 CPUtime=0.01 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 151913641 26628161536 11354 33554432000 4194304 4196468 140725552669040 140329404557680 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=26004064 memory=280546190280880 CPUtime=0.11 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) S 15440 15440 14868 0 -1 1077944384 778 0 0 0 11 0 0 0 20 0 20 0 151913641 26628161536 11420 33554432000 4194304 4196468 140725552669040 140329403504880 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26628161536 11420 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913642 26628161536 11420 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46800 KiB [startup+0.710373 s] /proc/loadavg: 8.39 7.24 7.23 9/200 15461 /proc/meminfo: memFree=25241764/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26004140 memory=562260 CPUtime=1.48 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 11286 0 0 0 114 34 0 0 20 0 20 0 151913636 26628239360 140565 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501035 140565 3195 1 0 6488269 0 [pid=15442/tid=15443] ppid=15440 vsize=26004140 memory=280546190638768 CPUtime=0.63 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) R 15440 15440 14868 0 -1 4202560 6648 0 0 0 54 9 0 0 20 0 20 0 151913636 26628239360 140565 33554432000 4194304 4196468 140725552669040 140330019532624 140329620213684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26004140 memory=140273095320432 CPUtime=0.03 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 20 0 151913637 26628239360 140565 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26004140 memory=0 CPUtime=0.03 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 151913637 26628239360 140565 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26004140 memory=1204 CPUtime=0.04 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 48 0 0 0 1 3 0 0 20 0 20 0 151913637 26628239360 140565 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 ################ # More data... # ################ [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26006188 memory=22102560 CPUtime=473.62 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 447692 0 0 0 42350 5012 0 0 20 0 20 0 151913636 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501547 5525640 3256 1 0 6488781 0 [pid=15442/tid=15443] ppid=15440 vsize=26006188 memory=1728 CPUtime=187.06 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) S 15440 15440 14868 0 -1 1077944384 57910 0 0 0 18665 41 0 0 20 0 20 0 151913636 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140330019535472 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26006188 memory=1440 CPUtime=34.17 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 56014 0 0 0 2751 666 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26006188 memory=1384 CPUtime=34.11 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 35728 0 0 0 2783 628 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26006188 memory=22102560 CPUtime=34.14 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 45888 0 0 0 2839 575 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=26006188 memory=1292 CPUtime=34.17 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 20903 0 0 0 2821 596 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=26006188 memory=1728 CPUtime=34.21 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 24908 0 0 0 2816 605 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=26006188 memory=16432 CPUtime=34.12 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 25818 0 0 0 2765 647 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=26006188 memory=24284 CPUtime=34.27 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 57384 0 0 0 2835 592 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=26006188 memory=4044 CPUtime=34.14 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 24269 0 0 0 2787 627 0 0 20 0 20 0 151913637 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=26006188 memory=1792 CPUtime=10.91 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) R 15440 15440 14868 0 -1 4202560 78434 0 0 0 1072 19 0 0 20 0 20 0 151913638 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329410872528 140330000293681 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=26006188 memory=636 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329409820000 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=26006188 memory=1236 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329408767616 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=26006188 memory=12136 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=26006188 memory=1004 CPUtime=0.53 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) S 15440 15440 14868 0 -1 1077944384 4135 0 0 0 52 1 0 0 20 0 20 0 151913641 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329406662816 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=26006188 memory=1228 CPUtime=0.63 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) S 15440 15440 14868 0 -1 1077944384 4900 0 0 0 62 1 0 0 20 0 20 0 151913641 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329405610016 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=26006188 memory=1952 CPUtime=0.54 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 4663 0 0 0 53 1 0 0 20 0 20 0 151913641 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329404557440 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=26006188 memory=5796 CPUtime=0.39 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) S 15440 15440 14868 0 -1 1077944384 4725 0 0 0 38 1 0 0 20 0 20 0 151913641 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329403504928 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=26006188 memory=4616 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=26006188 memory=8624 CPUtime=0.09 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 579 0 0 0 4 5 0 0 20 0 20 0 151913642 26630336512 5525640 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 473.62 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22103944 KiB [startup+233.201 s] /proc/loadavg: 2.36 4.40 6.07 2/199 15462 /proc/meminfo: memFree=3332924/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26006188 memory=22102588 CPUtime=474.02 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 450123 0 0 0 42390 5012 0 0 20 0 20 0 151913636 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501547 5525647 3256 1 0 6488781 0 [pid=15442/tid=15443] ppid=15440 vsize=26006188 memory=16101468159609422 CPUtime=187.06 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) S 15440 15440 14868 0 -1 1077944384 57910 0 0 0 18665 41 0 0 20 0 20 0 151913636 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140330019535472 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26006188 memory=4616 CPUtime=34.17 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 56014 0 0 0 2751 666 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26006188 memory=8624 CPUtime=34.11 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 35728 0 0 0 2783 628 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26006188 memory=792 CPUtime=34.14 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 45888 0 0 0 2839 575 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=26006188 memory=1204 CPUtime=34.17 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 20903 0 0 0 2821 596 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=26006188 memory=1384 CPUtime=34.21 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 24908 0 0 0 2816 605 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=26006188 memory=22102560 CPUtime=34.12 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 25818 0 0 0 2765 647 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=26006188 memory=24617 CPUtime=34.27 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 57384 0 0 0 2835 592 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=26006188 memory=5787213827147326820 CPUtime=34.14 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 24269 0 0 0 2787 627 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=26006188 memory=5787213827164104036 CPUtime=11.31 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) R 15440 15440 14868 0 -1 4202560 80865 0 0 0 1112 19 0 0 20 0 20 0 151913638 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329410872528 140329999754862 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=26006188 memory=5787213827147326820 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329409820000 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=26006188 memory=5571041044932548709 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329408767616 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=26006188 memory=4639074098508484691 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=26006188 memory=4639074098508484693 CPUtime=0.53 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) S 15440 15440 14868 0 -1 1077944384 4135 0 0 0 52 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329406662816 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=26006188 memory=7151823192952164432 CPUtime=0.63 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) S 15440 15440 14868 0 -1 1077944384 4900 0 0 0 62 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329405610016 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=26006188 memory=5787213827096995172 CPUtime=0.54 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 4663 0 0 0 53 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329404557440 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=26006188 memory=5787213827080217956 CPUtime=0.39 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) S 15440 15440 14868 0 -1 1077944384 4725 0 0 0 38 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329403504928 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=26006188 memory=5787213827113772388 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=26006188 memory=5787213827147326820 CPUtime=0.09 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 579 0 0 0 4 5 0 0 20 0 20 0 151913642 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 474.02 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22103972 KiB [startup+233.401 s] /proc/loadavg: 2.36 4.40 6.07 2/199 15462 /proc/meminfo: memFree=3332924/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/statm: 2378 346 289 221 0 87 0 [pid=15442] ppid=15440 vsize=26006188 memory=22102588 CPUtime=474.22 cores=0-7 /proc/15442/stat : 15442 (java) S 15440 15440 14868 0 -1 1077944320 450123 0 0 0 42410 5012 0 0 20 0 20 0 151913636 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140725552651584 140330015297271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 /proc/15442/statm: 6501547 5525647 3256 1 0 6488781 0 [pid=15442/tid=15443] ppid=15440 vsize=26006188 memory=16101468159609422 CPUtime=187.06 cores=0-7 /proc/15442/task/15443/stat : 15443 (java) S 15440 15440 14868 0 -1 1077944384 57910 0 0 0 18665 41 0 0 20 0 20 0 151913636 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140330019535472 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15444] ppid=15440 vsize=26006188 memory=1384 CPUtime=34.17 cores=0-7 /proc/15442/task/15444/stat : 15444 (java) S 15440 15440 14868 0 -1 1077944384 56014 0 0 0 2751 666 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329937877904 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15445] ppid=15440 vsize=26006188 memory=22102560 CPUtime=34.11 cores=0-7 /proc/15442/task/15445/stat : 15445 (java) S 15440 15440 14868 0 -1 1077944384 35728 0 0 0 2783 628 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329572391696 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15446] ppid=15440 vsize=26006188 memory=4108 CPUtime=34.14 cores=0-7 /proc/15442/task/15446/stat : 15446 (java) S 15440 15440 14868 0 -1 1077944384 45888 0 0 0 2839 575 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329571339408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15447] ppid=15440 vsize=26006188 memory=1398720917958146503 CPUtime=34.17 cores=0-7 /proc/15442/task/15447/stat : 15447 (java) S 15440 15440 14868 0 -1 1077944384 20903 0 0 0 2821 596 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329570286608 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15448] ppid=15440 vsize=26006188 memory=4126316290023845779 CPUtime=34.21 cores=0-7 /proc/15442/task/15448/stat : 15448 (java) S 15440 15440 14868 0 -1 1077944384 24908 0 0 0 2816 605 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329569233296 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15449] ppid=15440 vsize=26006188 memory=7092996142909247588 CPUtime=34.12 cores=0-7 /proc/15442/task/15449/stat : 15449 (java) S 15440 15440 14868 0 -1 1077944384 25818 0 0 0 2765 647 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329568180496 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15450] ppid=15440 vsize=26006188 memory=6225490234824616291 CPUtime=34.27 cores=0-7 /proc/15442/task/15450/stat : 15450 (java) S 15440 15440 14868 0 -1 1077944384 57384 0 0 0 2835 592 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329567128208 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15451] ppid=15440 vsize=26006188 memory=7584172180673161326 CPUtime=34.14 cores=0-7 /proc/15442/task/15451/stat : 15451 (java) S 15440 15440 14868 0 -1 1077944384 24269 0 0 0 2787 627 0 0 20 0 20 0 151913637 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329566075408 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15452] ppid=15440 vsize=26006188 memory=7452721068775596910 CPUtime=11.51 cores=0-7 /proc/15442/task/15452/stat : 15452 (java) R 15440 15440 14868 0 -1 4202560 80865 0 0 0 1132 19 0 0 20 0 20 0 151913638 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329410872416 140329993667451 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15453] ppid=15440 vsize=26006188 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/15442/task/15453/stat : 15453 (java) S 15440 15440 14868 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329409820000 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15454] ppid=15440 vsize=26006188 memory=7020382096886097509 CPUtime=0 cores=0-7 /proc/15442/task/15454/stat : 15454 (java) S 15440 15440 14868 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 151913639 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329408767616 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15455] ppid=15440 vsize=26006188 memory=1292 CPUtime=0 cores=0-7 /proc/15442/task/15455/stat : 15455 (java) S 15440 15440 14868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329407715920 140330015315867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15456] ppid=15440 vsize=26006188 memory=1728 CPUtime=0.53 cores=0-7 /proc/15442/task/15456/stat : 15456 (java) S 15440 15440 14868 0 -1 1077944384 4135 0 0 0 52 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329406662816 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15457] ppid=15440 vsize=26006188 memory=12136 CPUtime=0.63 cores=0-7 /proc/15442/task/15457/stat : 15457 (java) S 15440 15440 14868 0 -1 1077944384 4900 0 0 0 62 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329405610016 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15458] ppid=15440 vsize=26006188 memory=1004 CPUtime=0.54 cores=0-7 /proc/15442/task/15458/stat : 15458 (java) S 15440 15440 14868 0 -1 1077944384 4663 0 0 0 53 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329404557440 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15459] ppid=15440 vsize=26006188 memory=1228 CPUtime=0.39 cores=0-7 /proc/15442/task/15459/stat : 15459 (java) S 15440 15440 14868 0 -1 1077944384 4725 0 0 0 38 1 0 0 20 0 20 0 151913641 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329403504928 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15460] ppid=15440 vsize=26006188 memory=1952 CPUtime=0 cores=0-7 /proc/15442/task/15460/stat : 15460 (java) S 15440 15440 14868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151913642 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329402452832 140330015307477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 [pid=15442/tid=15461] ppid=15440 vsize=26006188 memory=5796 CPUtime=0.09 cores=0-7 /proc/15442/task/15461/stat : 15461 (java) S 15440 15440 14868 0 -1 1077944384 579 0 0 0 4 5 0 0 20 0 20 0 151913642 26630336512 5525647 33554432000 4194304 4196468 140725552669040 140329401400112 140330015308418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 28057600 140725552673944 140725552674120 140725552674120 140725552676815 0 Current children cumulated CPU time: 474.22 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22103972 KiB [startup+233.501 s] /proc/loadavg: 2.36 4.40 6.07 2/199 15462 /proc/meminfo: memFree=3332924/32770624 swapFree=67108860/67108860 [pid=15440] ppid=15437 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/15440/stat : 15440 (xcsp3-exec) S 15437 15440 14868 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151913636 9740288 346 33554432000 4194304 5098028 140730256181904 140730256180008 140260408660604 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27914240 140730256188522 140730256188732 140730256188732 140730256191467 0 /proc/15440/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): 233.536 CPU time (s): 474.365 CPU user time (s): 424.14 CPU system time (s): 50.2247 CPU usage (%): 203.123 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 22103972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 424.14 system time used= 50.2247 maximum resident set size= 22102816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450815 page faults= 0 swaps= 0 block input operations= 0 block output operations= 472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18926 involuntary context switches= 6401 # summary of solver processes directly reported to runsolver: # pid: 15440 # total CPU time (s): 474.365 # total CPU user time (s): 424.14 # total CPU system time (s): 50.2247 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.51166 second user time and 2.42328 second system time The end
Begin job on node148 at 2017-08-20 02:04:27 IDJOB=4281290 IDBENCH=137964 IDSOLVER=2676 FILE ID=node148/4281290-1503188327 RUNJOBID= node148-1503186455-14895 PBS_JOBID= 20630855 Free space on /tmp= 61908 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw100/BinPacking-tab-sw100-74.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-4281290-1503188327/watcher-4281290-1503188327 -o /tmp/evaluation-result-4281290-1503188327/solver-4281290-1503188327 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503186455-14895 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1065760795 HOME/instance-4281290-1503188327.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 748f42f61d3aaac6f60870392cb688ba RANDOM SEED=1065760795 node148.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.19 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.19 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.19 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.19 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: 25463940 kB MemAvailable: 31976068 kB Buffers: 296448 kB Cached: 6509068 kB SwapCached: 0 kB Active: 1208632 kB Inactive: 5650408 kB Active(anon): 4732 kB Inactive(anon): 84704 kB Active(file): 1203900 kB Inactive(file): 5565704 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 45660 kB Writeback: 0 kB AnonPages: 60796 kB Mapped: 51676 kB Shmem: 33416 kB Slab: 143500 kB SReclaimable: 116720 kB SUnreclaim: 26780 kB KernelStack: 3232 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61900 MiB End job on node148 at 2017-08-20 02:08:21