Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | OPTIMUM | 11.4579 | 8.67455 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo |
| MD5SUM | 78530bd9d8566fef18fc3cd1ae043ffe |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.230813 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1188 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version CUSTOM.v20240707 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.09 c os.arch amd64 0.00/0.10 c Free memory 2115194816 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2122317824 0.16/0.11 c Number of processors 2 0.16/0.14 --- Begin Solver configuration --- 0.16/0.14 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.16/0.14 Learn all clauses as in MiniSAT 0.16/0.14 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/0.14 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.16/0.14 No reason simplification 0.16/0.14 Glucose 2.1 dynamic restart strategy 0.16/0.14 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.16/0.14 timeout=2147483s 0.16/0.14 DB Simplification allowed=false 0.16/0.14 Listener: none 0.16/0.14 --- End Solver configuration --- 0.16/0.14 c Pseudo Boolean Optimization by upper bound 0.16/0.14 c --- Begin Solver configuration --- 0.16/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.16/0.14 c Learn all clauses as in MiniSAT 0.16/0.14 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.16/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.16/0.14 c No reason simplification 0.16/0.14 c Glucose 2.1 dynamic restart strategy 0.16/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.16/0.14 c timeout=2147483s 0.16/0.14 c DB Simplification allowed=false 0.16/0.14 c Listener: none 0.16/0.14 c --- End Solver configuration --- 0.16/0.14 c solving HOME/instance-4424837-1720881508.wbo 0.16/0.14 c reading problem ... 0.16/0.18 c ... done. Wall clock time 0.039s. 0.16/0.18 c declared #vars 169 0.16/0.18 c internal #vars 238 0.16/0.18 c #constraints 102 0.16/0.18 c constraints type 0.16/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.16/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.16/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.16/0.18 c org.sat4j.specs.Constr$1 => 1 0.16/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.16/0.18 c 102 constraints processed. 0.16/0.19 c objective function length is 69 literals 0.38/0.25 c SATISFIABLE 0.38/0.25 c OPTIMIZING... 0.38/0.25 c Got one! Elapsed wall clock time (in seconds):0.112 0.38/0.26 o 1121 0.38/0.27 c Got one! Elapsed wall clock time (in seconds):0.123 0.38/0.27 o 1060 0.54/0.36 c Got one! Elapsed wall clock time (in seconds):0.225 0.54/0.37 o 1055 0.54/0.37 c Got one! Elapsed wall clock time (in seconds):0.234 0.54/0.37 o 751 0.54/0.38 c Got one! Elapsed wall clock time (in seconds):0.24 0.54/0.38 o 733 0.54/0.39 c Got one! Elapsed wall clock time (in seconds):0.249 0.54/0.40 o 704 0.54/0.41 c Got one! Elapsed wall clock time (in seconds):0.262 0.54/0.41 o 674 0.54/0.43 c Got one! Elapsed wall clock time (in seconds):0.286 0.54/0.43 o 666 0.76/0.46 c Got one! Elapsed wall clock time (in seconds):0.316 0.76/0.46 o 657 0.76/0.47 c Got one! Elapsed wall clock time (in seconds):0.329 0.76/0.47 o 645 0.76/0.48 c Got one! Elapsed wall clock time (in seconds):0.341 0.76/0.49 o 318 0.92/0.54 c Got one! Elapsed wall clock time (in seconds):0.396 0.92/0.54 o 317 0.92/0.56 c Got one! Elapsed wall clock time (in seconds):0.412 0.92/0.56 o 315 0.92/0.57 c Got one! Elapsed wall clock time (in seconds):0.43 0.92/0.57 o 312 0.92/0.60 c Got one! Elapsed wall clock time (in seconds):0.455 0.92/0.60 o 311 1.11/0.62 c Got one! Elapsed wall clock time (in seconds):0.476 1.11/0.62 o 309 1.26/0.75 c Got one! Elapsed wall clock time (in seconds):0.608 1.26/0.75 o 296 1.26/0.78 c Got one! Elapsed wall clock time (in seconds):0.637 1.26/0.78 o 292 1.46/0.81 c Got one! Elapsed wall clock time (in seconds):0.673 1.46/0.81 o 289 1.46/0.82 c Got one! Elapsed wall clock time (in seconds):0.685 1.46/0.82 o 280 1.46/0.85 c Got one! Elapsed wall clock time (in seconds):0.71 1.46/0.85 o 279 1.46/0.86 c Got one! Elapsed wall clock time (in seconds):0.717 1.46/0.86 o 232 1.46/0.90 c Got one! Elapsed wall clock time (in seconds):0.757 1.46/0.90 o 227 1.46/0.90 c Got one! Elapsed wall clock time (in seconds):0.761 1.46/0.90 o 226 1.67/0.93 c Got one! Elapsed wall clock time (in seconds):0.79 1.67/0.93 o 225 1.84/1.03 c cleaning 4978 clauses out of 9968 with flag 3521/9968 1.84/1.09 c Got one! Elapsed wall clock time (in seconds):0.948 1.84/1.09 o 222 2.04/1.16 c Got one! Elapsed wall clock time (in seconds):1.018 2.04/1.16 o 221 2.22/1.21 c Got one! Elapsed wall clock time (in seconds):1.07 2.22/1.21 o 215 2.22/1.24 c Got one! Elapsed wall clock time (in seconds):1.104 2.22/1.24 o 212 2.22/1.28 c Got one! Elapsed wall clock time (in seconds):1.14 2.22/1.28 o 207 2.22/1.29 c Got one! Elapsed wall clock time (in seconds):1.144 2.22/1.29 o 180 2.40/1.31 c Got one! Elapsed wall clock time (in seconds):1.169 2.40/1.31 o 178 2.40/1.32 c Got one! Elapsed wall clock time (in seconds):1.179 2.40/1.32 o 156 2.40/1.35 c Got one! Elapsed wall clock time (in seconds):1.207 2.40/1.35 o 147 2.40/1.36 c Got one! Elapsed wall clock time (in seconds):1.219 2.40/1.36 o 146 2.51/1.42 c Got one! Elapsed wall clock time (in seconds):1.278 2.51/1.42 o 144 2.51/1.47 c cleaning 7481 clauses out of 14963 with flag 3408/19941 2.67/1.52 c Got one! Elapsed wall clock time (in seconds):1.385 2.67/1.52 o 137 2.80/1.61 c Got one! Elapsed wall clock time (in seconds):1.472 2.80/1.61 o 135 2.91/1.71 c cleaning 7013 clauses out of 14026 with flag 8416/26485 2.91/1.72 c Got one! Elapsed wall clock time (in seconds):1.58 2.91/1.72 o 134 2.91/1.74 c Got one! Elapsed wall clock time (in seconds):1.607 2.91/1.74 o 125 2.91/1.77 c Got one! Elapsed wall clock time (in seconds):1.623 2.91/1.77 o 119 3.30/1.91 c Got one! Elapsed wall clock time (in seconds):1.772 3.30/1.91 o 91 3.51/2.04 c cleaning 7403 clauses out of 14808 with flag 7344/34280 3.71/2.15 c Got one! Elapsed wall clock time (in seconds):2.006 3.71/2.15 o 90 3.71/2.18 c Got one! Elapsed wall clock time (in seconds):2.039 3.71/2.18 o 89 3.89/2.29 c cleaning 6959 clauses out of 13924 with flag 7593/40799 4.12/2.35 c Got one! Elapsed wall clock time (in seconds):2.212 4.12/2.35 o 85 4.12/2.39 c Got one! Elapsed wall clock time (in seconds):2.252 4.12/2.39 o 84 4.29/2.41 c Got one! Elapsed wall clock time (in seconds):2.27 4.29/2.41 o 82 4.29/2.41 c Got one! Elapsed wall clock time (in seconds):2.277 4.29/2.41 o 71 4.46/2.51 c cleaning 7076 clauses out of 14154 with flag 11733/47988 4.62/2.63 c Got one! Elapsed wall clock time (in seconds):2.489 4.62/2.63 o 70 4.62/2.69 c Got one! Elapsed wall clock time (in seconds):2.552 4.62/2.69 o 63 4.72/2.73 c Got one! Elapsed wall clock time (in seconds):2.591 4.72/2.73 o 56 4.72/2.76 c Got one! Elapsed wall clock time (in seconds):2.623 4.72/2.76 o 55 4.72/2.77 c Got one! Elapsed wall clock time (in seconds):2.628 4.72/2.77 o 43 4.82/2.81 c cleaning 9383 clauses out of 18765 with flag 3692/59675 4.82/2.83 c Got one! Elapsed wall clock time (in seconds):2.696 4.82/2.83 o 37 4.82/2.85 c Got one! Elapsed wall clock time (in seconds):2.708 4.82/2.85 o 33 4.92/2.96 c cleaning 7863 clauses out of 15755 with flag 17791/66048 5.02/3.08 c cleaning 6942 clauses out of 13892 with flag 39800/72048 5.22/3.23 c cleaning 6973 clauses out of 13950 with flag 65046/79048 5.22/3.24 c Got one! Elapsed wall clock time (in seconds):3.105 5.22/3.24 o 27 5.33/3.35 c cleaning 6257 clauses out of 12514 with flag 18613/84585 5.43/3.47 c Got one! Elapsed wall clock time (in seconds):3.328 5.43/3.47 o 25 5.53/3.53 c Got one! Elapsed wall clock time (in seconds):3.389 5.53/3.53 o 24 5.63/3.61 c cleaning 8574 clauses out of 17155 with flag 13313/95483 5.74/3.76 c cleaning 7289 clauses out of 14583 with flag 38901/101485 5.94/3.92 c cleaning 7136 clauses out of 14292 with flag 69108/108483 6.26/4.14 c cleaning 7571 clauses out of 15154 with flag 101092/116483 6.45/4.21 c Got one! Elapsed wall clock time (in seconds):4.069 6.45/4.21 o 22 6.45/4.30 c cleaning 6696 clauses out of 13394 with flag 11891/122294 6.81/4.45 c cleaning 6336 clauses out of 12696 with flag 34726/128293 7.02/4.61 c cleaning 6679 clauses out of 13360 with flag 59682/135293 7.22/4.78 c cleaning 7334 clauses out of 14681 with flag 91331/143293 7.42/4.88 c Got one! Elapsed wall clock time (in seconds):4.745 7.42/4.88 o 15 7.63/4.92 c cleaning 6659 clauses out of 13325 with flag 4206/149272 7.79/5.05 c cleaning 6325 clauses out of 12665 with flag 27117/155272 7.79/5.09 c Got one! Elapsed wall clock time (in seconds):4.95 7.79/5.09 o 13 7.89/5.11 c Got one! Elapsed wall clock time (in seconds):4.974 7.89/5.11 o 12 7.89/5.19 c cleaning 6144 clauses out of 12312 with flag 11649/161244 8.09/5.33 c cleaning 6080 clauses out of 12169 with flag 35622/167245 8.29/5.50 c cleaning 6538 clauses out of 13088 with flag 65095/174245 8.39/5.69 c cleaning 7271 clauses out of 14548 with flag 98178/182244 8.69/5.92 c cleaning 8139 clauses out of 16277 with flag 134996/191244 8.98/6.20 c cleaning 9062 clauses out of 18138 with flag 178810/201245 8.98/6.28 c Got one! Elapsed wall clock time (in seconds):6.143 8.98/6.28 o 11 9.08/6.34 c cleaning 7312 clauses out of 14633 with flag 8540/206802 9.18/6.48 c cleaning 6658 clauses out of 13321 with flag 35460/212803 9.38/6.66 c cleaning 6828 clauses out of 13661 with flag 66284/219802 9.58/6.86 c cleaning 7411 clauses out of 14831 with flag 102615/227802 9.78/7.08 c Got one! Elapsed wall clock time (in seconds):6.945 9.78/7.08 o 10 10.28/7.51 c cleaning 9769 clauses out of 19541 with flag 23611/239926 10.57/7.86 c Got one! Elapsed wall clock time (in seconds):7.723 10.57/7.86 o 8 10.89/8.14 c cleaning 10377 clauses out of 20760 with flag 24650/250919 11.07/8.39 c cleaning 8187 clauses out of 16378 with flag 53801/256918 11.38/8.61 c starts : 158 11.38/8.61 c conflicts : 262338 11.38/8.61 c decisions : 408913 11.38/8.61 c propagations : 5646952 11.38/8.61 c inspects : 64199849 11.38/8.61 c shortcuts : 0 11.38/8.61 c learnt literals : 40 11.38/8.61 c learnt binary clauses : 30 11.38/8.61 c learnt ternary clauses : 370 11.38/8.61 c learnt constraints : 262297 11.38/8.61 c ignored constraints : 0 11.38/8.61 c root simplifications : 0 11.38/8.61 c removed literals (reason simplification) : 0 11.38/8.61 c reason swapping (by a shorter reason) : 0 11.38/8.61 c Calls to reduceDB : 34 11.38/8.61 c Number of update (reduction) of LBD : 63916 11.38/8.61 c Imported unit clauses : 0 11.38/8.61 c No decision after first conflict : false 11.38/8.61 c number of reductions to clauses (during analyze) : 0 11.38/8.61 c number of learned constraints concerned by reduction : 0 11.38/8.61 c number of learning phase by resolution : 0 11.38/8.61 c number of learning phase by cutting planes : 0 11.38/8.61 c number of rounding to 1 operations : 0 11.38/8.61 c number of easy rounding to 1 operations (no literal elimination needed) : 0 11.38/8.61 c number of reductions of the coefficients by power 2 : 0 11.38/8.61 c number of right shift for reduction by power 2 : 0 11.38/8.61 c number of reductions of the coefficients by GCD over coefficients : 0 11.38/8.61 c number of ending skipping : 0 11.38/8.61 c number of internal skipping : 0 11.38/8.61 c number of derivation steps : 0 11.38/8.61 c number of skipped derivation steps : 0 11.38/8.61 c number of remaining unassigned : 0 11.38/8.61 c number of remaining assigned : 0 11.38/8.61 c number of falsified literals weakened from reason : 0 11.38/8.61 c number of falsified literals weakened from conflict : 0 11.38/8.61 c time for arithmetic operations : 0 11.38/8.61 c minimum degree of deleted constraints : null 11.38/8.61 c maximum degree of deleted constraints : null 11.38/8.61 c number of deleted constraints : 0 11.38/8.61 c speed (assignments/second) : 670739.0426416439 11.38/8.61 c non guided choices : 2910 11.38/8.61 s OPTIMUM FOUND 11.38/8.61 c Found 65 solution(s) 11.38/8.61 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 11.38/8.63 c objective function=8 11.38/8.63 c Total wall clock time (in seconds): 8.49
OK 8
runsolver version 3.4.2 (svn: 4680) 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: 64059 MiB (54909 MiB free)
memory of node 1: 64510 MiB (54499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424837-1720881508/watcher-4424837-1720881508 -o /tmp/evaluation-result-4424837-1720881508/solver-4424837-1720881508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424837-1720881508.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=703758, runsolver pid=703755
Current StackSize limit: 8192 KiB
[startup+0.10032 s]*
/proc/loadavg: 4.34 4.31 4.26 6/316 703776
/proc/meminfo: memFree=111998536/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=18975048 memory=61200 CPUtime=0.16 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 6850 0 0 0 14 2 0 0 20 0 18 0 140307519 19430449152 15300 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4743762 15300 5567 1 0 551102 0
[pid=703758/tid=703760] ppid=703755 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 5744 0 0 0 7 1 0 0 20 0 18 0 140307519 19430449152 15300 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140307522 19430449152 15300 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140307523 19430449152 15300 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 61200 KiB
[startup+0.219416 s]*
/proc/loadavg: 4.34 4.31 4.26 7/317 703777
/proc/meminfo: memFree=111989004/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=67048 CPUtime=0.38 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 7599 0 0 0 35 3 0 0 20 0 19 0 140307519 19498610688 16762 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 16762 5771 1 0 551983 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 6054 0 0 0 19 1 0 0 20 0 19 0 140307519 19498610688 16762 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=5822 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 16762 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 16762 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 16762 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 67048 KiB
[startup+0.313717 s]*
/proc/loadavg: 4.34 4.31 4.26 6/317 703777
/proc/meminfo: memFree=111987648/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=67772 CPUtime=0.54 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 8117 0 0 0 51 3 0 0 20 0 19 0 140307519 19498610688 16943 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 16943 5821 1 0 552220 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=-8815905575051633340 CPUtime=0.26 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 6079 0 0 0 25 1 0 0 20 0 19 0 140307519 19498610688 16943 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 16904 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 16904 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 16904 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 67772 KiB
[startup+0.700371 s]
/proc/loadavg: 4.47 4.33 4.27 7/317 703777
/proc/meminfo: memFree=111976316/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=84900 CPUtime=1.26 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 13599 0 0 0 122 4 0 0 20 0 19 0 140307519 19498610688 21225 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 21225 5853 1 0 555437 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=35284 CPUtime=0.6 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 6107 0 0 0 58 2 0 0 20 0 19 0 140307519 19498610688 21225 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 21225 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=2288 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 21225 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=26396 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 21225 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84900 KiB
[startup+1.5004 s]
/proc/loadavg: 4.47 4.33 4.27 7/317 703777
/proc/meminfo: memFree=111965976/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=94568 CPUtime=2.67 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 17228 0 0 0 262 5 0 0 20 0 19 0 140307519 19498610688 23642 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 23642 5869 1 0 555500 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=12724 CPUtime=1.36 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 6672 0 0 0 134 2 0 0 20 0 19 0 140307519 19498610688 23642 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 23642 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=2288 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 23642 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=26396 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 23642 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94568 KiB
[startup+3.1064 s]
/proc/loadavg: 4.47 4.33 4.27 5/317 703777
/proc/meminfo: memFree=111930632/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=127252 CPUtime=5.13 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 24045 0 0 0 506 7 0 0 20 0 19 0 140307519 19498610688 31813 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 31813 5875 1 0 557917 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=0 CPUtime=2.95 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 7433 0 0 0 292 3 0 0 20 0 19 0 140307519 19498610688 31813 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=-8815905575051633340 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 31813 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 31813 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=2288 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 31813 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127252 KiB
[startup+6.3004 s]
/proc/loadavg: 4.43 4.33 4.27 5/317 703778
/proc/meminfo: memFree=111884228/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=175416 CPUtime=9.08 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 24497 0 0 0 900 8 0 0 20 0 19 0 140307519 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 43854 5875 1 0 557939 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=12724 CPUtime=6.11 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 7690 0 0 0 607 4 0 0 20 0 19 0 140307519 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=2288 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=96640 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 175416 KiB
[startup+8.67447 s]
# the end of solver process 703758 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=11.3525 s, system=0.105359 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4004 s]
/proc/loadavg: 4.43 4.33 4.27 5/317 703778
/proc/meminfo: memFree=111884228/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19041612 memory=175416 CPUtime=9.18 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 24499 0 0 0 910 8 0 0 20 0 19 0 140307519 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4760403 43854 5875 1 0 557939 0
[pid=703758/tid=703760] ppid=703755 vsize=19041612 memory=11408 CPUtime=6.21 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 7691 0 0 0 617 4 0 0 20 0 19 0 140307519 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19041612 memory=35284 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140307522 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19041612 memory=-8815905575051633340 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140307523 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19041612 memory=-8815905575051633340 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140307539 19498610688 43854 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 9.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 175416 KiB
[startup+8.00043 s]*
/proc/loadavg: 4.43 4.33 4.27 5/318 703779
/proc/meminfo: memFree=111871608/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19108176 memory=183852 CPUtime=10.79 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 25398 0 0 0 1070 9 0 0 20 0 20 0 140307519 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4777044 45963 5891 1 0 558228 0
[pid=703758/tid=703760] ppid=703755 vsize=19108176 memory=-8815905575051633340 CPUtime=7.79 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 7693 0 0 0 775 4 0 0 20 0 20 0 140307519 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140307522 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19108176 memory=1464040 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 140307523 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19108176 memory=386175 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140307539 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 10.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183852 KiB
[startup+8.40039 s]
/proc/loadavg: 4.43 4.33 4.27 5/318 703779
/proc/meminfo: memFree=111871608/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19108176 memory=183852 CPUtime=11.17 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 25398 0 0 0 1108 9 0 0 20 0 20 0 140307519 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4777044 45963 5891 1 0 558228 0
[pid=703758/tid=703760] ppid=703755 vsize=19108176 memory=32072 CPUtime=8.18 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 4194368 7693 0 0 0 814 4 0 0 20 0 20 0 140307519 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19108176 memory=19736 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140307522 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 140307523 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19108176 memory=37024 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140307539 19566772224 45963 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 11.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183852 KiB
[startup+8.60091 s]
/proc/loadavg: 4.43 4.33 4.27 5/318 703779
/proc/meminfo: memFree=111871608/131655788 swapFree=131071996/131071996
[pid=703758] ppid=703755 vsize=19241304 memory=184136 CPUtime=11.38 cores=0,2
/proc/703758/stat : 703758 (java) S 703755 703758 697515 0 -1 1077936128 26267 0 0 0 1129 9 0 0 20 0 22 0 140307519 19703095296 46034 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
/proc/703758/statm: 4810326 46034 5890 1 0 558818 0
[pid=703758/tid=703760] ppid=703755 vsize=19241304 memory=6349848 CPUtime=8.37 cores=0,2
/proc/703758/task/703760/stat : 703760 (java) R 703755 703758 697515 0 -1 1077936192 8329 0 0 0 833 4 0 0 20 0 22 0 140307519 19703095296 46034 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703769] ppid=703755 vsize=19241304 memory=2712 CPUtime=0 cores=0,2
/proc/703758/task/703769/stat : 703769 (Finalizer) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 140307522 19703095296 46034 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703776] ppid=703755 vsize=19241304 memory=4724 CPUtime=0 cores=0,2
/proc/703758/task/703776/stat : 703776 (Common-Cleaner) S 703755 703758 697515 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 22 0 140307523 19703095296 46034 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
[pid=703758/tid=703777] ppid=703755 vsize=19241304 memory=2972840 CPUtime=0 cores=0,2
/proc/703758/task/703777/stat : 703777 (Timer-0) S 703755 703758 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 140307539 19703095296 46034 134679101440 94606318022656 94606318026352 140732621472832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94606318034168 94606318034960 94606320836608 140732621480941 140732621481031 140732621481031 140732621488072 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 184136 KiB
Child status: 30
Real time (s): 8.67455
CPU time (s): 11.4579
CPU user time (s): 11.3525
CPU system time (s): 0.105359
CPU usage (%): 132.086
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 184136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3525
system time used= 0.105359
maximum resident set size= 185820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 782
involuntary context switches= 362
# summary of solver processes directly reported to runsolver:
# pid: 703758
# total CPU time (s): 11.4579
# total CPU user time (s): 11.3525
# total CPU system time (s): 0.105359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052375 second user time and 0.116685 second system time
The end
Begin job on nodeC007 at 2024-07-13 16:38:41 IDJOB=4424837 IDBENCH=143740 IDSOLVER=3037 FILE ID=nodeC007/4424837-1720881508 RUNJOBID= nodeC007-1720877762-699779 SLURM_JOB_ID= 7483755 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424837-1720881508/watcher-4424837-1720881508 -o /tmp/evaluation-result-4424837-1720881508/solver-4424837-1720881508 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699779 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424837-1720881508.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 78530bd9d8566fef18fc3cd1ae043ffe RANDOM SEED=2032888433 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.652 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3583.256 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.136 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3507.730 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3535.747 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 112034904 kB MemAvailable: 111938188 kB Buffers: 323116 kB Cached: 429420 kB SwapCached: 0 kB Active: 477276 kB Inactive: 18610012 kB Active(anon): 1484 kB Inactive(anon): 18370980 kB Active(file): 475792 kB Inactive(file): 239032 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1128 kB Writeback: 0 kB AnonPages: 18334752 kB Mapped: 121864 kB Shmem: 37704 kB KReclaimable: 56984 kB Slab: 146616 kB SReclaimable: 56984 kB SUnreclaim: 89632 kB KernelStack: 4832 kB PageTables: 45564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 22153068 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45696 kB HardwareCorrupted: 0 kB AnonHugePages: 18022400 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723780 MiB End job on nodeC007 at 2024-07-13 16:38:50