Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? | 476.11099 | 211.44299 |
Name | BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml |
MD5SUM | afde4c54681b724bee939c95254967be |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 240.12199 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 109 |
Number of constraints | 21 |
Number of domains | 2 |
Minimum domain size | 19 |
Maximum domain size | 43 |
Distribution of domain sizes | [{"size":19,"count":1},{"size":43,"count":108}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":90},{"degree":4,"count":18}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 108 |
Distribution of constraint arities | [{"arity":6,"count":18},{"arity":19,"count":1},{"arity":108,"count":2}] |
Number of extensional constraints | 18 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":18},{"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-4271479-1502646463.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271479-1502646463.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 446.45/206.73 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 446.45/206.73 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 446.45/206.73 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 446.45/206.73 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857) 475.86/211.30 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813) 475.86/211.30 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 475.86/211.30 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 475.86/211.30 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 475.86/211.30 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 475.86/211.30 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 475.86/211.30 at org.xcsp.parser.XCallbacks$$Lambda$70/280884709.accept(Unknown Source) 475.86/211.30 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 475.86/211.30 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 475.86/211.30 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 475.86/211.30 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 475.86/211.30 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 475.86/211.30 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 475.86/211.30 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 475.86/211.30 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 475.86/211.30 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 475.86/211.30 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 475.86/211.30 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 475.96/211.30 s UNKNOWN 475.96/211.30 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 (15195 MiB free) memory of node 1: 16384 MiB (15603 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271479-1502646463/watcher-4271479-1502646463 -o /tmp/evaluation-result-4271479-1502646463/solver-4271479-1502646463 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1934609969 HOME/instance-4271479-1502646463.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27434, runsolver pid=27431 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 7.56 7.11 6.57 2/200 27455 /proc/meminfo: memFree=31523508/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=25999808 memory=26252 CPUtime=0.11 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 5507 0 0 0 10 1 0 0 20 0 20 0 97734594 26623803392 6563 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6499952 6563 2845 1 0 6488269 0 [pid=27436/tid=27437] ppid=27434 vsize=25999808 memory=7970134873189818266 CPUtime=0.09 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) R 27434 27434 8183 0 -1 4202560 3506 0 0 0 8 1 0 0 20 0 20 0 97734594 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508536518448 140508532297110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=25999808 memory=732369920129981413 CPUtime=0 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508454865552 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=25999808 memory=139781792528000 CPUtime=0 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508453812752 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508452759952 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508451707152 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508450655376 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508449602576 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508448549776 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26623803392 6563 33554432000 4194304 4196468 140737340896128 140508447496976 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734597 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506938771824 140508532296322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97734597 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506937717792 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97734597 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506936664944 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) R 27434 27434 8183 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506931403248 140508524522302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26623803392 6563 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27632 KiB [startup+0.210364 s]* /proc/loadavg: 7.56 7.11 6.57 2/200 27455 /proc/meminfo: memFree=31511196/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26004064 memory=38876 CPUtime=0.33 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 8308 0 0 0 31 2 0 0 20 0 20 0 97734594 26628161536 9719 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501016 9719 3040 1 0 6488269 0 [pid=27436/tid=27437] ppid=27434 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) R 27434 27434 8183 0 -1 4202560 5401 0 0 0 18 1 0 0 20 0 20 0 97734594 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508536508080 140508488887683 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26004064 memory=732369920129981413 CPUtime=0 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508454865552 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26004064 memory=139781792528000 CPUtime=0 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508453812752 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508452759952 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508451707152 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508450655376 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508449602576 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508448549776 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 9719 33554432000 4194304 4196468 140737340896128 140508447496976 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506938771824 140508532296322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506937717792 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506936664944 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) S 27434 27434 8183 0 -1 1077944384 780 0 0 0 7 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506931403248 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 9719 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40256 KiB [startup+0.309639 s]* /proc/loadavg: 7.56 7.11 6.57 2/200 27455 /proc/meminfo: memFree=31506824/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26004064 memory=45832 CPUtime=0.49 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 9147 0 0 0 46 3 0 0 20 0 20 0 97734594 26628161536 11458 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501016 11458 3072 1 0 6488269 0 [pid=27436/tid=27437] ppid=27434 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) R 27434 27434 8183 0 -1 4202560 6074 0 0 0 27 2 0 0 20 0 20 0 97734594 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508536522688 140508127134926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508454865552 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508453812752 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508452759952 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508451707152 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508450655376 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=26004064 memory=139781656900527 CPUtime=0 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508449602576 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=26004064 memory=139781656902832 CPUtime=0 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508448549776 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=26004064 memory=139781656905136 CPUtime=0 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734595 26628161536 11458 33554432000 4194304 4196468 140737340896128 140508447496976 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) S 27434 27434 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506938771824 140508532296322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=26004064 memory=279563313817232 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506937717792 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=26004064 memory=279563313824144 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97734597 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506936664944 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=26004064 memory=279563313765424 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=26004064 memory=279563313837968 CPUtime=0.01 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=26004064 memory=279563313844880 CPUtime=0.02 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=26004064 memory=279563313842576 CPUtime=0.03 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 154 0 0 0 3 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=26004064 memory=279563313858736 CPUtime=0.11 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) R 27434 27434 8183 0 -1 4202560 876 0 0 0 11 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506931403248 140508511238817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26628161536 11458 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47212 KiB [startup+0.700905 s] /proc/loadavg: 7.56 7.11 6.57 9/200 27455 /proc/meminfo: memFree=31267664/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26004140 memory=514144 CPUtime=1.26 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 10569 0 0 0 94 32 0 0 20 0 20 0 97734594 26628239360 128536 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501035 128536 3146 1 0 6488269 0 [pid=27436/tid=27437] ppid=27434 vsize=26004140 memory=279563314153664 CPUtime=0.62 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) R 27434 27434 8183 0 -1 4202560 6770 0 0 0 54 8 0 0 20 0 20 0 97734594 26628239360 128536 33554432000 4194304 4196468 140737340896128 140508536520848 140508128921939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26004140 memory=1012 CPUtime=0.02 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) S 27434 27434 8183 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 97734595 26628239360 128536 33554432000 4194304 4196468 140737340896128 140508454865552 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26004140 memory=1716 CPUtime=0.04 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) S 27434 27434 8183 0 -1 1077944384 58 0 0 0 2 2 0 0 20 0 20 0 97734595 26628239360 128536 33554432000 4194304 4196468 140737340896128 140508453812752 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26004140 memory=5792 CPUtime=0.01 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) S 27434 27434 8183 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 20 0 97734595 26628239360 128536 33554432000 4194304 4196468 140737340896128 140508452759952 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 ################ # More data... # ################ [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26006188 memory=22439344 CPUtime=468.8 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 1183814 0 0 0 43037 3843 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501547 5609836 3259 1 0 6488781 0 [pid=27436/tid=27437] ppid=27434 vsize=26006188 memory=1380 CPUtime=162.67 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) S 27434 27434 8183 0 -1 1077944384 93139 0 0 0 16210 57 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508536525040 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26006188 memory=15131260 CPUtime=36.85 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) R 27434 27434 8183 0 -1 4202560 36334 0 0 0 3223 462 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508454865360 140508524913383 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26006188 memory=1196 CPUtime=36.89 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) R 27434 27434 8183 0 -1 4202560 368932 0 0 0 3196 493 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508453812560 140508524913383 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26006188 memory=1380 CPUtime=36.67 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) R 27434 27434 8183 0 -1 4202560 40935 0 0 0 3187 480 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508452759760 140508525388267 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=26006188 memory=22439344 CPUtime=36.76 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) R 27434 27434 8183 0 -1 4202560 70142 0 0 0 3250 426 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508451706960 140508524913383 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=26006188 memory=928 CPUtime=36.89 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) R 27434 27434 8183 0 -1 4202560 71919 0 0 0 3222 467 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508450655184 140508524913383 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=26006188 memory=1568 CPUtime=36.82 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) R 27434 27434 8183 0 -1 4202560 83191 0 0 0 3204 478 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508449602696 140508524913383 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=26006188 memory=2240 CPUtime=36.93 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) R 27434 27434 8183 0 -1 4202560 249886 0 0 0 3246 447 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508448549584 140508524913383 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=26006188 memory=6791534058613427641 CPUtime=36.88 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) R 27434 27434 8183 0 -1 4202560 81311 0 0 0 3183 505 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508447496784 140508524913383 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=26006188 memory=19060 CPUtime=9.31 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) S 27434 27434 8183 0 -1 1077944384 68433 0 0 0 917 14 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506938770368 140508532295381 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=26006188 memory=-9181546050914066336 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506937717856 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=26006188 memory=-7378441852826056034 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506936664960 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=26006188 memory=7893295687695687739 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=26006188 memory=4140 CPUtime=0.57 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 5895 0 0 0 56 1 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=26006188 memory=28132 CPUtime=0.45 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 3333 0 0 0 45 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=26006188 memory=1296 CPUtime=0.52 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 3920 0 0 0 52 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=26006188 memory=2336 CPUtime=0.34 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) S 27434 27434 8183 0 -1 1077944384 4273 0 0 0 34 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506931403248 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=26006188 memory=1724 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=26006188 memory=1380 CPUtime=0.08 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 776 0 0 0 3 5 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 468.8 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22440724 KiB [startup+210.402 s] /proc/loadavg: 2.37 4.35 5.56 9/199 27455 /proc/meminfo: memFree=9071628/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26006188 memory=22439344 CPUtime=475.03 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 1183814 0 0 0 43658 3845 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501547 5609836 3259 1 0 6488781 0 [pid=27436/tid=27437] ppid=27434 vsize=26006188 memory=1380 CPUtime=162.67 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) S 27434 27434 8183 0 -1 1077944384 93139 0 0 0 16210 57 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508536525040 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26006188 memory=22439344 CPUtime=37.63 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) R 27434 27434 8183 0 -1 4202560 36334 0 0 0 3301 462 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508454865360 140508525388168 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26006188 memory=1380 CPUtime=37.66 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) R 27434 27434 8183 0 -1 4202560 368932 0 0 0 3273 493 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508453812560 140508524913383 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26006188 memory=22439344 CPUtime=37.47 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) R 27434 27434 8183 0 -1 4202560 40935 0 0 0 3267 480 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508452760072 140508525388154 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=26006188 memory=1296 CPUtime=37.54 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) R 27434 27434 8183 0 -1 4202560 70142 0 0 0 3328 426 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508451707272 140508525388161 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=26006188 memory=2336 CPUtime=37.66 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) R 27434 27434 8183 0 -1 4202560 71919 0 0 0 3299 467 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508450655184 140508524913383 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=26006188 memory=1724 CPUtime=37.58 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) R 27434 27434 8183 0 -1 4202560 83191 0 0 0 3280 478 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508449602696 140508525388168 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=26006188 memory=1012 CPUtime=37.71 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) R 27434 27434 8183 0 -1 4202560 249886 0 0 0 3323 448 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508448549584 140508525388161 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=26006188 memory=1716 CPUtime=37.67 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) R 27434 27434 8183 0 -1 4202560 81311 0 0 0 3261 506 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508447497096 140508525388168 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=26006188 memory=5792 CPUtime=9.31 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) S 27434 27434 8183 0 -1 1077944384 68433 0 0 0 917 14 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506938770368 140508532295381 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=26006188 memory=4616 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506937717856 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=26006188 memory=792 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506936664960 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=26006188 memory=1420 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=26006188 memory=13040 CPUtime=0.57 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 5895 0 0 0 56 1 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=26006188 memory=1944 CPUtime=0.45 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 3333 0 0 0 45 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=26006188 memory=956 CPUtime=0.52 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 3920 0 0 0 52 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=26006188 memory=2344 CPUtime=0.34 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) S 27434 27434 8183 0 -1 1077944384 4273 0 0 0 34 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506931403248 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=26006188 memory=1380 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=26006188 memory=22439344 CPUtime=0.08 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 776 0 0 0 3 5 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 475.03 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22440724 KiB [startup+211.201 s] /proc/loadavg: 2.37 4.35 5.56 2/199 27455 /proc/meminfo: memFree=9071628/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/statm: 2378 345 289 221 0 87 0 [pid=27436] ppid=27434 vsize=26006188 memory=22439344 CPUtime=475.86 cores=0-7 /proc/27436/stat : 27436 (java) S 27434 27434 8183 0 -1 1077944320 1184904 0 0 0 43741 3845 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140737340878672 140508532285175 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 /proc/27436/statm: 6501547 5609836 3259 1 0 6488781 0 [pid=27436/tid=27437] ppid=27434 vsize=26006188 memory=22439344 CPUtime=162.67 cores=0-7 /proc/27436/task/27437/stat : 27437 (java) S 27434 27434 8183 0 -1 1077944384 93139 0 0 0 16210 57 0 0 20 0 20 0 97734594 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508536525040 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27438] ppid=27434 vsize=26006188 memory=1380 CPUtime=37.64 cores=0-7 /proc/27436/task/27438/stat : 27438 (java) S 27434 27434 8183 0 -1 1077944384 36334 0 0 0 3302 462 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508454865552 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27439] ppid=27434 vsize=26006188 memory=22439344 CPUtime=37.67 cores=0-7 /proc/27436/task/27439/stat : 27439 (java) S 27434 27434 8183 0 -1 1077944384 368932 0 0 0 3274 493 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508453812752 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27440] ppid=27434 vsize=26006188 memory=6791534058613427641 CPUtime=37.48 cores=0-7 /proc/27436/task/27440/stat : 27440 (java) S 27434 27434 8183 0 -1 1077944384 40935 0 0 0 3268 480 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508452759952 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27441] ppid=27434 vsize=26006188 memory=22439344 CPUtime=37.54 cores=0-7 /proc/27436/task/27441/stat : 27441 (java) S 27434 27434 8183 0 -1 1077944384 70142 0 0 0 3328 426 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508451707152 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27442] ppid=27434 vsize=26006188 memory=6791534058613427641 CPUtime=37.67 cores=0-7 /proc/27436/task/27442/stat : 27442 (java) S 27434 27434 8183 0 -1 1077944384 71919 0 0 0 3300 467 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508450655376 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27443] ppid=27434 vsize=26006188 memory=4140 CPUtime=37.58 cores=0-7 /proc/27436/task/27443/stat : 27443 (java) S 27434 27434 8183 0 -1 1077944384 83191 0 0 0 3280 478 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508449602576 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27444] ppid=27434 vsize=26006188 memory=22439108 CPUtime=37.72 cores=0-7 /proc/27436/task/27444/stat : 27444 (java) S 27434 27434 8183 0 -1 1077944384 249886 0 0 0 3324 448 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508448549776 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27445] ppid=27434 vsize=26006188 memory=956 CPUtime=37.67 cores=0-7 /proc/27436/task/27445/stat : 27445 (java) S 27434 27434 8183 0 -1 1077944384 81311 0 0 0 3261 506 0 0 20 0 20 0 97734595 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140508447496976 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27446] ppid=27434 vsize=26006188 memory=2344 CPUtime=10.1 cores=0-7 /proc/27436/task/27446/stat : 27446 (java) R 27434 27434 8183 0 -1 4202560 69523 0 0 0 996 14 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506938770256 140508517281520 0 0 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27447] ppid=27434 vsize=26006188 memory=928 CPUtime=0 cores=0-7 /proc/27436/task/27447/stat : 27447 (java) S 27434 27434 8183 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506937717856 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27448] ppid=27434 vsize=26006188 memory=1568 CPUtime=0 cores=0-7 /proc/27436/task/27448/stat : 27448 (java) S 27434 27434 8183 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 20 0 97734597 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506936664960 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27449] ppid=27434 vsize=26006188 memory=139781792527999 CPUtime=0 cores=0-7 /proc/27436/task/27449/stat : 27449 (java) S 27434 27434 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506935613264 140508532303771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27450] ppid=27434 vsize=26006188 memory=9051283677730746851 CPUtime=0.57 cores=0-7 /proc/27436/task/27450/stat : 27450 (java) S 27434 27434 8183 0 -1 1077944384 5895 0 0 0 56 1 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506934561648 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27451] ppid=27434 vsize=26006188 memory=-2892745056948402235 CPUtime=0.45 cores=0-7 /proc/27436/task/27451/stat : 27451 (java) S 27434 27434 8183 0 -1 1077944384 3333 0 0 0 45 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506933508848 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27452] ppid=27434 vsize=26006188 memory=-7751062316387021378 CPUtime=0.52 cores=0-7 /proc/27436/task/27452/stat : 27452 (java) S 27434 27434 8183 0 -1 1077944384 3920 0 0 0 52 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506932456048 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27453] ppid=27434 vsize=26006188 memory=-3621219715169225006 CPUtime=0.34 cores=0-7 /proc/27436/task/27453/stat : 27453 (java) S 27434 27434 8183 0 -1 1077944384 4273 0 0 0 34 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506931403248 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27454] ppid=27434 vsize=26006188 memory=7013339849883594819 CPUtime=0 cores=0-7 /proc/27436/task/27454/stat : 27454 (java) S 27434 27434 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506930350688 140508532295381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 [pid=27436/tid=27455] ppid=27434 vsize=26006188 memory=1380 CPUtime=0.08 cores=0-7 /proc/27436/task/27455/stat : 27455 (java) S 27434 27434 8183 0 -1 1077944384 776 0 0 0 3 5 0 0 20 0 20 0 97734600 26630336512 5609836 33554432000 4194304 4196468 140737340896128 140506929297968 140508532296322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 17129472 140737340900504 140737340900680 140737340900680 140737340903375 0 Current children cumulated CPU time: 475.86 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 22440724 KiB [startup+211.401 s] /proc/loadavg: 2.37 4.35 5.56 2/199 27455 /proc/meminfo: memFree=9071628/32770624 swapFree=67108860/67108860 [pid=27434] ppid=27431 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/27434/stat : 27434 (xcsp3-exec) S 27431 27434 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97734594 9740288 345 33554432000 4194304 5098028 140726934874848 140726934872952 139839564567164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17113088 140726934877290 140726934877500 140726934877500 140726934880235 0 /proc/27434/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): 211.443 CPU time (s): 476.111 CPU user time (s): 437.518 CPU system time (s): 38.593 CPU usage (%): 225.172 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 22440728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 437.518 system time used= 38.593 maximum resident set size= 22439556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1185563 page faults= 0 swaps= 0 block input operations= 0 block output operations= 400 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27051 involuntary context switches= 6072 # summary of solver processes directly reported to runsolver: # pid: 27434 # total CPU time (s): 476.111 # total CPU user time (s): 437.518 # total CPU system time (s): 38.593 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.31174 second user time and 2.29578 second system time The end
Begin job on node103 at 2017-08-13 19:33:25 IDJOB=4271479 IDBENCH=137919 IDSOLVER=2663 FILE ID=node103/4271479-1502646463 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61728 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw100/BinPacking-tab-sw100-15.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-4271479-1502646463/watcher-4271479-1502646463 -o /tmp/evaluation-result-4271479-1502646463/solver-4271479-1502646463 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1934609969 HOME/instance-4271479-1502646463.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= afde4c54681b724bee939c95254967be RANDOM SEED=1934609969 node103.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.56 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.56 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.56 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.56 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: 31538824 kB MemAvailable: 31992664 kB Buffers: 110740 kB Cached: 637604 kB SwapCached: 0 kB Active: 592444 kB Inactive: 210284 kB Active(anon): 3636 kB Inactive(anon): 78632 kB Active(file): 588808 kB Inactive(file): 131652 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 76012 kB Writeback: 0 kB AnonPages: 60976 kB Mapped: 43828 kB Shmem: 25228 kB Slab: 124244 kB SReclaimable: 98428 kB SUnreclaim: 25816 kB KernelStack: 3392 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61720 MiB End job on node103 at 2017-08-13 19:36:57