Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? | 6939.04 | 1268.03 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-15-036.xml |
MD5SUM | 5e5c63d89f6605b36f0577fcc9be8ecb |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.60869 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 105 |
Number of domains | 15 |
Minimum domain size | 22 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2}] |
Minimum variable degree | 14 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":14,"count":30}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":105}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 105 |
Distribution of constraint types | [{"type":"intension","count":105}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399423-1568718749.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399423-1568718749.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6830.97/1252.05 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 6830.97/1252.05 at java.util.stream.ReferencePipeline.mapToInt(ReferencePipeline.java:203) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:124) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$155/917819120.valid(Unknown Source) 6830.97/1252.05 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 6830.97/1252.05 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 6830.97/1252.05 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 6830.97/1252.05 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 6830.97/1252.05 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 6830.97/1252.05 at org.xcsp.parser.XCallbacks$$Lambda$97/1836797772.accept(Unknown Source) 6830.97/1252.05 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 6830.97/1252.05 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 6830.97/1252.05 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 6830.97/1252.05 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 6830.97/1252.05 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 6830.97/1252.05 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 6830.97/1252.05 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 6830.97/1252.05 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 6938.90/1267.92 s UNKNOWN 6938.90/1267.92 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15249 MiB free) memory of node 1: 16384 MiB (15501 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399423-1568718749/watcher-4399423-1568718749 -o /tmp/evaluation-result-4399423-1568718749/solver-4399423-1568718749 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568711398-15370 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1456806553 HOME/instance-4399423-1568718749.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=17644, runsolver pid=17641 [startup+0.100149 s]* /proc/loadavg: 8.17 8.27 8.28 3/213 17665 /proc/meminfo: memFree=31472604/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28227396 memory=30076 CPUtime=0.12 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 5998 0 0 0 11 1 0 0 20 0 20 0 448127978 28904853504 7519 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7056849 7519 3120 1 0 7019032 0 [pid=17646/tid=17647] ppid=17644 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) R 17644 17644 15343 0 -1 4202560 3904 0 0 0 8 1 0 0 20 0 20 0 448127978 28904853504 7519 33554432000 4194304 4196468 140724546566800 139684065433392 139683694791376 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28227396 memory=140404182546048 CPUtime=0 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683609553424 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683608501136 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683607448336 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683606396048 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 7519 33554432000 4194304 4196468 140724546566800 139683605343248 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127980 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682592401520 139684061211266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448127981 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682591347488 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448127981 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682590295152 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127983 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) S 17644 17644 15343 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 448127983 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682588191344 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448127983 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682587138544 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 448127984 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682586086256 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) S 17644 17644 15343 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 448127984 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682585033456 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127984 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127984 28904853504 7519 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31532 KiB [startup+0.210594 s]* /proc/loadavg: 8.17 8.27 8.28 3/213 17665 /proc/meminfo: memFree=31459380/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28227396 memory=41444 CPUtime=0.33 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 9548 0 0 0 30 3 0 0 20 0 20 0 448127978 28904853504 10361 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7056849 10361 3307 1 0 7019032 0 [pid=17646/tid=17647] ppid=17644 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) R 17644 17644 15343 0 -1 4202560 6720 0 0 0 17 2 0 0 20 0 20 0 448127978 28904853504 10361 33554432000 4194304 4196468 140724546566800 139684065438144 139684061212054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28227396 memory=140404182563877 CPUtime=0 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683609553424 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683608501136 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683607448336 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683606396048 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28904853504 10361 33554432000 4194304 4196468 140724546566800 139683605343248 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) S 17644 17644 15343 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448127980 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682592401520 139684061211266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448127981 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682591347488 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448127981 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682590295152 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127983 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) S 17644 17644 15343 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 20 0 448127983 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682588191344 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 448127983 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682587138544 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 448127984 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682586086256 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) R 17644 17644 15343 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 20 0 448127984 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682585033456 139684053437246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127984 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127984 28904853504 10361 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42900 KiB [startup+0.310226 s]* /proc/loadavg: 8.17 8.27 8.28 4/213 17665 /proc/meminfo: memFree=31452480/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28231652 memory=50040 CPUtime=0.52 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 10875 0 0 0 47 5 0 0 20 0 20 0 448127978 28909211648 12510 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7057913 12510 3357 1 0 7019032 0 [pid=17646/tid=17647] ppid=17644 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) R 17644 17644 15343 0 -1 4202560 7812 0 0 0 26 3 0 0 20 0 20 0 448127978 28909211648 12510 33554432000 4194304 4196468 140724546566800 139684065431232 139684061222045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683609553424 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683608501136 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28231652 memory=140404024502959 CPUtime=0 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683607448336 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28231652 memory=140404024505264 CPUtime=0 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) S 17644 17644 15343 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683606396048 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28231652 memory=140404024507568 CPUtime=0 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28909211648 12510 33554432000 4194304 4196468 140724546566800 139683605343248 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) S 17644 17644 15343 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448127980 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682592401520 139684061211266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28231652 memory=280808049029008 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448127981 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682591347488 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28231652 memory=280808049026704 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448127981 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682590295152 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28231652 memory=280808049033616 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127983 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28231652 memory=280808048974896 CPUtime=0.04 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) R 17644 17644 15343 0 -1 4202560 650 0 0 0 4 0 0 0 20 0 20 0 448127983 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682588191344 139684042721262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28231652 memory=280808049047440 CPUtime=0.01 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 448127983 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682587138544 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28231652 memory=280808049054352 CPUtime=0.01 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 448127984 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682586086256 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28231652 memory=280808049052048 CPUtime=0.12 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) S 17644 17644 15343 0 -1 1077944384 854 0 0 0 12 0 0 0 20 0 20 0 448127984 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682585033456 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127984 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127984 28909211648 12510 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51496 KiB [startup+0.700946 s] /proc/loadavg: 8.17 8.27 8.28 5/213 17665 /proc/meminfo: memFree=31436124/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28233776 memory=186092 CPUtime=1.35 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 13735 0 0 0 126 9 0 0 20 0 20 0 448127978 28911386624 46523 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7058444 46523 3452 1 0 7019544 0 [pid=17646/tid=17647] ppid=17644 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) R 17644 17644 15343 0 -1 4202560 9160 0 0 0 61 5 0 0 20 0 20 0 448127978 28911386624 46523 33554432000 4194304 4196468 140724546566800 139684065438000 139683698030174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28233776 memory=140404024714096 CPUtime=0 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448127979 28911386624 46523 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 448127979 28911386624 46523 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28233776 memory=1004 CPUtime=0 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448127979 28911386624 46523 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 ################ # More data... # ################ [pid=17646/tid=17647] ppid=17644 vsize=28300340 memory=25327060 CPUtime=351.08 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) S 17644 17644 15343 0 -1 1077944384 97460 0 0 0 35003 105 0 0 20 0 21 0 448127978 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139684065440800 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28300340 memory=-3622645143214314312 CPUtime=811.96 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) R 17644 17644 15343 0 -1 4202560 342454 0 0 0 80513 683 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683612711432 139684046189762 0 4 0 16800975 0 0 0 -1 6 0 0 59 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28300340 memory=4488 CPUtime=810.45 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) R 17644 17644 15343 0 -1 4202560 175057 0 0 0 80382 663 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683611658632 139684053828327 0 4 0 16800975 0 0 0 -1 7 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28300340 memory=4100 CPUtime=809.85 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) R 17644 17644 15343 0 -1 4202560 205445 0 0 0 80279 706 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683610606032 139684044583154 0 4 0 16800975 0 0 0 -1 3 0 0 54 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28300340 memory=1408 CPUtime=816.62 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) R 17644 17644 15343 0 -1 4202560 261895 0 0 0 80968 694 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683609553232 139684053828327 0 4 0 16800975 0 0 0 -1 1 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28300340 memory=3480 CPUtime=810.5 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) R 17644 17644 15343 0 -1 4202560 170769 0 0 0 80368 682 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683608500944 139684053828327 0 4 0 16800975 0 0 0 -1 2 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28300340 memory=6791534058613427641 CPUtime=810.04 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) R 17644 17644 15343 0 -1 4202560 161761 0 0 0 80306 698 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683607448144 139684053828327 0 4 0 16800975 0 0 0 -1 0 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28300340 memory=48860 CPUtime=810.52 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) R 17644 17644 15343 0 -1 4202560 208093 0 0 0 80352 700 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683606395856 139684053828327 0 4 0 16800975 0 0 0 -1 5 0 0 55 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28300340 memory=3028 CPUtime=811.61 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) R 17644 17644 15343 0 -1 4202560 219517 0 0 0 80498 663 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683605343056 139684053828327 0 4 0 16800975 0 0 0 -1 4 0 0 60 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28300340 memory=2012 CPUtime=90.94 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) S 17644 17644 15343 0 -1 1077944384 629425 0 0 0 9045 49 0 0 20 0 21 0 448127980 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682592400064 139684061210325 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28300340 memory=1388 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682591347552 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28300340 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682590295168 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28300340 memory=80901 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28300340 memory=80760 CPUtime=0.54 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) S 17644 17644 15343 0 -1 1077944384 6698 0 0 0 53 1 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682588191392 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28300340 memory=80696 CPUtime=0.27 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 3171 0 0 0 26 1 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682587138592 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28300340 memory=81370 CPUtime=0.88 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 10544 0 0 0 85 3 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682586086016 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28300340 memory=812 CPUtime=0.57 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) S 17644 17644 15343 0 -1 1077944384 12273 0 0 0 55 2 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682585033504 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28300340 memory=1764 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28300340 memory=111628 CPUtime=0.5 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 2076 0 0 0 24 26 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17762] ppid=17644 vsize=28300340 memory=796 CPUtime=0 cores=0-7 /proc/17646/task/17762/stat : 17762 (java) S 17644 17644 15343 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 448253183 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682573712832 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 6936.5 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25328516 KiB [startup+1267.2 s] /proc/loadavg: 6.58 6.93 6.52 2/214 17762 /proc/meminfo: memFree=6127356/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28300340 memory=25327060 CPUtime=6938.2 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 2508082 0 0 0 688151 5669 0 0 20 0 21 0 448127978 28979548160 6331765 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7075085 6331765 3519 1 0 7036185 0 [pid=17646/tid=17647] ppid=17644 vsize=28300340 memory=1388 CPUtime=351.08 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) S 17644 17644 15343 0 -1 1077944384 97460 0 0 0 35003 105 0 0 20 0 21 0 448127978 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139684065440800 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28300340 memory=776 CPUtime=811.97 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 342454 0 0 0 80514 683 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28300340 memory=25327060 CPUtime=810.46 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 175057 0 0 0 80383 663 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28300340 memory=6791534058613427641 CPUtime=809.86 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 205445 0 0 0 80280 706 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28300340 memory=932 CPUtime=816.64 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) S 17644 17644 15343 0 -1 1077944384 261895 0 0 0 80970 694 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683609553424 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28300340 memory=3504 CPUtime=810.51 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) S 17644 17644 15343 0 -1 1077944384 170769 0 0 0 80369 682 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683608501136 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28300340 memory=48860 CPUtime=810.06 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) S 17644 17644 15343 0 -1 1077944384 161761 0 0 0 80308 698 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683607448336 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28300340 memory=3028 CPUtime=810.54 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) S 17644 17644 15343 0 -1 1077944384 208093 0 0 0 80354 700 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683606396048 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28300340 memory=1388 CPUtime=811.63 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) S 17644 17644 15343 0 -1 1077944384 219517 0 0 0 80500 663 0 0 20 0 21 0 448127979 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139683605343248 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28300340 memory=776 CPUtime=92.53 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) R 17644 17644 15343 0 -1 4202560 629425 0 0 0 9204 49 0 0 20 0 21 0 448127980 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682592399952 139684045657722 0 0 0 16800975 0 0 0 -1 0 0 0 50 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28300340 memory=3992 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682591347552 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28300340 memory=280808050143008 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682590295168 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28300340 memory=-3252517613198930781 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28300340 memory=1456 CPUtime=0.54 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) S 17644 17644 15343 0 -1 1077944384 6698 0 0 0 53 1 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682588191392 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28300340 memory=1456 CPUtime=0.27 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 3171 0 0 0 26 1 0 0 20 0 21 0 448127983 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682587138592 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28300340 memory=25327060 CPUtime=0.88 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 10544 0 0 0 85 3 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682586086016 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28300340 memory=1408 CPUtime=0.57 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) S 17644 17644 15343 0 -1 1077944384 12273 0 0 0 55 2 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682585033504 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28300340 memory=25327060 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28300340 memory=25327060 CPUtime=0.5 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 2076 0 0 0 24 26 0 0 20 0 21 0 448127984 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17762] ppid=17644 vsize=28300340 memory=-3395018486312292127 CPUtime=0 cores=0-7 /proc/17646/task/17762/stat : 17762 (java) S 17644 17644 15343 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 448253183 28979548160 6331765 33554432000 4194304 4196468 140724546566800 139682573712832 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 6938.2 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25328516 KiB [startup+1267.6 s] /proc/loadavg: 6.58 6.93 6.52 2/214 17762 /proc/meminfo: memFree=6127356/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 [pid=17646] ppid=17644 vsize=28300340 memory=25327068 CPUtime=6938.6 cores=0-7 /proc/17646/stat : 17646 (java) S 17644 17644 15343 0 -1 1077944320 2508851 0 0 0 688191 5669 0 0 20 0 21 0 448127978 28979548160 6331767 33554432000 4194304 4196468 140724546566800 140724546549344 139684061200119 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 /proc/17646/statm: 7075085 6331767 3519 1 0 7036185 0 [pid=17646/tid=17647] ppid=17644 vsize=28300340 memory=6791534058613427641 CPUtime=351.08 cores=0-7 /proc/17646/task/17647/stat : 17647 (java) S 17644 17644 15343 0 -1 1077944384 97460 0 0 0 35003 105 0 0 20 0 21 0 448127978 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139684065440800 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17648] ppid=17644 vsize=28300340 memory=812 CPUtime=811.97 cores=0-7 /proc/17646/task/17648/stat : 17648 (java) S 17644 17644 15343 0 -1 1077944384 342454 0 0 0 80514 683 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683612711312 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17649] ppid=17644 vsize=28300340 memory=1764 CPUtime=810.46 cores=0-7 /proc/17646/task/17649/stat : 17649 (java) S 17644 17644 15343 0 -1 1077944384 175057 0 0 0 80383 663 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683611658512 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17650] ppid=17644 vsize=28300340 memory=111628 CPUtime=809.86 cores=0-7 /proc/17646/task/17650/stat : 17650 (java) S 17644 17644 15343 0 -1 1077944384 205445 0 0 0 80280 706 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683610606224 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 54 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17651] ppid=17644 vsize=28300340 memory=796 CPUtime=816.64 cores=0-7 /proc/17646/task/17651/stat : 17651 (java) S 17644 17644 15343 0 -1 1077944384 261895 0 0 0 80970 694 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683609553424 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17652] ppid=17644 vsize=28300340 memory=1808 CPUtime=810.51 cores=0-7 /proc/17646/task/17652/stat : 17652 (java) S 17644 17644 15343 0 -1 1077944384 170769 0 0 0 80369 682 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683608501136 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17653] ppid=17644 vsize=28300340 memory=920 CPUtime=810.06 cores=0-7 /proc/17646/task/17653/stat : 17653 (java) S 17644 17644 15343 0 -1 1077944384 161761 0 0 0 80308 698 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683607448336 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17654] ppid=17644 vsize=28300340 memory=4488 CPUtime=810.54 cores=0-7 /proc/17646/task/17654/stat : 17654 (java) S 17644 17644 15343 0 -1 1077944384 208093 0 0 0 80354 700 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683606396048 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17655] ppid=17644 vsize=28300340 memory=0 CPUtime=811.63 cores=0-7 /proc/17646/task/17655/stat : 17655 (java) S 17644 17644 15343 0 -1 1077944384 219517 0 0 0 80500 663 0 0 20 0 21 0 448127979 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139683605343248 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17656] ppid=17644 vsize=28300340 memory=576587700018377745 CPUtime=92.93 cores=0-7 /proc/17646/task/17656/stat : 17656 (java) R 17644 17644 15343 0 -1 4202560 630194 0 0 0 9244 49 0 0 20 0 21 0 448127980 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682592399952 139684045657739 0 0 0 16800975 0 0 0 -1 0 0 0 50 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17657] ppid=17644 vsize=28300340 memory=288286658359723170 CPUtime=0 cores=0-7 /proc/17646/task/17657/stat : 17657 (java) S 17644 17644 15343 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682591347552 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17658] ppid=17644 vsize=28300340 memory=0 CPUtime=0 cores=0-7 /proc/17646/task/17658/stat : 17658 (java) S 17644 17644 15343 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 21 0 448127981 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682590295168 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17659] ppid=17644 vsize=28300340 memory=932 CPUtime=0 cores=0-7 /proc/17646/task/17659/stat : 17659 (java) S 17644 17644 15343 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 448127983 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682589243472 139684061218715 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17660] ppid=17644 vsize=28300340 memory=3768 CPUtime=0.54 cores=0-7 /proc/17646/task/17660/stat : 17660 (java) S 17644 17644 15343 0 -1 1077944384 6698 0 0 0 53 1 0 0 20 0 21 0 448127983 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682588191392 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17661] ppid=17644 vsize=28300340 memory=1980 CPUtime=0.27 cores=0-7 /proc/17646/task/17661/stat : 17661 (java) S 17644 17644 15343 0 -1 1077944384 3171 0 0 0 26 1 0 0 20 0 21 0 448127983 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682587138592 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17662] ppid=17644 vsize=28300340 memory=2512 CPUtime=0.88 cores=0-7 /proc/17646/task/17662/stat : 17662 (java) S 17644 17644 15343 0 -1 1077944384 10544 0 0 0 85 3 0 0 20 0 21 0 448127984 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682586086016 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17663] ppid=17644 vsize=28300340 memory=280808049975744 CPUtime=0.57 cores=0-7 /proc/17646/task/17663/stat : 17663 (java) S 17644 17644 15343 0 -1 1077944384 12273 0 0 0 55 2 0 0 20 0 21 0 448127984 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682585033504 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17664] ppid=17644 vsize=28300340 memory=-7025452035940392864 CPUtime=0 cores=0-7 /proc/17646/task/17664/stat : 17664 (java) S 17644 17644 15343 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 448127984 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682583980384 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17665] ppid=17644 vsize=28300340 memory=7595725831727968097 CPUtime=0.5 cores=0-7 /proc/17646/task/17665/stat : 17665 (java) S 17644 17644 15343 0 -1 1077944384 2076 0 0 0 24 26 0 0 20 0 21 0 448127984 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682582927664 139684061211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 [pid=17646/tid=17762] ppid=17644 vsize=28300340 memory=7305792226132061030 CPUtime=0 cores=0-7 /proc/17646/task/17762/stat : 17762 (java) S 17644 17644 15343 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 448253183 28979548160 6331767 33554432000 4194304 4196468 140724546566800 139682573712832 139684061210325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17248256 140724546573290 140724546573462 140724546573462 140724546576335 0 Current children cumulated CPU time: 6938.6 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25328524 KiB [startup+1268.02 s]* /proc/loadavg: 6.58 6.93 6.52 2/195 17762 /proc/meminfo: memFree=30510152/32770624 swapFree=66997372/67108860 [pid=17644] ppid=17641 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17644/stat : 17644 (xcsp3-exec) S 17641 17644 15343 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448127977 115843072 364 33554432000 4194304 5098028 140725118383952 140725118382056 139631632036476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35430400 140725118387061 140725118387305 140725118387305 140725118390218 0 /proc/17644/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 1 Real time (s): 1268.03 CPU time (s): 6939.04 CPU user time (s): 6882.25 CPU system time (s): 56.7957 CPU usage (%): 547.228 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25328524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6882.25 system time used= 56.7957 maximum resident set size= 25327244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2514762 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 114563 involuntary context switches= 128749 # summary of solver processes directly reported to runsolver: # pid: 17644 # total CPU time (s): 6939.04 # total CPU user time (s): 6882.25 # total CPU system time (s): 56.7957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.81473 second user time and 14.5005 second system time The end
Begin job on node103 at 2019-09-17 13:11:30 IDJOB=4399423 IDBENCH=141717 IDSOLVER=2854 FILE ID=node103/4399423-1568718749 RUNJOBID= node103-1568711398-15370 PBS_JOBID= 21703932 Free space on /tmp= 61720 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-036.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399423-1568718749/watcher-4399423-1568718749 -o /tmp/evaluation-result-4399423-1568718749/solver-4399423-1568718749 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568711398-15370 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1456806553 HOME/instance-4399423-1568718749.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e5c63d89f6605b36f0577fcc9be8ecb RANDOM SEED=1456806553 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.74 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.74 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.74 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.74 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: 31490384 kB MemAvailable: 31883780 kB Buffers: 89736 kB Cached: 598224 kB SwapCached: 9016 kB Active: 411708 kB Inactive: 287436 kB Active(anon): 3396 kB Inactive(anon): 57308 kB Active(file): 408312 kB Inactive(file): 230128 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26196 kB Writeback: 0 kB AnonPages: 114936 kB Mapped: 48796 kB Shmem: 40856 kB Slab: 170784 kB SReclaimable: 141580 kB SUnreclaim: 29204 kB KernelStack: 3376 kB PageTables: 5096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61692 MiB End job on node103 at 2019-09-17 13:32:38