Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | ? | 482.785 | 231.048 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml |
MD5SUM | 67f07639019614dd1d008c87f8253383 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 254.02699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":46,"count":132}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 132 |
Distribution of constraint arities | [{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}] |
Number of extensional constraints | 22 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281291-1503188332.xml" -tl '2016s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281291-1503188332.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 482.63/230.91 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 482.63/230.91 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 482.63/230.91 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 482.63/230.91 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867) 482.63/230.91 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823) 482.63/230.91 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 482.63/230.92 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 482.63/230.92 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 482.63/230.92 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 482.63/230.92 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 482.63/230.92 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 482.63/230.92 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 482.63/230.92 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 482.63/230.92 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 482.63/230.92 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 482.63/230.92 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 482.63/230.92 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 482.63/230.92 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 482.63/230.92 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 482.63/230.92 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 482.63/230.92 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 482.63/230.92 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 482.63/230.92 s UNKNOWN 482.63/230.92 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 (13192 MiB free) memory of node 1: 16384 MiB (13275 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281291-1503188332/watcher-4281291-1503188332 -o /tmp/evaluation-result-4281291-1503188332/solver-4281291-1503188332 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 976855739 HOME/instance-4281291-1503188332.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 Current StackSize limit: 8192 KiB solver pid=5811, runsolver pid=5808 [startup+0.100157 s]* /proc/loadavg: 8.23 6.60 6.58 2/202 5832 /proc/meminfo: memFree=27089416/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=25999808 memory=25140 CPUtime=0.12 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 5706 0 0 0 11 1 0 0 20 0 20 0 151920693 26623803392 6285 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6499952 6285 2858 1 0 6488269 0 [pid=5813/tid=5814] ppid=5811 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) R 5811 5811 1674 0 -1 4202560 3679 0 0 0 8 1 0 0 20 0 20 0 151920693 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894975283032 139894971075990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894938622480 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=25999808 memory=139739790497408 CPUtime=0 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894527756944 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894526703888 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) S 5811 5811 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894525651344 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894524599312 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894523546768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894522493712 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26623803392 6285 33554432000 4194304 4196468 140733966193792 139894521441168 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) S 5811 5811 1674 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151920695 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893176162544 139894971075202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151920696 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893175108768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151920696 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893174055664 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) S 5811 5811 1674 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893171952368 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893170899824 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893169846768 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) R 5811 5811 1674 0 -1 4202560 281 0 0 0 1 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893168794224 139894950778860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26623803392 6285 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 26520 KiB [startup+0.21069 s]* /proc/loadavg: 8.23 6.60 6.58 3/202 5832 /proc/meminfo: memFree=27077880/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26004064 memory=38072 CPUtime=0.33 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 8566 0 0 0 30 3 0 0 20 0 20 0 151920693 26628161536 9518 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501016 9518 3075 1 0 6488269 0 [pid=5813/tid=5814] ppid=5811 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) R 5811 5811 1674 0 -1 4202560 5511 0 0 0 18 1 0 0 20 0 20 0 151920693 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894975285048 139894971085981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894938622480 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26004064 memory=139739790503472 CPUtime=0 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894527756944 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894526703888 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) S 5811 5811 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894525651344 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894524599312 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894523546768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894522493712 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 9518 33554432000 4194304 4196468 140733966193792 139894521441168 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) S 5811 5811 1674 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151920695 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893176162544 139894971075202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151920696 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893175108768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151920696 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893174055664 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) R 5811 5811 1674 0 -1 4202560 415 0 0 0 1 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893171952368 139894971075202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893170899824 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893169846768 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) S 5811 5811 1674 0 -1 1077944384 868 0 0 0 7 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893168794224 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 9518 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39452 KiB [startup+0.310499 s]* /proc/loadavg: 8.23 6.60 6.58 2/202 5832 /proc/meminfo: memFree=27072732/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26004064 memory=45320 CPUtime=0.49 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 9487 0 0 0 45 4 0 0 20 0 20 0 151920693 26628161536 11330 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501016 11330 3111 1 0 6488269 0 [pid=5813/tid=5814] ppid=5811 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) R 5811 5811 1674 0 -1 4202560 6190 0 0 0 27 2 0 0 20 0 20 0 151920693 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894975300928 139894971085981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894938622480 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894527756944 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894526703888 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) S 5811 5811 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894525651344 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894524599312 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=26004064 memory=139739646751663 CPUtime=0 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894523546768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=26004064 memory=139739646753968 CPUtime=0 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894522493712 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=26004064 memory=139739646756272 CPUtime=0 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920694 26628161536 11330 33554432000 4194304 4196468 140733966193792 139894521441168 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) S 5811 5811 1674 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 151920695 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893176162544 139894971075202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=26004064 memory=279479293519504 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151920696 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893175108768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=26004064 memory=279479293526416 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151920696 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893174055664 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=26004064 memory=279479293467696 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=26004064 memory=279479293540240 CPUtime=0.02 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) S 5811 5811 1674 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893171952368 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=26004064 memory=279479293547152 CPUtime=0.02 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893170899824 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=26004064 memory=279479293544848 CPUtime=0.01 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893169846768 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=26004064 memory=279479293561008 CPUtime=0.11 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) R 5811 5811 1674 0 -1 4202560 1031 0 0 0 11 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893168794224 139894964160891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26628161536 11330 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46700 KiB [startup+0.700979 s] /proc/loadavg: 8.23 6.60 6.58 9/202 5832 /proc/meminfo: memFree=26890308/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26004140 memory=347588 CPUtime=1.58 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 11556 0 0 0 113 45 0 0 20 0 20 0 151920693 26628239360 86897 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501035 86897 3178 1 0 6488269 0 [pid=5813/tid=5814] ppid=5811 vsize=26004140 memory=279479293918896 CPUtime=0.59 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) S 5811 5811 1674 0 -1 1077944384 6532 0 0 0 53 6 0 0 20 0 20 0 151920693 26628239360 86897 33554432000 4194304 4196468 140733966193792 139894975301520 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26004140 memory=139739646960496 CPUtime=0.07 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) R 5811 5811 1674 0 -1 4202560 75 0 0 0 2 5 0 0 20 0 20 0 151920694 26628239360 86897 33554432000 4194304 4196468 140733966193792 139894938622480 139894964166772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26004140 memory=0 CPUtime=0.06 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) R 5811 5811 1674 0 -1 4202560 65 0 0 0 2 4 0 0 20 0 20 0 151920694 26628239360 86897 33554432000 4194304 4196468 140733966193792 139894527757064 139894964166772 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26004140 memory=4612 CPUtime=0.06 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) R 5811 5811 1674 0 -1 4202560 62 0 0 0 2 4 0 0 20 0 20 0 151920694 26628239360 86897 33554432000 4194304 4196468 140733966193792 139894526703888 139894964166772 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 ################ # More data... # ################ [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26006188 memory=20248976 CPUtime=472.54 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 1436125 0 0 0 44181 3073 0 0 20 0 20 0 151920693 26630336512 5062244 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501547 5062244 3257 1 0 6488781 0 [pid=5813/tid=5814] ppid=5811 vsize=26006188 memory=20248976 CPUtime=186.45 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) S 5811 5811 1674 0 -1 1077944384 146074 0 0 0 18578 67 0 0 20 0 20 0 151920693 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894975302256 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26006188 memory=1380 CPUtime=34.45 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) R 5811 5811 1674 0 -1 4202560 84847 0 0 0 3083 362 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894938622288 139894963692263 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26006188 memory=1380 CPUtime=34.7 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) R 5811 5811 1674 0 -1 4202560 276270 0 0 0 3094 376 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894527757064 139894964167041 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26006188 memory=20248976 CPUtime=34.55 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) R 5811 5811 1674 0 -1 4202560 94840 0 0 0 3101 354 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894526703696 139894963692263 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=26006188 memory=1224 CPUtime=34.58 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) R 5811 5811 1674 0 -1 4202560 100143 0 0 0 3103 355 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894525651152 139894963692263 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=26006188 memory=1380 CPUtime=34.68 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) R 5811 5811 1674 0 -1 4202560 98248 0 0 0 3102 366 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894524599120 139894963692263 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=26006188 memory=20248976 CPUtime=34.53 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) R 5811 5811 1674 0 -1 4202560 179253 0 0 0 3051 402 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894523546888 139894963692263 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=26006188 memory=1380 CPUtime=34.73 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) R 5811 5811 1674 0 -1 4202560 292572 0 0 0 3094 379 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894522493832 139894963692263 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=26006188 memory=8112282956445269571 CPUtime=34.45 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) R 5811 5811 1674 0 -1 4202560 76774 0 0 0 3079 366 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894521440976 139894963692263 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=26006188 memory=1796 CPUtime=7.13 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) S 5811 5811 1674 0 -1 1077944384 69336 0 0 0 682 31 0 0 20 0 20 0 151920695 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893176161104 139894971074261 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=26006188 memory=644 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893175108832 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=26006188 memory=960 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893174055680 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=26006188 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=26006188 memory=288230621803970871 CPUtime=0.45 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) S 5811 5811 1674 0 -1 1077944384 3650 0 0 0 44 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893171952416 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=26006188 memory=8112282956445269571 CPUtime=0.56 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 3443 0 0 0 55 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893170899872 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=26006188 memory=20240572 CPUtime=0.62 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 4339 0 0 0 61 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893169846528 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=26006188 memory=1732 CPUtime=0.37 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) S 5811 5811 1674 0 -1 1077944384 4102 0 0 0 36 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893168794272 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=26006188 memory=301741373374332954 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=26006188 memory=4100 CPUtime=0.12 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 811 0 0 0 5 7 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 472.54 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20250356 KiB [startup+230.401 s] /proc/loadavg: 1.99 4.00 5.52 2/199 5833 /proc/meminfo: memFree=6829680/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26006188 memory=20248976 CPUtime=482.13 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 1436577 0 0 0 45135 3078 0 0 20 0 20 0 151920693 26630336512 5062244 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501547 5062244 3257 1 0 6488781 0 [pid=5813/tid=5814] ppid=5811 vsize=26006188 memory=0 CPUtime=186.45 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) S 5811 5811 1674 0 -1 1077944384 146074 0 0 0 18578 67 0 0 20 0 20 0 151920693 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894975302256 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26006188 memory=122 CPUtime=35.59 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) S 5811 5811 1674 0 -1 1077944384 84847 0 0 0 3197 362 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894938622480 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26006188 memory=159 CPUtime=35.88 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) S 5811 5811 1674 0 -1 1077944384 276722 0 0 0 3212 376 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894527756944 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26006188 memory=279479293316528 CPUtime=35.7 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) S 5811 5811 1674 0 -1 1077944384 94840 0 0 0 3215 355 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894526703888 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=26006188 memory=27142784027370 CPUtime=35.72 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) S 5811 5811 1674 0 -1 1077944384 100143 0 0 0 3216 356 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894525651344 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=26006188 memory=27142784027370 CPUtime=35.82 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) S 5811 5811 1674 0 -1 1077944384 98248 0 0 0 3216 366 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894524599312 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=26006188 memory=0 CPUtime=35.67 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) S 5811 5811 1674 0 -1 1077944384 179253 0 0 0 3164 403 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894523546768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=26006188 memory=0 CPUtime=35.87 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) S 5811 5811 1674 0 -1 1077944384 292572 0 0 0 3207 380 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894522493712 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=26006188 memory=53 CPUtime=35.59 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) S 5811 5811 1674 0 -1 1077944384 76774 0 0 0 3192 367 0 0 20 0 20 0 151920694 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139894521441168 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=26006188 memory=1380 CPUtime=7.55 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) R 5811 5811 1674 0 -1 4202560 69336 0 0 0 724 31 0 0 20 0 20 0 151920695 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893176161104 139894956060479 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=26006188 memory=20240572 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893175108832 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=26006188 memory=1440 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893174055680 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=26006188 memory=5796 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=26006188 memory=4124 CPUtime=0.45 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) S 5811 5811 1674 0 -1 1077944384 3650 0 0 0 44 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893171952416 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=26006188 memory=2196 CPUtime=0.56 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 3443 0 0 0 55 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893170899872 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=26006188 memory=7788 CPUtime=0.62 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 4339 0 0 0 61 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893169846528 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=26006188 memory=840 CPUtime=0.37 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) S 5811 5811 1674 0 -1 1077944384 4102 0 0 0 36 1 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893168794272 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=26006188 memory=4486604260213485459 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=26006188 memory=1200 CPUtime=0.12 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 811 0 0 0 5 7 0 0 20 0 20 0 151920699 26630336512 5062244 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 482.13 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20250356 KiB [startup+230.801 s] /proc/loadavg: 1.99 4.00 5.52 2/199 5833 /proc/meminfo: memFree=6829680/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/statm: 2378 345 289 221 0 87 0 [pid=5813] ppid=5811 vsize=26006188 memory=20248996 CPUtime=482.53 cores=0-7 /proc/5813/stat : 5813 (java) S 5811 5811 1674 0 -1 1077944320 1437473 0 0 0 45175 3078 0 0 20 0 20 0 151920693 26630336512 5062249 33554432000 4194304 4196468 140733966193792 140733966176336 139894971064055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 /proc/5813/statm: 6501547 5062249 3257 1 0 6488781 0 [pid=5813/tid=5814] ppid=5811 vsize=26006188 memory=0 CPUtime=186.45 cores=0-7 /proc/5813/task/5814/stat : 5814 (java) S 5811 5811 1674 0 -1 1077944384 146074 0 0 0 18578 67 0 0 20 0 20 0 151920693 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894975302256 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5815] ppid=5811 vsize=26006188 memory=0 CPUtime=35.59 cores=0-7 /proc/5813/task/5815/stat : 5815 (java) S 5811 5811 1674 0 -1 1077944384 84847 0 0 0 3197 362 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894938622480 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5816] ppid=5811 vsize=26006188 memory=45 CPUtime=35.88 cores=0-7 /proc/5813/task/5816/stat : 5816 (java) S 5811 5811 1674 0 -1 1077944384 276722 0 0 0 3212 376 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894527756944 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5817] ppid=5811 vsize=26006188 memory=0 CPUtime=35.7 cores=0-7 /proc/5813/task/5817/stat : 5817 (java) S 5811 5811 1674 0 -1 1077944384 94840 0 0 0 3215 355 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894526703888 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5818] ppid=5811 vsize=26006188 memory=6944656592455097440 CPUtime=35.72 cores=0-7 /proc/5813/task/5818/stat : 5818 (java) S 5811 5811 1674 0 -1 1077944384 100143 0 0 0 3216 356 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894525651344 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5819] ppid=5811 vsize=26006188 memory=6944656592455875178 CPUtime=35.82 cores=0-7 /proc/5813/task/5819/stat : 5819 (java) S 5811 5811 1674 0 -1 1077944384 98248 0 0 0 3216 366 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894524599312 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5820] ppid=5811 vsize=26006188 memory=279476408525081 CPUtime=35.67 cores=0-7 /proc/5813/task/5820/stat : 5820 (java) S 5811 5811 1674 0 -1 1077944384 179253 0 0 0 3164 403 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894523546768 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5821] ppid=5811 vsize=26006188 memory=0 CPUtime=35.87 cores=0-7 /proc/5813/task/5821/stat : 5821 (java) S 5811 5811 1674 0 -1 1077944384 292572 0 0 0 3207 380 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894522493712 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5822] ppid=5811 vsize=26006188 memory=4420 CPUtime=35.59 cores=0-7 /proc/5813/task/5822/stat : 5822 (java) S 5811 5811 1674 0 -1 1077944384 76774 0 0 0 3192 367 0 0 20 0 20 0 151920694 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139894521441168 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5823] ppid=5811 vsize=26006188 memory=3988 CPUtime=7.95 cores=0-7 /proc/5813/task/5823/stat : 5823 (java) R 5811 5811 1674 0 -1 4202560 70232 0 0 0 764 31 0 0 20 0 20 0 151920695 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893176160992 139894956060459 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5824] ppid=5811 vsize=26006188 memory=6196 CPUtime=0 cores=0-7 /proc/5813/task/5824/stat : 5824 (java) S 5811 5811 1674 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893175108832 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5825] ppid=5811 vsize=26006188 memory=139744085464703 CPUtime=0 cores=0-7 /proc/5813/task/5825/stat : 5825 (java) S 5811 5811 1674 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151920696 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893174055680 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5826] ppid=5811 vsize=26006188 memory=3054156605651173440 CPUtime=0 cores=0-7 /proc/5813/task/5826/stat : 5826 (java) S 5811 5811 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893173004240 139894971082651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5827] ppid=5811 vsize=26006188 memory=6655300316396806240 CPUtime=0.45 cores=0-7 /proc/5813/task/5827/stat : 5827 (java) S 5811 5811 1674 0 -1 1077944384 3650 0 0 0 44 1 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893171952416 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5828] ppid=5811 vsize=26006188 memory=736956504416158874 CPUtime=0.56 cores=0-7 /proc/5813/task/5828/stat : 5828 (java) S 5811 5811 1674 0 -1 1077944384 3443 0 0 0 55 1 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893170899872 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5829] ppid=5811 vsize=26006188 memory=-7240610417374236256 CPUtime=0.62 cores=0-7 /proc/5813/task/5829/stat : 5829 (java) S 5811 5811 1674 0 -1 1077944384 4339 0 0 0 61 1 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893169846528 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5830] ppid=5811 vsize=26006188 memory=1732 CPUtime=0.37 cores=0-7 /proc/5813/task/5830/stat : 5830 (java) S 5811 5811 1674 0 -1 1077944384 4102 0 0 0 36 1 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893168794272 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5831] ppid=5811 vsize=26006188 memory=1948 CPUtime=0 cores=0-7 /proc/5813/task/5831/stat : 5831 (java) S 5811 5811 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893167741408 139894971074261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 [pid=5813/tid=5832] ppid=5811 vsize=26006188 memory=800 CPUtime=0.12 cores=0-7 /proc/5813/task/5832/stat : 5832 (java) S 5811 5811 1674 0 -1 1077944384 811 0 0 0 5 7 0 0 20 0 20 0 151920699 26630336512 5062249 33554432000 4194304 4196468 140733966193792 139893166688944 139894971075202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15298560 140733966202008 140733966202184 140733966202184 140733966204879 0 Current children cumulated CPU time: 482.53 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20250376 KiB [startup+231.001 s]* /proc/loadavg: 1.99 4.00 5.52 2/181 5834 /proc/meminfo: memFree=15826828/32770624 swapFree=67108860/67108860 [pid=5811] ppid=5808 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5811/stat : 5811 (xcsp3-exec) S 5808 5811 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151920693 9740288 345 33554432000 4194304 5098028 140722605305232 140722605303336 140533021848188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23846912 140722605306987 140722605307196 140722605307196 140722605309931 0 /proc/5811/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): 231.048 CPU time (s): 482.785 CPU user time (s): 451.872 CPU system time (s): 30.9137 CPU usage (%): 208.955 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 20250376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 451.872 system time used= 30.9137 maximum resident set size= 20249360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1438220 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33919 involuntary context switches= 5300 # summary of solver processes directly reported to runsolver: # pid: 5811 # total CPU time (s): 482.785 # total CPU user time (s): 451.872 # total CPU system time (s): 30.9137 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.64679 second user time and 2.62211 second system time The end
Begin job on node113 at 2017-08-20 02:04:32 IDJOB=4281291 IDBENCH=138054 IDSOLVER=2676 FILE ID=node113/4281291-1503188332 RUNJOBID= node113-1503181653-1704 PBS_JOBID= 20630852 Free space on /tmp= 61604 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-10.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-4281291-1503188332/watcher-4281291-1503188332 -o /tmp/evaluation-result-4281291-1503188332/solver-4281291-1503188332 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 976855739 HOME/instance-4281291-1503188332.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67f07639019614dd1d008c87f8253383 RANDOM SEED=976855739 node113.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.89 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.89 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.89 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.89 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: 27104732 kB MemAvailable: 31971660 kB Buffers: 255544 kB Cached: 4901120 kB SwapCached: 0 kB Active: 1347144 kB Inactive: 3862900 kB Active(anon): 3520 kB Inactive(anon): 85928 kB Active(file): 1343624 kB Inactive(file): 3776972 kB Unevictable: 7476 kB Mlocked: 7476 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 97656 kB Writeback: 0 kB AnonPages: 60820 kB Mapped: 51272 kB Shmem: 33416 kB Slab: 150844 kB SReclaimable: 124332 kB SUnreclaim: 26512 kB KernelStack: 3216 kB PageTables: 4752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333388 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: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61596 MiB End job on node113 at 2017-08-20 02:08:23