Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | 60 | 3600.11 | 3609.21 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb |
| MD5SUM | 8deb0b9174477a1f2aeb72dadb0281d2 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 71099.4 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6328 |
| Sum of products size (including duplicates) | 12656 |
| Number of different products | 6328 |
| Sum of products size | 12656 |
0.10/0.11 o 212 0.10/0.12 o 211 0.10/0.12 o 210 0.10/0.12 o 209 0.10/0.12 o 208 0.10/0.12 o 207 0.10/0.12 o 206 0.10/0.13 o 205 0.10/0.13 o 204 0.10/0.13 o 203 0.10/0.13 o 202 0.10/0.13 o 201 0.10/0.13 o 200 0.10/0.14 o 199 0.10/0.14 o 198 0.10/0.14 o 197 0.10/0.14 o 196 0.10/0.15 o 195 0.10/0.15 o 194 0.10/0.15 o 193 0.10/0.15 o 192 0.10/0.16 o 191 0.10/0.16 o 190 0.10/0.16 o 189 0.10/0.16 o 188 0.10/0.16 o 187 0.10/0.19 o 186 0.10/0.19 o 185 0.10/0.19 o 184 0.10/0.19 o 183 0.10/0.20 o 182 0.10/0.20 o 181 0.10/0.20 o 180 0.10/0.20 o 179 0.10/0.20 o 178 0.10/0.20 o 177 0.20/0.21 o 176 0.20/0.21 o 175 0.20/0.21 o 174 0.20/0.21 o 173 0.20/0.21 o 172 0.20/0.21 o 171 0.20/0.21 o 170 0.20/0.21 o 169 0.20/0.21 o 168 0.20/0.21 o 167 0.20/0.21 o 166 0.20/0.22 o 165 0.20/0.22 o 164 0.20/0.22 o 163 0.20/0.22 o 162 0.20/0.22 o 161 0.20/0.22 o 160 0.20/0.22 o 159 0.20/0.22 o 158 0.20/0.22 o 157 0.20/0.22 o 156 0.20/0.23 o 155 0.20/0.23 o 154 0.30/0.35 o 153 0.30/0.35 o 152 0.30/0.35 o 151 0.30/0.35 o 150 0.30/0.36 o 149 0.30/0.36 o 148 0.30/0.36 o 147 0.30/0.36 o 146 0.30/0.36 o 145 0.30/0.36 o 144 0.30/0.37 o 143 0.30/0.37 o 142 0.30/0.37 o 141 0.30/0.37 o 140 0.30/0.37 o 139 0.30/0.37 o 138 0.30/0.37 o 137 0.30/0.38 o 136 0.30/0.38 o 135 0.30/0.38 o 134 0.30/0.38 o 133 0.30/0.38 o 132 0.30/0.38 o 131 0.30/0.39 o 130 0.30/0.39 o 129 0.30/0.39 o 128 0.30/0.39 o 127 0.30/0.39 o 126 0.30/0.40 o 125 0.40/0.41 o 124 0.40/0.41 o 123 0.40/0.41 o 122 0.40/0.42 o 121 0.40/0.42 o 120 0.40/0.42 o 119 0.40/0.42 o 118 0.40/0.43 o 117 0.40/0.44 o 116 0.40/0.44 o 115 0.40/0.44 o 114 0.40/0.45 o 113 0.40/0.45 o 112 0.40/0.46 o 111 0.40/0.46 o 110 0.40/0.47 o 109 0.40/0.47 o 108 0.40/0.47 o 107 0.40/0.49 o 106 0.50/0.53 o 105 0.68/0.77 o 104 0.68/0.77 o 103 0.68/0.77 o 102 0.68/0.78 o 101 0.68/0.78 o 100 0.68/0.78 o 99 0.68/0.78 o 98 0.68/0.78 o 97 0.68/0.79 o 96 0.68/0.79 o 95 0.68/0.79 o 94 0.68/0.79 o 93 0.78/0.80 o 92 0.78/0.80 o 91 0.78/0.80 o 90 0.78/0.82 o 89 0.78/0.82 o 88 0.78/0.84 o 87 0.78/0.86 o 86 0.88/0.93 o 85 6.67/6.70 o 84 6.67/6.70 o 83 6.67/6.71 o 82 7.27/7.35 o 81 17.14/17.21 o 80 17.14/17.21 o 79 17.14/17.22 o 78 20.74/20.80 o 77 49.35/49.58 o 76 50.05/50.24 o 75 57.12/57.31 o 74 62.70/62.90 o 73 77.56/77.85 o 72 77.66/77.91 o 71 109.06/109.49 o 70 182.42/183.07 o 69 182.81/183.49 o 68 193.57/194.25 o 67 225.07/225.80 o 66 470.49/471.95 o 65 785.25/787.43 o 64 790.74/792.90 o 63 1772.17/1776.79 o 62 1960.72/1965.70 o 61 2270.19/2275.98 o 60 3600.08/3609.20 c Program interrupted by user. 3600.08/3609.20 s SATISFIABLE 3600.08/3609.20 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 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500
OK 60
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: 63968 MiB (59392 MiB free)
memory of node 1: 64473 MiB (60336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459817-1721943063/watcher-4459817-1721943063 -o /tmp/evaluation-result-4459817-1721943063/solver-4459817-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255909 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=472718047 HOME/instance-4459817-1721943063.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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
Current StackSize limit: 8192 KiB
solver pid=255967, runsolver pid=255952
[startup+0.100615 s]*
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122484636/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=53428 memory=31476 CPUtime=0.1 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 8018 0 0 0 8 2 0 0 20 0 1 0 30834234 54710272 7869 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 13357 7869 1044 1005 0 12120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53428 KiB
Current children cumulated memory: 31476 KiB
[startup+0.205807 s]*
/proc/loadavg: 3.01 3.10 3.08 5/260 255972
/proc/meminfo: memFree=122473032/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=54460 memory=33096 CPUtime=0.2 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 8329 0 0 0 18 2 0 0 20 0 1 0 30834234 55767040 8274 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 13615 8274 1124 1005 0 12378 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54460 KiB
Current children cumulated memory: 33096 KiB
[startup+0.306228 s]*
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122398812/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=54856 memory=35672 CPUtime=0.3 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 8471 0 0 0 28 2 0 0 20 0 1 0 30834234 56172544 8918 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 13714 8918 1124 1005 0 12477 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54856 KiB
Current children cumulated memory: 35672 KiB
[startup+0.700203 s]
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122385112/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=58216 memory=40880 CPUtime=0.68 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 9268 0 0 0 66 2 0 0 20 0 1 0 30834234 59613184 10220 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 14554 10220 1124 1005 0 13317 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58216 KiB
Current children cumulated memory: 40880 KiB
[startup+1.50019 s]
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122371132/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=66568 memory=51832 CPUtime=1.49 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 10961 0 0 0 146 3 0 0 20 0 1 0 30834234 68165632 12958 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 16642 12958 1124 1005 0 15405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66568 KiB
Current children cumulated memory: 51832 KiB
[startup+3.10647 s]
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122327940/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=77116 memory=69088 CPUtime=3.08 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 13739 0 0 0 305 3 0 0 20 0 1 0 30834234 78966784 17272 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 19279 17272 1140 1005 0 18042 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77116 KiB
Current children cumulated memory: 69088 KiB
[startup+6.30017 s]
/proc/loadavg: 3.09 3.11 3.09 8/260 255974
/proc/meminfo: memFree=122295848/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=78988 memory=70936 CPUtime=6.27 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 14197 0 0 0 622 5 0 0 20 0 1 0 30834234 80883712 17734 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 19747 17734 1140 1005 0 18510 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78988 KiB
Current children cumulated memory: 70936 KiB
[startup+12.7002 s]
/proc/loadavg: 3.16 3.13 3.09 8/260 255974
/proc/meminfo: memFree=122240060/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=97336 memory=88256 CPUtime=12.65 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 16211 0 0 0 1258 7 0 0 20 0 1 0 30834234 99672064 22064 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 24334 22064 1140 1005 0 23097 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 97336 KiB
Current children cumulated memory: 88256 KiB
[startup+25.5002 s]
/proc/loadavg: 3.35 3.17 3.11 8/260 255977
/proc/meminfo: memFree=122191328/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=100708 memory=91292 CPUtime=25.43 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 17026 0 0 0 2533 10 0 0 20 0 1 0 30834234 103124992 22823 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 25177 22823 1140 1005 0 23940 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 100708 KiB
Current children cumulated memory: 91292 KiB
[startup+51.1062 s]
/proc/loadavg: 3.57 3.24 3.13 7/260 256027
/proc/meminfo: memFree=121908716/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=104968 memory=95688 CPUtime=50.95 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 18106 0 0 0 5078 17 0 0 20 0 1 0 30834234 107487232 23922 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 26242 23922 1140 1005 0 25005 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 104968 KiB
Current children cumulated memory: 95688 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.44 3.21 7/260 256036
/proc/meminfo: memFree=121814616/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=116708 memory=106108 CPUtime=101.98 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 20748 0 0 0 10167 31 0 0 20 0 1 0 30834234 119508992 26527 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 29177 26527 1140 1005 0 27940 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 116708 KiB
Current children cumulated memory: 106108 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 3.60 3.28 7/258 256048
/proc/meminfo: memFree=121765092/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=122776 memory=113132 CPUtime=161.78 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 22571 0 0 0 16134 44 0 0 20 0 1 0 30834234 125722624 28283 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 30694 28283 1140 1005 0 29457 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 122776 KiB
Current children cumulated memory: 113132 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.69 3.33 7/258 256058
/proc/meminfo: memFree=121731916/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=153108 memory=129464 CPUtime=221.58 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 25016 0 0 0 22100 58 0 0 20 0 1 0 30834234 156782592 32366 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 38277 32366 1140 1005 0 37040 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 153108 KiB
Current children cumulated memory: 129464 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.75 3.38 7/254 256068
/proc/meminfo: memFree=121712836/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=155644 memory=132572 CPUtime=281.39 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 25816 0 0 0 28065 74 0 0 20 0 1 0 30834234 159379456 33143 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 38911 33143 1140 1005 0 37674 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 155644 KiB
Current children cumulated memory: 132572 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 3.91 3.46 7/252 256078
/proc/meminfo: memFree=121682576/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=159796 memory=140108 CPUtime=341.22 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 26993 0 0 0 34033 89 0 0 20 0 1 0 30834234 163631104 35027 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 39949 35027 1140 1005 0 38712 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 159796 KiB
Current children cumulated memory: 140108 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.94 3.50 7/252 256089
/proc/meminfo: memFree=121665080/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=164628 memory=147320 CPUtime=401.07 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 28260 0 0 0 40006 101 0 0 20 0 1 0 30834234 168579072 36830 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 41157 36830 1140 1005 0 39920 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 147320 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.97 3.54 7/252 256099
/proc/meminfo: memFree=121641628/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=167300 memory=152032 CPUtime=460.92 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 28956 0 0 0 45977 115 0 0 20 0 1 0 30834234 171315200 38008 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 41825 38008 1140 1005 0 40588 0
################
# More data... #
################
Current children cumulated memory: 244260 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.08 7/253 257640
/proc/meminfo: memFree=121224008/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=286416 memory=245844 CPUtime=2855.2 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 51823 0 0 0 284862 658 0 0 20 0 1 0 30834234 293289984 61461 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 71604 61461 1140 1005 0 70367 0
Current children cumulated CPU time: 2855.2 s
Current children cumulated vsize: 286416 KiB
Current children cumulated memory: 245844 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.08 7/253 257652
/proc/meminfo: memFree=121212200/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=287636 memory=247024 CPUtime=2915.01 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 52235 0 0 0 290827 674 0 0 20 0 1 0 30834234 294539264 61756 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 71909 61756 1140 1005 0 70672 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 287636 KiB
Current children cumulated memory: 247024 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.08 7/255 257667
/proc/meminfo: memFree=121209448/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=288980 memory=248344 CPUtime=2974.82 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 52551 0 0 0 296795 687 0 0 20 0 1 0 30834234 295915520 62086 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 72245 62086 1140 1005 0 71008 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 288980 KiB
Current children cumulated memory: 248344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.08 7/254 257678
/proc/meminfo: memFree=121198992/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=290704 memory=249776 CPUtime=3034.63 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 53070 0 0 0 302765 698 0 0 20 0 1 0 30834234 297680896 62444 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 72676 62444 1140 1005 0 71439 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 290704 KiB
Current children cumulated memory: 249776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.08 7/254 257688
/proc/meminfo: memFree=121191572/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=291736 memory=250832 CPUtime=3094.45 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 53339 0 0 0 308736 709 0 0 20 0 1 0 30834234 298737664 62708 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 72934 62708 1140 1005 0 71697 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 291736 KiB
Current children cumulated memory: 250832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.08 7/254 257700
/proc/meminfo: memFree=121179820/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=293168 memory=252556 CPUtime=3154.26 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 53814 0 0 0 314705 721 0 0 20 0 1 0 30834234 300204032 63139 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 73292 63139 1140 1005 0 72055 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 293168 KiB
Current children cumulated memory: 252556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 7/253 257710
/proc/meminfo: memFree=121174076/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=294360 memory=254144 CPUtime=3214.09 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 54121 0 0 0 320677 732 0 0 20 0 1 0 30834234 301424640 63536 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 73590 63536 1140 1005 0 72353 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 294360 KiB
Current children cumulated memory: 254144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/253 258104
/proc/meminfo: memFree=121155628/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=294652 memory=254520 CPUtime=3273.95 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 54295 0 0 0 326647 748 0 0 20 0 1 0 30834234 301723648 63630 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 73663 63630 1140 1005 0 72426 0
Current children cumulated CPU time: 3273.95 s
Current children cumulated vsize: 294652 KiB
Current children cumulated memory: 254520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/253 258114
/proc/meminfo: memFree=121150180/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=295596 memory=255572 CPUtime=3333.82 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 54536 0 0 0 332620 762 0 0 20 0 1 0 30834234 302690304 63893 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 73899 63893 1140 1005 0 72662 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 295596 KiB
Current children cumulated memory: 255572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/253 258125
/proc/meminfo: memFree=121147464/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=296560 memory=256176 CPUtime=3393.67 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 54855 0 0 0 338595 772 0 0 20 0 1 0 30834234 303677440 64044 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 74140 64044 1140 1005 0 72903 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 296560 KiB
Current children cumulated memory: 256176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.14 4.10 7/255 258305
/proc/meminfo: memFree=121146676/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=296560 memory=256440 CPUtime=3453.53 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 54882 0 0 0 344572 781 0 0 20 0 1 0 30834234 303677440 64110 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 74140 64110 1140 1005 0 72903 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 296560 KiB
Current children cumulated memory: 256440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.76 4.35 4.18 7/255 258315
/proc/meminfo: memFree=121138260/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=297956 memory=257624 CPUtime=3513.39 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 55312 0 0 0 350544 795 0 0 20 0 1 0 30834234 305106944 64406 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 74489 64406 1140 1005 0 73252 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 297956 KiB
Current children cumulated memory: 257624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.30 4.18 7/255 258384
/proc/meminfo: memFree=121135316/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=299836 memory=259708 CPUtime=3573.25 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 55792 0 0 0 356517 808 0 0 20 0 1 0 30834234 307032064 64927 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 74959 64927 1140 1005 0 73722 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 299836 KiB
Current children cumulated memory: 259708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.29 4.29 4.18 6/253 258389
/proc/meminfo: memFree=121256580/131524600 swapFree=131060368/131071996
[pid=255967] ppid=255952 vsize=305076 memory=262872 CPUtime=3600.08 cores=1,3
/proc/255967/stat : 255967 (Exact) R 255952 255967 253732 0 -1 4194304 56640 0 0 0 359193 815 0 0 20 0 1 0 30834234 312397824 65718 134679101440 4194304 8309489 140729648590736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 17276928 140729648595906 140729648596075 140729648596075 140729648603087 0
/proc/255967/statm: 76269 65718 1140 1005 0 75032 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 305076 KiB
Current children cumulated memory: 262872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 255967 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.95 s, system=8.15976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.21
CPU time (s): 3600.11
CPU user time (s): 3591.95
CPU system time (s): 8.15976
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 305076
Max. memory (cumulated for all children) (KiB): 262872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.95
system time used= 8.15976
maximum resident set size= 281568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 2654
# summary of solver processes directly reported to runsolver:
# pid: 255967
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.95
# total CPU system time (s): 8.15976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79434 second user time and 18.9162 second system time
The end
Begin job on nodeC014 at 2024-07-25 23:31:03 IDJOB=4459817 IDBENCH=148588 IDSOLVER=3060 FILE ID=nodeC014/4459817-1721943063 RUNJOBID= nodeC014-1721943063-255909 SLURM_JOB_ID= 8247236 Free space on /tmp= 890036 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459817-1721943063/watcher-4459817-1721943063 -o /tmp/evaluation-result-4459817-1721943063/solver-4459817-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255909 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=472718047 HOME/instance-4459817-1721943063.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2 RANDOM SEED=472718047 nodeC014.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 : 0xb00002a cpu MHz : 3691.125 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.45 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 : 0xb00002a cpu MHz : 3878.283 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3832.580 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.45 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 : 0xb00002a cpu MHz : 3778.959 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3857.432 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.45 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 : 0xb00002a cpu MHz : 3854.492 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3609.019 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.45 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 : 0xb00002a cpu MHz : 3608.147 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122603124 kB MemAvailable: 129790112 kB Buffers: 335972 kB Cached: 7643344 kB SwapCached: 140 kB Active: 766828 kB Inactive: 7487116 kB Active(anon): 2108 kB Inactive(anon): 325276 kB Active(file): 764720 kB Inactive(file): 7161840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 24240 kB Writeback: 0 kB AnonPages: 271364 kB Mapped: 92292 kB Shmem: 52988 kB KReclaimable: 200504 kB Slab: 323792 kB SReclaimable: 200504 kB SUnreclaim: 123288 kB KernelStack: 3984 kB PageTables: 9524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 713200 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 890012 MiB End job on nodeC014 at 2024-07-26 00:31:13