Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? | 507.98199 | 244.517 |
Name | BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml |
MD5SUM | 53b1156e30bb035a294b23873bcaa6f4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2400.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 133 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 23 |
Maximum domain size | 47 |
Distribution of domain sizes | [{"size":23,"count":1},{"size":47,"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-4270494-1502809428.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4270494-1502809428.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 507.75/244.40 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 507.85/244.40 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98) 507.85/244.40 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61) 507.85/244.40 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857) 507.85/244.40 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813) 507.85/244.40 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313) 507.85/244.40 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413) 507.85/244.40 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130) 507.85/244.40 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457) 507.85/244.40 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440) 507.85/244.40 at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source) 507.85/244.40 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 507.85/244.40 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 507.85/244.40 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437) 507.85/244.40 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406) 507.85/244.40 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368) 507.85/244.40 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353) 507.85/244.40 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260) 507.85/244.40 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 507.85/244.40 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112) 507.85/244.40 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 507.85/244.40 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23) 507.85/244.40 s UNKNOWN 507.85/244.40 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 (15120 MiB free) memory of node 1: 16384 MiB (15634 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270494-1502809428/watcher-4270494-1502809428 -o /tmp/evaluation-result-4270494-1502809428/solver-4270494-1502809428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502806048-13693 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2118146670 HOME/instance-4270494-1502809428.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 Current StackSize limit: 8192 KiB solver pid=13840, runsolver pid=13837 [startup+0.100141 s]* /proc/loadavg: 8.09 8.24 8.29 2/199 13861 /proc/meminfo: memFree=31479216/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=25999808 memory=24904 CPUtime=0.12 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 20 0 114030663 26623803392 6226 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6499952 6226 2883 1 0 6488269 0 [pid=13842/tid=13843] ppid=13840 vsize=25999808 memory=8257238249923058587 CPUtime=0.08 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) R 13840 13840 13666 0 -1 4202560 3546 0 0 0 8 0 0 0 20 0 20 0 114030663 26623803392 6226 33554432000 4194304 4196468 140727881627600 140051203831600 140051199610262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=25999808 memory=732369920836508645 CPUtime=0 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=25999808 memory=139782499055232 CPUtime=0 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050755087376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050754034064 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050752981264 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050751928976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030664 26623803392 6226 33554432000 4194304 4196468 140727881627600 140050750876176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030665 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049874463344 140051199609474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114030666 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049873409312 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114030666 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049872356976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049870252144 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049869199344 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049868147056 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) R 13840 13840 13666 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049867094256 140051191835454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26623803392 6226 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 26288 KiB [startup+0.21037 s]* /proc/loadavg: 8.09 8.24 8.29 2/199 13861 /proc/meminfo: memFree=31469852/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26004064 memory=37844 CPUtime=0.33 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 8526 0 0 0 31 2 0 0 20 0 20 0 114030663 26628161536 9461 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501016 9461 3040 1 0 6488269 0 [pid=13842/tid=13843] ppid=13840 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) R 13840 13840 13666 0 -1 4202560 5449 0 0 0 18 1 0 0 20 0 20 0 114030663 26628161536 9461 33554432000 4194304 4196468 140727881627600 140051203818544 140051192276341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26004064 memory=279564894058232 CPUtime=0 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9461 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26004064 memory=139782499055232 CPUtime=0 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9461 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9461 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9464 33554432000 4194304 4196468 140727881627600 140050755087376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9464 33554432000 4194304 4196468 140727881627600 140050754034064 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9464 33554432000 4194304 4196468 140727881627600 140050752981264 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9464 33554432000 4194304 4196468 140727881627600 140050751928976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 9464 33554432000 4194304 4196468 140727881627600 140050750876176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030665 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049874463344 140051199609474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114030666 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049873409312 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114030666 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049872356976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049870252144 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049869199344 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049868147056 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) R 13840 13840 13666 0 -1 4202560 869 0 0 0 7 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049867094256 140051178537372 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 9464 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39228 KiB [startup+0.310288 s]* /proc/loadavg: 8.09 8.24 8.29 2/199 13861 /proc/meminfo: memFree=31462780/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26004064 memory=45108 CPUtime=0.49 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 9468 0 0 0 46 3 0 0 20 0 20 0 114030663 26628161536 11277 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501016 11277 3108 1 0 6488269 0 [pid=13842/tid=13843] ppid=13840 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) R 13840 13840 13666 0 -1 4202560 6140 0 0 0 28 1 0 0 20 0 20 0 114030663 26628161536 11277 33554432000 4194304 4196468 140727881627600 140051203836064 140051199620253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050755087376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050754034064 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=26004064 memory=139782395098031 CPUtime=0 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050752981264 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=26004064 memory=139782395100336 CPUtime=0 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050751928976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=26004064 memory=139782395102640 CPUtime=0 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030664 26628161536 11277 33554432000 4194304 4196468 140727881627600 140050750876176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) S 13840 13840 13666 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114030665 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049874463344 140051199609474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=26004064 memory=279564790212240 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114030666 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049873409312 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=26004064 memory=279564790219152 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114030666 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049872356976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=26004064 memory=279564790160432 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=26004064 memory=279564790232976 CPUtime=0.01 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049870252144 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=26004064 memory=279564790239888 CPUtime=0.01 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049869199344 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=26004064 memory=279564790237584 CPUtime=0.03 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 204 0 0 0 3 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049868147056 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=26004064 memory=279564790253744 CPUtime=0.11 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) R 13840 13840 13666 0 -1 4202560 1015 0 0 0 11 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049867094256 140051178131588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26628161536 11277 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46492 KiB [startup+0.701035 s] /proc/loadavg: 8.09 8.24 8.29 9/199 13861 /proc/meminfo: memFree=31264064/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26004140 memory=362932 CPUtime=1.36 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 11625 0 0 0 105 31 0 0 20 0 20 0 114030663 26628239360 90733 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501035 90733 3176 1 0 6488269 0 [pid=13842/tid=13843] ppid=13840 vsize=26004140 memory=279564790548608 CPUtime=0.62 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) R 13840 13840 13666 0 -1 4202560 6504 0 0 0 55 7 0 0 20 0 20 0 114030663 26628239360 90733 33554432000 4194304 4196468 140727881627600 140051203824368 140050838578767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26004140 memory=5123895985313 CPUtime=0.03 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) S 13840 13840 13666 0 -1 1077944384 46 0 0 0 1 2 0 0 20 0 20 0 114030664 26628239360 90733 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26004140 memory=0 CPUtime=0.03 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 45 0 0 0 1 2 0 0 20 0 20 0 114030664 26628239360 90733 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 31 0 0 0 0 2 0 0 20 0 20 0 114030664 26628239360 90733 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 ################ # More data... # ################ [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26006188 memory=21793972 CPUtime=504.92 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 464737 0 0 0 47009 3483 0 0 20 0 20 0 114030663 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501547 5448493 3256 1 0 6488781 0 [pid=13842/tid=13843] ppid=13840 vsize=26006188 memory=288230621803970871 CPUtime=198.41 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) S 13840 13840 13666 0 -1 1077944384 30865 0 0 0 19802 39 0 0 20 0 20 0 114030663 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140051203836528 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26006188 memory=1384 CPUtime=37.03 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) R 13840 13840 13666 0 -1 4202560 24619 0 0 0 3263 440 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140051167157256 140051192226535 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26006188 memory=279564791504864 CPUtime=37.09 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) R 13840 13840 13666 0 -1 4202560 28065 0 0 0 3289 420 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050757192272 140051192226535 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26006188 memory=61626875120106 CPUtime=37.23 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) R 13840 13840 13666 0 -1 4202560 26345 0 0 0 3286 437 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050756139984 140051192226535 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=26006188 memory=61626875118570 CPUtime=37 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) R 13840 13840 13666 0 -1 4202560 27925 0 0 0 3288 412 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050755087496 140051192226535 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=26006188 memory=6791534058613427641 CPUtime=37.2 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) R 13840 13840 13666 0 -1 4202560 31401 0 0 0 3307 413 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050754033872 140051192226535 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=26006188 memory=1728 CPUtime=37.22 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) R 13840 13840 13666 0 -1 4202560 80459 0 0 0 3275 447 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050752981464 140051192701346 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=26006188 memory=5788 CPUtime=37.21 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 49764 0 0 0 3285 436 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050751928784 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=26006188 memory=1228 CPUtime=37.24 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) R 13840 13840 13666 0 -1 4202560 82512 0 0 0 3309 415 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050750875984 140051192226535 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=26006188 memory=-3622645143214314312 CPUtime=7 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) S 13840 13840 13666 0 -1 1077944384 59981 0 0 0 691 9 0 0 20 0 20 0 114030665 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049874461904 140051199608533 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=26006188 memory=5788 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049873409376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049872356992 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=26006188 memory=796 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=26006188 memory=6791534058613427641 CPUtime=0.51 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 5259 0 0 0 51 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049870252192 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=26006188 memory=21558564 CPUtime=0.59 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 5538 0 0 0 58 1 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049869199104 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=26006188 memory=1720 CPUtime=0.54 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 4595 0 0 0 53 1 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049868147104 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=26006188 memory=21558600 CPUtime=0.35 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) S 13840 13840 13666 0 -1 1077944384 4750 0 0 0 35 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049867094304 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=26006188 memory=21793972 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=26006188 memory=10020 CPUtime=0.14 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1242 0 0 0 9 5 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 504.92 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21795356 KiB [startup+244.001 s]* /proc/loadavg: 2.43 4.72 6.80 2/200 13869 /proc/meminfo: memFree=9676556/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26006188 memory=21793972 CPUtime=507.46 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 489982 0 0 0 47261 3485 0 0 20 0 20 0 114030663 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501547 5448493 3256 1 0 6488781 0 [pid=13842/tid=13843] ppid=13840 vsize=26006188 memory=6791534058613427641 CPUtime=198.41 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) S 13840 13840 13666 0 -1 1077944384 30865 0 0 0 19802 39 0 0 20 0 20 0 114030663 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140051203836528 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26006188 memory=-7003737579269690708 CPUtime=37.28 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) S 13840 13840 13666 0 -1 1077944384 24619 0 0 0 3288 440 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26006188 memory=18292 CPUtime=37.33 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 28065 0 0 0 3313 420 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26006188 memory=1792 CPUtime=37.48 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 26345 0 0 0 3311 437 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=26006188 memory=648 CPUtime=37.25 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) S 13840 13840 13666 0 -1 1077944384 27925 0 0 0 3312 413 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050755087376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=26006188 memory=1236 CPUtime=37.45 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) S 13840 13840 13666 0 -1 1077944384 31401 0 0 0 3331 414 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050754034064 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=26006188 memory=1384 CPUtime=37.48 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) S 13840 13840 13666 0 -1 1077944384 105703 0 0 0 3300 448 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050752981264 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=26006188 memory=21793956 CPUtime=37.46 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 49764 0 0 0 3310 436 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050751928976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=26006188 memory=2332 CPUtime=37.49 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) S 13840 13840 13666 0 -1 1077944384 82512 0 0 0 3334 415 0 0 20 0 20 0 114030664 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140050750876176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=26006188 memory=1292 CPUtime=7.55 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) R 13840 13840 13666 0 -1 4202560 59981 0 0 0 746 9 0 0 20 0 20 0 114030665 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049874461904 140051184594734 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=26006188 memory=1728 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049873409376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=26006188 memory=5788 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049872356992 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=26006188 memory=6791534058613427641 CPUtime=0.51 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 5259 0 0 0 51 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049870252192 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=26006188 memory=932 CPUtime=0.59 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 5538 0 0 0 58 1 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049869199104 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=26006188 memory=1572 CPUtime=0.54 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 4595 0 0 0 53 1 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049868147104 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=26006188 memory=2200 CPUtime=0.35 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) S 13840 13840 13666 0 -1 1077944384 4750 0 0 0 35 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049867094304 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=26006188 memory=-8961168018402230209 CPUtime=0.14 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1242 0 0 0 9 5 0 0 20 0 20 0 114030669 26630336512 5448493 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 507.46 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21795356 KiB [startup+244.401 s] /proc/loadavg: 2.43 4.72 6.80 2/200 13869 /proc/meminfo: memFree=9676556/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 [pid=13842] ppid=13840 vsize=26006188 memory=21793988 CPUtime=507.85 cores=0-7 /proc/13842/stat : 13842 (java) S 13840 13840 13666 0 -1 1077944320 490212 0 0 0 47300 3485 0 0 20 0 20 0 114030663 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140727881610144 140051199598327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 /proc/13842/statm: 6501547 5448497 3256 1 0 6488781 0 [pid=13842/tid=13843] ppid=13840 vsize=26006188 memory=4040 CPUtime=198.41 cores=0-7 /proc/13842/task/13843/stat : 13843 (java) R 13840 13840 13666 0 -1 4202560 30872 0 0 0 19802 39 0 0 20 0 20 0 114030663 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140051203836528 140051096680371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13844] ppid=13840 vsize=26006188 memory=18836 CPUtime=37.28 cores=0-7 /proc/13842/task/13844/stat : 13844 (java) R 13840 13840 13666 0 -1 1077944384 24619 0 0 0 3288 440 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140051167157136 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13845] ppid=13840 vsize=26006188 memory=18292 CPUtime=37.33 cores=0-7 /proc/13842/task/13845/stat : 13845 (java) S 13840 13840 13666 0 -1 1077944384 28065 0 0 0 3313 420 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050757192464 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13846] ppid=13840 vsize=26006188 memory=1384 CPUtime=37.48 cores=0-7 /proc/13842/task/13846/stat : 13846 (java) S 13840 13840 13666 0 -1 1077944384 26345 0 0 0 3311 437 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050756140176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13847] ppid=13840 vsize=26006188 memory=21793972 CPUtime=37.25 cores=0-7 /proc/13842/task/13847/stat : 13847 (java) S 13840 13840 13666 0 -1 1077944384 27925 0 0 0 3312 413 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050755087376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13848] ppid=13840 vsize=26006188 memory=59 CPUtime=37.45 cores=0-7 /proc/13842/task/13848/stat : 13848 (java) S 13840 13840 13666 0 -1 1077944384 31401 0 0 0 3331 414 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050754034064 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13849] ppid=13840 vsize=26006188 memory=0 CPUtime=37.48 cores=0-7 /proc/13842/task/13849/stat : 13849 (java) S 13840 13840 13666 0 -1 1077944384 105703 0 0 0 3300 448 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050752981264 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13850] ppid=13840 vsize=26006188 memory=1572 CPUtime=37.46 cores=0-7 /proc/13842/task/13850/stat : 13850 (java) S 13840 13840 13666 0 -1 1077944384 49764 0 0 0 3310 436 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050751928976 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13851] ppid=13840 vsize=26006188 memory=2200 CPUtime=37.49 cores=0-7 /proc/13842/task/13851/stat : 13851 (java) S 13840 13840 13666 0 -1 1077944384 82512 0 0 0 3334 415 0 0 20 0 20 0 114030664 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140050750876176 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13852] ppid=13840 vsize=26006188 memory=6504 CPUtime=7.94 cores=0-7 /proc/13842/task/13852/stat : 13852 (java) S 13840 13840 13666 0 -1 1077944384 60201 0 0 0 785 9 0 0 20 0 20 0 114030665 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049874463344 140051199609474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13853] ppid=13840 vsize=26006188 memory=836 CPUtime=0 cores=0-7 /proc/13842/task/13853/stat : 13853 (java) S 13840 13840 13666 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049873409376 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13854] ppid=13840 vsize=26006188 memory=4104 CPUtime=0 cores=0-7 /proc/13842/task/13854/stat : 13854 (java) S 13840 13840 13666 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 114030666 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049872356992 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13855] ppid=13840 vsize=26006188 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/13842/task/13855/stat : 13855 (java) S 13840 13840 13666 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049871305296 140051199616923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13856] ppid=13840 vsize=26006188 memory=1292 CPUtime=0.51 cores=0-7 /proc/13842/task/13856/stat : 13856 (java) S 13840 13840 13666 0 -1 1077944384 5259 0 0 0 51 0 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049870252144 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13857] ppid=13840 vsize=26006188 memory=1728 CPUtime=0.59 cores=0-7 /proc/13842/task/13857/stat : 13857 (java) S 13840 13840 13666 0 -1 1077944384 5538 0 0 0 58 1 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049869199344 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13858] ppid=13840 vsize=26006188 memory=1384 CPUtime=0.54 cores=0-7 /proc/13842/task/13858/stat : 13858 (java) S 13840 13840 13666 0 -1 1077944384 4595 0 0 0 53 1 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049868147056 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13859] ppid=13840 vsize=26006188 memory=21547424 CPUtime=0.35 cores=0-7 /proc/13842/task/13859/stat : 13859 (java) S 13840 13840 13666 0 -1 1077944384 4750 0 0 0 35 0 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049867094256 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13860] ppid=13840 vsize=26006188 memory=1692 CPUtime=0 cores=0-7 /proc/13842/task/13860/stat : 13860 (java) S 13840 13840 13666 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049866042208 140051199608533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 [pid=13842/tid=13861] ppid=13840 vsize=26006188 memory=916 CPUtime=0.14 cores=0-7 /proc/13842/task/13861/stat : 13861 (java) S 13840 13840 13666 0 -1 1077944384 1242 0 0 0 9 5 0 0 20 0 20 0 114030669 26630336512 5448497 33554432000 4194304 4196468 140727881627600 140049864989488 140051199609474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26939392 140727881634962 140727881635139 140727881635139 140727881637839 0 Current children cumulated CPU time: 507.85 s Current children cumulated vsize: 26015700 KiB Current children cumulated memory: 21795372 KiB [startup+244.501 s] /proc/loadavg: 2.43 4.72 6.80 2/200 13869 /proc/meminfo: memFree=9676556/32770624 swapFree=67108860/67108860 [pid=13840] ppid=13837 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/13840/stat : 13840 (xcsp3-exec) S 13837 13840 13666 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114030663 9740288 346 33554432000 4194304 5098028 140722090133552 140722090131656 140531910500988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9744384 140722090140772 140722090140983 140722090140983 140722090143723 0 /proc/13840/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 9512 KiB Current children cumulated memory: 1384 KiB Child status: 1 Real time (s): 244.517 CPU time (s): 507.982 CPU user time (s): 473.014 CPU system time (s): 34.9684 CPU usage (%): 207.749 Max. virtual memory (cumulated for all children) (KiB): 26015700 Max. memory (cumulated for all children) (KiB): 21795372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 473.014 system time used= 34.9684 maximum resident set size= 21794244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 490856 page faults= 0 swaps= 0 block input operations= 0 block output operations= 440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19067 involuntary context switches= 6028 # summary of solver processes directly reported to runsolver: # pid: 13840 # total CPU time (s): 507.982 # total CPU user time (s): 473.014 # total CPU system time (s): 34.9684 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.83663 second user time and 2.75397 second system time The end
Begin job on node112 at 2017-08-15 16:49:30 IDJOB=4270494 IDBENCH=138092 IDSOLVER=2662 FILE ID=node112/4270494-1502809428 RUNJOBID= node112-1502806048-13693 PBS_JOBID= 20629820 Free space on /tmp= 61740 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-50.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-4270494-1502809428/watcher-4270494-1502809428 -o /tmp/evaluation-result-4270494-1502809428/solver-4270494-1502809428 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502806048-13693 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2118146670 HOME/instance-4270494-1502809428.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 53b1156e30bb035a294b23873bcaa6f4 RANDOM SEED=2118146670 node112.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.24 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.24 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.24 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.24 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: 31493368 kB MemAvailable: 31982680 kB Buffers: 200880 kB Cached: 569396 kB SwapCached: 0 kB Active: 543920 kB Inactive: 278160 kB Active(anon): 3352 kB Inactive(anon): 76444 kB Active(file): 540568 kB Inactive(file): 201716 kB Unevictable: 6276 kB Mlocked: 6276 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 93388 kB Writeback: 0 kB AnonPages: 58336 kB Mapped: 45768 kB Shmem: 25224 kB Slab: 151964 kB SReclaimable: 125724 kB SUnreclaim: 26240 kB KernelStack: 3296 kB PageTables: 4572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61732 MiB End job on node112 at 2017-08-15 16:53:35