Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | -114 | 3600.08 | 3609.91 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb |
| MD5SUM | a8db507b9a19068579e2e54aa556294a |
| 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 | -131 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 10 |
| Maximum length of a constraint | 21 |
| 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 | 3164 |
| Sum of products size | 6328 |
0.00/0.05 o 0 0.00/0.05 o -1 0.00/0.05 o -2 0.00/0.05 o -3 1.19/1.23 o -89 1.19/1.23 o -90 1.19/1.23 o -91 1.19/1.24 o -92 1.19/1.24 o -93 1.19/1.25 o -94 1.29/1.30 o -95 1.68/1.73 o -96 1.88/1.95 o -97 2.09/2.15 o -98 2.38/2.40 o -99 2.99/3.05 o -100 26.32/26.49 o -101 26.41/26.51 o -102 26.51/26.63 o -103 47.75/47.94 o -104 52.33/52.57 o -105 53.03/53.27 o -106 1304.95/1308.53 o -107 1305.34/1308.96 o -108 1396.01/1399.85 o -109 1396.01/1399.86 o -110 1396.11/1399.97 o -111 1396.31/1400.11 o -112 1396.41/1400.26 o -113 1396.51/1400.39 o -114 3600.07/3609.90 c Program interrupted by user. 3600.07/3609.90 s SATISFIABLE 3600.07/3609.90 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 -114
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: 63665 MiB (62369 MiB free)
memory of node 1: 64507 MiB (63864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498195-1751268249/watcher-4498195-1751268249 -o /tmp/evaluation-result-4498195-1751268249/solver-4498195-1751268249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751268232-33797 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=27383631 --ls=0 --inp-dombreaklim=0 HOME/instance-4498195-1751268249.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=34111, runsolver pid=34106
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.99 0.28 0.15 5/266 34124
/proc/meminfo: memFree=129234364/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=44712 memory=22512 CPUtime=0.09 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 5047 0 0 0 9 0 0 0 20 0 1 0 42504768 45785088 5628 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 11178 5628 1280 1200 0 9658 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44712 KiB
Current children cumulated memory: 22512 KiB
[startup+0.205213 s]*
/proc/loadavg: 0.99 0.28 0.15 5/266 34124
/proc/meminfo: memFree=129229264/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=45632 memory=25376 CPUtime=0.2 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 5261 0 0 0 19 1 0 0 20 0 1 0 42504768 46727168 6344 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 11408 6344 1280 1200 0 9888 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45632 KiB
Current children cumulated memory: 25376 KiB
[startup+0.305573 s]*
/proc/loadavg: 0.99 0.28 0.15 5/266 34124
/proc/meminfo: memFree=129219436/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=47268 memory=27168 CPUtime=0.3 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 5696 0 0 0 29 1 0 0 20 0 1 0 42504768 48402432 6792 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 11817 6792 1280 1200 0 10297 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47268 KiB
Current children cumulated memory: 27168 KiB
[startup+0.70016 s]
/proc/loadavg: 0.99 0.28 0.15 5/266 34124
/proc/meminfo: memFree=129219436/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=48916 memory=28704 CPUtime=0.68 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 6088 0 0 0 67 1 0 0 20 0 1 0 42504768 50089984 7176 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 12229 7176 1280 1200 0 10709 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 48916 KiB
Current children cumulated memory: 28704 KiB
[startup+1.50018 s]
/proc/loadavg: 0.99 0.28 0.15 5/266 34124
/proc/meminfo: memFree=129213324/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=50612 memory=34164 CPUtime=1.49 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 6437 0 0 0 147 2 0 0 20 0 1 0 42504768 51826688 8541 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 12653 8541 1280 1200 0 11133 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50612 KiB
Current children cumulated memory: 34164 KiB
[startup+3.10546 s]
/proc/loadavg: 1.23 0.35 0.18 5/266 34124
/proc/meminfo: memFree=129168908/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=63376 memory=53820 CPUtime=3.09 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 9321 0 0 0 306 3 0 0 20 0 1 0 42504768 64897024 13455 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 15844 13455 1280 1200 0 14324 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63376 KiB
Current children cumulated memory: 53820 KiB
[startup+6.30013 s]
/proc/loadavg: 1.23 0.35 0.18 5/266 34124
/proc/meminfo: memFree=129157248/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=80436 memory=61348 CPUtime=6.27 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 10909 0 0 0 621 6 0 0 20 0 1 0 42504768 82366464 15337 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 20109 15337 1280 1200 0 18589 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80436 KiB
Current children cumulated memory: 61348 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 0.41 0.20 5/266 34124
/proc/meminfo: memFree=129128712/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=83248 memory=70628 CPUtime=12.66 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 11710 0 0 0 1256 10 0 0 20 0 1 0 42504768 85245952 17657 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 20812 17657 1280 1200 0 19292 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 83248 KiB
Current children cumulated memory: 70628 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 0.58 0.26 5/266 34125
/proc/meminfo: memFree=129117128/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=86352 memory=77824 CPUtime=25.41 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 12503 0 0 0 2523 18 0 0 20 0 1 0 42504768 88424448 19456 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 21588 19456 1280 1200 0 20068 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86352 KiB
Current children cumulated memory: 77824 KiB
[startup+51.1055 s]
/proc/loadavg: 2.75 0.87 0.36 5/266 34125
/proc/meminfo: memFree=129055732/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=121964 memory=101844 CPUtime=50.94 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 15879 0 0 0 5062 32 0 0 20 0 1 0 42504768 124891136 25461 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 30491 25461 1280 1200 0 28971 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 121964 KiB
Current children cumulated memory: 101844 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 1.37 0.56 5/265 34127
/proc/meminfo: memFree=129029400/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=143500 memory=122664 CPUtime=101.96 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 20553 0 0 0 10133 63 0 0 20 0 1 0 42504768 146944000 30666 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 35875 30666 1280 1200 0 34355 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 143500 KiB
Current children cumulated memory: 122664 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.87 0.79 5/265 34129
/proc/meminfo: memFree=128993804/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=150524 memory=129960 CPUtime=161.77 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 22279 0 0 0 16080 97 0 0 20 0 1 0 42504768 154136576 32490 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 37631 32490 1280 1200 0 36111 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 150524 KiB
Current children cumulated memory: 129960 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.28 1.00 5/266 34132
/proc/meminfo: memFree=128970720/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=151656 memory=135976 CPUtime=221.61 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 22650 0 0 0 22030 131 0 0 20 0 1 0 42504768 155295744 33994 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 37914 33994 1280 1200 0 36394 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 151656 KiB
Current children cumulated memory: 135976 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.61 1.19 5/266 34134
/proc/meminfo: memFree=128966068/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=152612 memory=136872 CPUtime=281.45 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 22884 0 0 0 27977 168 0 0 20 0 1 0 42504768 156274688 34218 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 38153 34218 1280 1200 0 36633 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 152612 KiB
Current children cumulated memory: 136872 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 2.88 1.38 5/264 34137
/proc/meminfo: memFree=128931832/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=154716 memory=139048 CPUtime=341.3 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 23434 0 0 0 33928 202 0 0 20 0 1 0 42504768 158429184 34762 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 38679 34762 1280 1200 0 37159 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 154716 KiB
Current children cumulated memory: 139048 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.10 1.55 5/264 34139
/proc/meminfo: memFree=128926088/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=155544 memory=139816 CPUtime=401.13 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 23702 0 0 0 39877 236 0 0 20 0 1 0 42504768 159277056 34954 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 38886 34954 1280 1200 0 37366 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 155544 KiB
Current children cumulated memory: 139816 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.30 1.71 5/264 34141
/proc/meminfo: memFree=128911080/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=156084 memory=140456 CPUtime=460.99 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 23876 0 0 0 45828 271 0 0 20 0 1 0 42504768 159830016 35114 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 39021 35114 1280 1200 0 37501 0
################
# More data... #
################
Current children cumulated memory: 173768 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 3.98 5/262 34262
/proc/meminfo: memFree=128750744/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=187964 memory=173896 CPUtime=2914.29 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31134 0 0 0 289838 1591 0 0 20 0 1 0 42504768 192475136 43474 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 46991 43474 1280 1200 0 45471 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 187964 KiB
Current children cumulated memory: 173896 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 3.99 5/262 34264
/proc/meminfo: memFree=128754700/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=189500 memory=175304 CPUtime=2974.12 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31460 0 0 0 295788 1624 0 0 20 0 1 0 42504768 194048000 43826 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47375 43826 1280 1200 0 45855 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 189500 KiB
Current children cumulated memory: 175304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/263 34273
/proc/meminfo: memFree=128762416/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=190268 memory=176072 CPUtime=3033.97 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31631 0 0 0 301742 1655 0 0 20 0 1 0 42504768 194834432 44018 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47567 44018 1280 1200 0 46047 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 190268 KiB
Current children cumulated memory: 176072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/263 34275
/proc/meminfo: memFree=128756884/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=190460 memory=176200 CPUtime=3093.81 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31679 0 0 0 307693 1688 0 0 20 0 1 0 42504768 195031040 44050 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47615 44050 1280 1200 0 46095 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 190460 KiB
Current children cumulated memory: 176200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.36 4.17 4.03 5/263 34277
/proc/meminfo: memFree=128756908/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=190652 memory=176456 CPUtime=3153.65 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31794 0 0 0 313647 1718 0 0 20 0 1 0 42504768 195227648 44114 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47663 44114 1280 1200 0 46143 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 190652 KiB
Current children cumulated memory: 176456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.21 4.06 5/263 34279
/proc/meminfo: memFree=128749660/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=191228 memory=176968 CPUtime=3213.49 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 31927 0 0 0 319599 1750 0 0 20 0 1 0 42504768 195817472 44242 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47807 44242 1280 1200 0 46287 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 191228 KiB
Current children cumulated memory: 176968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.06 5/263 34281
/proc/meminfo: memFree=128748540/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=191612 memory=177352 CPUtime=3273.33 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32024 0 0 0 325555 1778 0 0 20 0 1 0 42504768 196210688 44338 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 47903 44338 1280 1200 0 46383 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 191612 KiB
Current children cumulated memory: 177352 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.06 5/262 34283
/proc/meminfo: memFree=128736196/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=192572 memory=178120 CPUtime=3333.17 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32243 0 0 0 331512 1805 0 0 20 0 1 0 42504768 197193728 44530 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48143 44530 1280 1200 0 46623 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 192572 KiB
Current children cumulated memory: 178120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.18 4.07 5/262 34285
/proc/meminfo: memFree=128744588/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=192984 memory=178632 CPUtime=3393.01 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32353 0 0 0 337465 1836 0 0 20 0 1 0 42504768 197615616 44658 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48246 44658 1280 1200 0 46726 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 192984 KiB
Current children cumulated memory: 178632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.22 4.09 5/262 34287
/proc/meminfo: memFree=128739620/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=192984 memory=179016 CPUtime=3452.86 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32375 0 0 0 343416 1870 0 0 20 0 1 0 42504768 197615616 44754 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48246 44754 1280 1200 0 46726 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 192984 KiB
Current children cumulated memory: 179016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.09 5/264 34292
/proc/meminfo: memFree=128728400/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=193368 memory=179656 CPUtime=3512.7 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32474 0 0 0 349370 1900 0 0 20 0 1 0 42504768 198008832 44914 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48342 44914 1280 1200 0 46822 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 193368 KiB
Current children cumulated memory: 179656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.40 4.26 4.12 5/264 34293
/proc/meminfo: memFree=128747476/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=193752 memory=180040 CPUtime=3572.54 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32570 0 0 0 355323 1931 0 0 20 0 1 0 42504768 198402048 45010 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48438 45010 1280 1200 0 46918 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 193752 KiB
Current children cumulated memory: 180040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.24 4.23 4.11 5/265 34346
/proc/meminfo: memFree=128897200/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=193944 memory=180168 CPUtime=3600.07 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32618 0 0 0 358061 1946 0 0 20 0 1 0 42504768 198598656 45042 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48486 45042 1280 1200 0 46966 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193944 KiB
Current children cumulated memory: 180168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 34111 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3580.62 s, system=19.4626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.24 4.23 4.11 5/265 34346
/proc/meminfo: memFree=128897200/131250000 swapFree=33010684/33010684
[pid=34111] ppid=34106 vsize=193944 memory=180168 CPUtime=3600.07 cores=5,7
/proc/34111/stat : 34111 (Exact) R 34106 34111 33777 0 -1 4194304 32618 0 0 0 358061 1946 0 0 20 0 1 0 42504768 198598656 45042 18446744073709551615 4198400 9112445 140725678673568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 38957056 140725678676266 140725678676461 140725678676461 140725678682063 0
/proc/34111/statm: 48486 45042 1280 1200 0 46966 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 193944 KiB
Current children cumulated memory: 180168 KiB
Child status: 10
Real time (s): 3609.91
CPU time (s): 3600.08
CPU user time (s): 3580.62
CPU system time (s): 19.4626
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 193944
Max. memory (cumulated for all children) (KiB): 180168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.62
system time used= 19.4626
maximum resident set size= 180296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32621
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= 53
involuntary context switches= 4320
# summary of solver processes directly reported to runsolver:
# pid: 34111
# total CPU time (s): 3600.08
# total CPU user time (s): 3580.62
# total CPU system time (s): 19.4626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92419 second user time and 15.4441 second system time
The end
Begin job on nodeC027 at 2025-06-30 09:24:09 IDJOB=4498195 IDBENCH=148554 IDSOLVER=3318 FILE ID=nodeC027/4498195-1751268249 RUNJOBID= nodeC027-1751268232-33797 SLURM_JOB_ID= 9594194 Free space on /tmp= 433056 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498195-1751268249/watcher-4498195-1751268249 -o /tmp/evaluation-result-4498195-1751268249/solver-4498195-1751268249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751268232-33797 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=27383631 --ls=0 --inp-dombreaklim=0 HOME/instance-4498195-1751268249.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a8db507b9a19068579e2e54aa556294a RANDOM SEED=27383631 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3594.473 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.658 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.920 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3601.384 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.639 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.638 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.259 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 3599.471 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129270780 kB MemAvailable: 129684496 kB Buffers: 3280 kB Cached: 1217476 kB SwapCached: 0 kB Active: 429404 kB Inactive: 960552 kB Active(anon): 187592 kB Inactive(anon): 0 kB Active(file): 241812 kB Inactive(file): 960552 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 8304 kB Writeback: 0 kB AnonPages: 172904 kB Mapped: 108360 kB Shmem: 18068 kB KReclaimable: 100780 kB Slab: 186532 kB SReclaimable: 100780 kB SUnreclaim: 85752 kB KernelStack: 4172 kB PageTables: 3188 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 485892 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 53248 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433036 MiB End job on nodeC027 at 2025-06-30 10:24:19