Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? | 493.84399 | 250.618 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml |
MD5SUM | 67f07639019614dd1d008c87f8253383 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 679.95697 |
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-4270491-1502808713.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270491-1502808713.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 493.61/250.48 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 493.61/250.48 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 493.61/250.48 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 493.61/250.48 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857) 493.61/250.48 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813) 493.61/250.48 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 493.61/250.48 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 493.61/250.48 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 493.61/250.48 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 493.61/250.48 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 493.61/250.48 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 493.61/250.48 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 493.61/250.48 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 493.61/250.48 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 493.61/250.48 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 493.61/250.48 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 493.61/250.48 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 493.61/250.48 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 493.61/250.48 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 493.61/250.48 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 493.61/250.48 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 493.61/250.48 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 493.61/250.48 s UNKNOWN 493.61/250.48 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 (13314 MiB free) memory of node 1: 16384 MiB (13696 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270491-1502808713/watcher-4270491-1502808713 -o /tmp/evaluation-result-4270491-1502808713/solver-4270491-1502808713 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502796940-15499 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 982021085 HOME/instance-4270491-1502808713.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16408, runsolver pid=16405 Current StackSize limit: 8192 KiB [startup+0.102236 s]* /proc/loadavg: 4.84 3.14 2.22 3/199 16429 /proc/meminfo: memFree=27643152/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=25999808 memory=26788 CPUtime=0.12 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 5647 0 0 0 10 2 0 0 20 0 20 0 113952184 26623803392 6697 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6499952 6697 2849 1 0 6488269 0 [pid=16410/tid=16411] ppid=16408 vsize=25999808 memory=7969852298701478296 CPUtime=0.09 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) R 16408 16408 15472 0 -1 4202560 3643 0 0 0 8 1 0 0 20 0 20 0 113952184 26623803392 6697 33554432000 4194304 4196468 140736402827888 139800067047256 139800062840214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=25999808 memory=732369947563965413 CPUtime=0 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799985408912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=25999808 memory=139809226512000 CPUtime=0 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799984356112 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799983303824 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799982251024 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799981197712 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799980144912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799979092624 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799613692432 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952186 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799190055536 139800062839426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 113952187 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799189001504 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 113952187 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799187949168 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) S 16408 16408 15472 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 113952189 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799185844336 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 113952189 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799184791536 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799183739248 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) R 16408 16408 15472 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 113952190 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799182686448 139800044065840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952190 26623803392 6697 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28168 KiB [startup+0.210542 s]* /proc/loadavg: 4.84 3.14 2.22 4/199 16429 /proc/meminfo: memFree=27634656/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26004064 memory=38656 CPUtime=0.33 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 8233 0 0 0 30 3 0 0 20 0 20 0 113952184 26628161536 9664 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501016 9664 3052 1 0 6488269 0 [pid=16410/tid=16411] ppid=16408 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) R 16408 16408 15472 0 -1 4202560 5410 0 0 0 17 2 0 0 20 0 20 0 113952184 26628161536 9664 33554432000 4194304 4196468 140736402827888 139800067049272 139800062850205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26004064 memory=279618330842872 CPUtime=0 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799985408912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26004064 memory=139809226512000 CPUtime=0 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799984356112 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799983303824 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799982251024 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799981197712 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799980144912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799979092624 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799613692432 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952186 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799190055536 139800062839426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 113952187 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799189001504 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 113952187 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799187949168 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) S 16408 16408 15472 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 20 0 113952189 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799185844336 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 113952189 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799184791536 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) S 16408 16408 15472 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 113952189 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799183739248 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) S 16408 16408 15472 0 -1 1077944384 696 0 0 0 7 0 0 0 20 0 20 0 113952190 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799182686448 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952190 26628161536 9664 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40036 KiB [startup+0.310313 s]* /proc/loadavg: 4.84 3.14 2.22 3/199 16429 /proc/meminfo: memFree=27626032/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26004064 memory=45836 CPUtime=0.48 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 9172 0 0 0 45 3 0 0 20 0 20 0 113952184 26628161536 11459 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501016 11459 3080 1 0 6488269 0 [pid=16410/tid=16411] ppid=16408 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) R 16408 16408 15472 0 -1 4202560 6079 0 0 0 27 2 0 0 20 0 20 0 113952184 26628161536 11459 33554432000 4194304 4196468 140736402827888 139800067058288 139800062850205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799985408912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799984356112 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799983303824 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799982251024 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799981197712 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=26004064 memory=139809104425903 CPUtime=0 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799980144912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=26004064 memory=139809104428208 CPUtime=0 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799979092624 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=26004064 memory=139809104430512 CPUtime=0 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952185 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799613692432 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) S 16408 16408 15472 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 113952186 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799190055536 139800062839426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=26004064 memory=279618208867984 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 113952187 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799189001504 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=26004064 memory=279618208874896 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 113952187 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799187949168 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=26004064 memory=279618208816176 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=26004064 memory=279618208888720 CPUtime=0.02 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) R 16408 16408 15472 0 -1 4202560 557 0 0 0 2 0 0 0 20 0 20 0 113952189 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799185844336 139800044137536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=26004064 memory=279618208895632 CPUtime=0.01 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 113952189 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799184791536 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=26004064 memory=279618208893328 CPUtime=0.02 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) R 16408 16408 15472 0 -1 4202560 176 0 0 0 2 0 0 0 20 0 20 0 113952189 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799183739248 139800055813321 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=26004064 memory=279618208909488 CPUtime=0.12 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) S 16408 16408 15472 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 113952190 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799182686448 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952190 26628161536 11459 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47216 KiB [startup+0.701437 s] /proc/loadavg: 4.84 3.14 2.22 9/199 16429 /proc/meminfo: memFree=27418900/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26004140 memory=372964 CPUtime=1.62 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 11212 0 0 0 114 48 0 0 20 0 20 0 113952184 26628239360 93241 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501035 93241 3178 1 0 6488269 0 [pid=16410/tid=16411] ppid=16408 vsize=26004140 memory=279618209204352 CPUtime=0.58 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) S 16408 16408 15472 0 -1 1077944384 6408 0 0 0 52 6 0 0 20 0 20 0 113952184 26628239360 93241 33554432000 4194304 4196468 140736402827888 139800067065760 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26004140 memory=1224 CPUtime=0.07 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) R 16408 16408 15472 0 -1 4202560 91 0 0 0 3 4 0 0 20 0 20 0 113952185 26628239360 93241 33554432000 4194304 4196468 140736402827888 139799985408912 139800055930996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26004140 memory=12032 CPUtime=0.07 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) R 16408 16408 15472 0 -1 4202560 90 0 0 0 2 5 0 0 20 0 20 0 113952185 26628239360 93241 33554432000 4194304 4196468 140736402827888 139799984356112 139800055930996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26004140 memory=5792 CPUtime=0.06 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) R 16408 16408 15472 0 -1 4202560 67 0 0 0 2 4 0 0 20 0 20 0 113952185 26628239360 93241 33554432000 4194304 4196468 140736402827888 139799983303944 139800055930996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 ################ # More data... # ################ [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26006188 memory=20518488 CPUtime=481.49 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 1266386 0 0 0 44895 3254 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501547 5129622 3257 1 0 6488781 0 [pid=16410/tid=16411] ppid=16408 vsize=26006188 memory=6791534058613427641 CPUtime=205.83 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) S 16408 16408 15472 0 -1 1077944384 181289 0 0 0 20491 92 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139800067066480 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26006188 memory=-7003737579269690708 CPUtime=33.23 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) R 16408 16408 15472 0 -1 4202560 445620 0 0 0 2879 444 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799985409112 139800055931283 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26006188 memory=20518488 CPUtime=33.21 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) R 16408 16408 15472 0 -1 4202560 58435 0 0 0 2934 387 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799984355920 139800055456487 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26006188 memory=6791534058613427641 CPUtime=32.91 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) R 16408 16408 15472 0 -1 4202560 75221 0 0 0 2941 350 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799983303632 139800055456487 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=26006188 memory=-7003737579269690708 CPUtime=33.17 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) R 16408 16408 15472 0 -1 4202560 121178 0 0 0 2919 398 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799982250832 139800055456487 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=26006188 memory=4952 CPUtime=33.24 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) R 16408 16408 15472 0 -1 4202560 89762 0 0 0 2922 402 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799981197832 139800055456487 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=26006188 memory=4096 CPUtime=33.09 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) R 16408 16408 15472 0 -1 4202560 74749 0 0 0 2917 392 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799980145032 139800055456487 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=26006188 memory=1156 CPUtime=33.07 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) R 16408 16408 15472 0 -1 4202560 61834 0 0 0 2926 381 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799979092432 139800055456487 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=26006188 memory=6791534058613427641 CPUtime=33.06 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) R 16408 16408 15472 0 -1 4202560 81464 0 0 0 2933 373 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799613692240 139800055456487 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=26006188 memory=4715433313220523562 CPUtime=8.42 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) S 16408 16408 15472 0 -1 1077944384 59352 0 0 0 823 19 0 0 20 0 20 0 113952186 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799190054096 139800062838485 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=26006188 memory=-8412652177879177843 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799189001568 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=26006188 memory=-8341965534556230502 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799187949184 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=26006188 memory=8514726395714825349 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=26006188 memory=0 CPUtime=0.53 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) S 16408 16408 15472 0 -1 1077944384 4171 0 0 0 51 2 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799185844384 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=26006188 memory=0 CPUtime=0.56 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 3090 0 0 0 55 1 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799184791584 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=26006188 memory=279618210607776 CPUtime=0.55 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) S 16408 16408 15472 0 -1 1077944384 4182 0 0 0 55 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799183739296 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=26006188 memory=1380 CPUtime=0.36 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) S 16408 16408 15472 0 -1 1077944384 3873 0 0 0 35 1 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799182686208 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=26006188 memory=20518488 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=26006188 memory=6791534058613427641 CPUtime=0.13 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 780 0 0 0 7 6 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 481.49 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20519868 KiB [startup+249.601 s] /proc/loadavg: 2.74 2.66 2.23 9/200 16437 /proc/meminfo: memFree=7113100/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26006188 memory=20518488 CPUtime=492.81 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 1328382 0 0 0 45999 3282 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501547 5129622 3257 1 0 6488781 0 [pid=16410/tid=16411] ppid=16408 vsize=26006188 memory=4144 CPUtime=205.83 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) S 16408 16408 15472 0 -1 1077944384 181289 0 0 0 20491 92 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139800067066480 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26006188 memory=1380 CPUtime=34.68 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) S 16408 16408 15472 0 -1 1077944384 507614 0 0 0 3001 467 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799985408912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26006188 memory=20518456 CPUtime=34.6 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) S 16408 16408 15472 0 -1 1077944384 58435 0 0 0 3073 387 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799984356112 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26006188 memory=1380 CPUtime=34.3 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) S 16408 16408 15472 0 -1 1077944384 75221 0 0 0 3080 350 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799983303824 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=26006188 memory=1380 CPUtime=34.55 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) S 16408 16408 15472 0 -1 1077944384 121178 0 0 0 3055 400 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799982251024 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=26006188 memory=4144 CPUtime=34.63 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) S 16408 16408 15472 0 -1 1077944384 89762 0 0 0 3060 403 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799981197712 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=26006188 memory=32312 CPUtime=34.5 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) S 16408 16408 15472 0 -1 1077944384 74749 0 0 0 3057 393 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799980144912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=26006188 memory=20518488 CPUtime=34.46 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) S 16408 16408 15472 0 -1 1077944384 61834 0 0 0 3063 383 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799979092624 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=26006188 memory=1380 CPUtime=34.46 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) S 16408 16408 15472 0 -1 1077944384 81464 0 0 0 3072 374 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799613692432 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=26006188 memory=20518488 CPUtime=8.56 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) R 16408 16408 15472 0 -1 4202560 59352 0 0 0 837 19 0 0 20 0 20 0 113952186 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799190054096 139800047528995 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=26006188 memory=1224 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799189001568 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=26006188 memory=12032 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799187949184 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=26006188 memory=5792 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=26006188 memory=1380 CPUtime=0.53 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) S 16408 16408 15472 0 -1 1077944384 4171 0 0 0 51 2 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799185844384 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=26006188 memory=20518456 CPUtime=0.56 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 3090 0 0 0 55 1 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799184791584 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=26006188 memory=1436 CPUtime=0.55 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) S 16408 16408 15472 0 -1 1077944384 4182 0 0 0 55 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799183739296 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=26006188 memory=1296 CPUtime=0.36 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) S 16408 16408 15472 0 -1 1077944384 3873 0 0 0 35 1 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799182686208 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=26006188 memory=2408 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=26006188 memory=1732 CPUtime=0.13 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 780 0 0 0 7 6 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 492.81 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20519868 KiB [startup+250.401 s] /proc/loadavg: 2.74 2.66 2.23 2/200 16437 /proc/meminfo: memFree=7113176/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/statm: 2378 345 289 221 0 87 0 [pid=16410] ppid=16408 vsize=26006188 memory=20518488 CPUtime=493.61 cores=0-7 /proc/16410/stat : 16410 (java) S 16408 16408 15472 0 -1 1077944320 1330523 0 0 0 46079 3282 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 140736402810432 139800062828279 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 /proc/16410/statm: 6501547 5129622 3257 1 0 6488781 0 [pid=16410/tid=16411] ppid=16408 vsize=26006188 memory=4048 CPUtime=205.83 cores=0-7 /proc/16410/task/16411/stat : 16411 (java) S 16408 16408 15472 0 -1 1077944384 181289 0 0 0 20491 92 0 0 20 0 20 0 113952184 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139800067066480 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16412] ppid=16408 vsize=26006188 memory=6791534058613427641 CPUtime=34.68 cores=0-7 /proc/16410/task/16412/stat : 16412 (java) S 16408 16408 15472 0 -1 1077944384 507614 0 0 0 3001 467 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799985408912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16413] ppid=16408 vsize=26006188 memory=4952 CPUtime=34.6 cores=0-7 /proc/16410/task/16413/stat : 16413 (java) S 16408 16408 15472 0 -1 1077944384 58435 0 0 0 3073 387 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799984356112 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16414] ppid=16408 vsize=26006188 memory=4096 CPUtime=34.3 cores=0-7 /proc/16410/task/16414/stat : 16414 (java) S 16408 16408 15472 0 -1 1077944384 75221 0 0 0 3080 350 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799983303824 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16415] ppid=16408 vsize=26006188 memory=1156 CPUtime=34.55 cores=0-7 /proc/16410/task/16415/stat : 16415 (java) S 16408 16408 15472 0 -1 1077944384 121178 0 0 0 3055 400 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799982251024 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16416] ppid=16408 vsize=26006188 memory=796 CPUtime=34.63 cores=0-7 /proc/16410/task/16416/stat : 16416 (java) S 16408 16408 15472 0 -1 1077944384 89762 0 0 0 3060 403 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799981197712 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16417] ppid=16408 vsize=26006188 memory=1436 CPUtime=34.5 cores=0-7 /proc/16410/task/16417/stat : 16417 (java) S 16408 16408 15472 0 -1 1077944384 74749 0 0 0 3057 393 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799980144912 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16418] ppid=16408 vsize=26006188 memory=1012 CPUtime=34.46 cores=0-7 /proc/16410/task/16418/stat : 16418 (java) S 16408 16408 15472 0 -1 1077944384 61834 0 0 0 3063 383 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799979092624 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16419] ppid=16408 vsize=26006188 memory=1712 CPUtime=34.46 cores=0-7 /proc/16410/task/16419/stat : 16419 (java) S 16408 16408 15472 0 -1 1077944384 81464 0 0 0 3072 374 0 0 20 0 20 0 113952185 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799613692432 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16420] ppid=16408 vsize=26006188 memory=1952 CPUtime=9.36 cores=0-7 /proc/16410/task/16420/stat : 16420 (java) R 16408 16408 15472 0 -1 4202560 61494 0 0 0 917 19 0 0 20 0 20 0 113952186 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799190053984 139800041198440 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16421] ppid=16408 vsize=26006188 memory=1156 CPUtime=0 cores=0-7 /proc/16410/task/16421/stat : 16421 (java) S 16408 16408 15472 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799189001568 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16422] ppid=16408 vsize=26006188 memory=3348 CPUtime=0 cores=0-7 /proc/16410/task/16422/stat : 16422 (java) S 16408 16408 15472 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 20 0 113952187 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799187949184 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16423] ppid=16408 vsize=26006188 memory=1380 CPUtime=0 cores=0-7 /proc/16410/task/16423/stat : 16423 (java) S 16408 16408 15472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799186897488 139800062846875 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16424] ppid=16408 vsize=26006188 memory=20518488 CPUtime=0.53 cores=0-7 /proc/16410/task/16424/stat : 16424 (java) S 16408 16408 15472 0 -1 1077944384 4171 0 0 0 51 2 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799185844384 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16425] ppid=16408 vsize=26006188 memory=6944656592455360604 CPUtime=0.56 cores=0-7 /proc/16410/task/16425/stat : 16425 (java) S 16408 16408 15472 0 -1 1077944384 3090 0 0 0 55 1 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799184791584 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16426] ppid=16408 vsize=26006188 memory=288230574492221466 CPUtime=0.55 cores=0-7 /proc/16410/task/16426/stat : 16426 (java) S 16408 16408 15472 0 -1 1077944384 4182 0 0 0 55 0 0 0 20 0 20 0 113952189 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799183739296 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16427] ppid=16408 vsize=26006188 memory=288230621803970871 CPUtime=0.36 cores=0-7 /proc/16410/task/16427/stat : 16427 (java) S 16408 16408 15472 0 -1 1077944384 3873 0 0 0 35 1 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799182686208 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16428] ppid=16408 vsize=26006188 memory=1380 CPUtime=0 cores=0-7 /proc/16410/task/16428/stat : 16428 (java) S 16408 16408 15472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799181634400 139800062838485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 [pid=16410/tid=16429] ppid=16408 vsize=26006188 memory=20518488 CPUtime=0.13 cores=0-7 /proc/16410/task/16429/stat : 16429 (java) S 16408 16408 15472 0 -1 1077944384 780 0 0 0 7 6 0 0 20 0 20 0 113952190 26630336512 5129622 33554432000 4194304 4196468 140736402827888 139799180581680 139800062839426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18939904 140736402830482 140736402830659 140736402830659 140736402833359 0 Current children cumulated CPU time: 493.61 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 20519868 KiB [startup+250.6 s] /proc/loadavg: 2.74 2.66 2.23 2/200 16437 /proc/meminfo: memFree=7113176/32770624 swapFree=67108860/67108860 [pid=16408] ppid=16405 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/16408/stat : 16408 (xcsp3-exec) S 16405 16408 15472 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 113952183 9740288 345 33554432000 4194304 5098028 140725424795264 140725424793368 140348342661756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24645632 140725424796773 140725424796983 140725424796983 140725424799723 0 /proc/16408/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): 250.618 CPU time (s): 493.844 CPU user time (s): 460.879 CPU system time (s): 32.9649 CPU usage (%): 197.051 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 20519868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 460.879 system time used= 32.9649 maximum resident set size= 20518856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1331518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 488 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35141 involuntary context switches= 8406 # summary of solver processes directly reported to runsolver: # pid: 16408 # total CPU time (s): 493.844 # total CPU user time (s): 460.879 # total CPU system time (s): 32.9649 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.78499 second user time and 2.76889 second system time The end
Begin job on node149 at 2017-08-15 16:37:34 IDJOB=4270491 IDBENCH=138054 IDSOLVER=2662 FILE ID=node149/4270491-1502808713 RUNJOBID= node149-1502796940-15499 PBS_JOBID= 20629816 Free space on /tmp= 61852 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-4270491-1502808713/watcher-4270491-1502808713 -o /tmp/evaluation-result-4270491-1502808713/solver-4270491-1502808713 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502796940-15499 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 982021085 HOME/instance-4270491-1502808713.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67f07639019614dd1d008c87f8253383 RANDOM SEED=982021085 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27659852 kB MemAvailable: 31969232 kB Buffers: 323632 kB Cached: 4258080 kB SwapCached: 0 kB Active: 1282596 kB Inactive: 3353712 kB Active(anon): 57556 kB Inactive(anon): 24956 kB Active(file): 1225040 kB Inactive(file): 3328756 kB Unevictable: 6348 kB Mlocked: 6348 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 97724 kB Writeback: 0 kB AnonPages: 60872 kB Mapped: 46156 kB Shmem: 25224 kB Slab: 169736 kB SReclaimable: 142840 kB SUnreclaim: 26896 kB KernelStack: 3168 kB PageTables: 4584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324320 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: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61844 MiB End job on node149 at 2017-08-15 16:41:45