Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 194 | 3574.56 | 3700.05 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 473 |
| Number of bits of the biggest sum of numbers | 9 |
| 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/6.15 o 233 0.00/6.15 o 232 0.00/6.15 o 231 0.00/6.15 o 230 0.00/6.17 o 229 0.00/6.19 o 228 0.14/6.36 o 227 0.84/7.01 o 226 1.04/7.20 o 225 1.54/7.79 o 224 2.13/8.35 o 223 2.23/8.42 o 222 4.03/10.27 o 221 9.91/16.19 o 220 10.00/16.20 o 219 10.00/16.29 o 218 21.46/27.73 o 217 21.46/27.78 o 216 29.43/35.79 o 215 29.52/35.85 o 214 31.32/37.69 o 213 37.25/48.32 o 212 45.72/56.82 o 211 54.18/65.37 o 210 92.98/104.96 o 209 103.48/115.88 o 208 125.41/138.19 o 207 136.57/149.36 o 206 140.16/152.90 o 205 140.55/153.38 o 204 213.95/227.75 o 203 300.12/319.04 o 202 330.67/350.36 o 201 347.72/367.87 o 200 515.46/544.91 o 199 557.38/595.35 o 198 617.36/665.07 o 197 2032.12/2134.20 o 196 2496.22/2606.22 o 195 3344.21/3466.34 o 194 3574.54/3700.00 c Program interrupted by user. 3574.54/3700.00 s SATISFIABLE 3574.54/3700.00 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
OK 194
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: 63931 MiB (42306 MiB free)
memory of node 1: 64510 MiB (31670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440693-1721759176/watcher-4440693-1721759176 -o /tmp/evaluation-result-4440693-1721759176/solver-4440693-1721759176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721751754-113445 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440693-1721759176 --seed=1734605631 HOME/instance-4440693-1721759176.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118011, runsolver pid=118008
[startup+0.100086 s]*
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75751804/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205722 s]*
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75750456/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.305694 s]*
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75749652/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700174 s]
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75748840/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75745452/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+3.10571 s]
/proc/loadavg: 4.12 4.10 4.12 4/260 118012
/proc/meminfo: memFree=75728472/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=25224 memory=2476 CPUtime=0 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) D 118008 118011 113435 0 -1 1077936128 123 0 0 0 0 0 0 0 20 0 1 0 12440547 25829376 619 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
heavy processes:
[startup+6.30078 s]
/proc/loadavg: 4.11 4.10 4.11 4/260 118014
/proc/meminfo: memFree=75711404/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=27364 memory=7756 CPUtime=0.14 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 704 0 0 0 14 0 0 0 20 0 1 0 12440547 28020736 1939 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 6841 1939 850 747 0 5904 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 27364 KiB
Current children cumulated memory: 7756 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.11 5/260 118014
/proc/meminfo: memFree=75491868/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=56556 memory=39796 CPUtime=6.52 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 4907 0 0 0 647 5 0 0 20 0 1 0 12440547 57913344 9949 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 14139 9949 850 747 0 13202 0
Current children cumulated CPU time: 6.52 s
Current children cumulated vsize: 56556 KiB
Current children cumulated memory: 39796 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.11 4/255 118042
/proc/meminfo: memFree=75258600/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=59512 memory=44908 CPUtime=19.27 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 5642 0 0 0 1916 11 0 0 20 0 1 0 12440547 60940288 11227 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 14878 11227 850 747 0 13941 0
Current children cumulated CPU time: 19.27 s
Current children cumulated vsize: 59512 KiB
Current children cumulated memory: 44908 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.26 4.13 4.12 5/261 118067
/proc/meminfo: memFree=100022868/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=63304 memory=48020 CPUtime=40.05 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 6477 0 0 0 3980 25 0 0 20 0 1 0 12440547 64823296 12005 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 473 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 15826 12005 850 747 0 14889 0
Current children cumulated CPU time: 40.05 s
Current children cumulated vsize: 63304 KiB
Current children cumulated memory: 48020 KiB
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/263 118080
/proc/meminfo: memFree=98854448/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=68088 memory=52076 CPUtime=90.39 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 7517 0 0 0 8985 54 0 0 20 0 1 0 12440547 69722112 13019 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 541 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 17022 13019 850 747 0 16085 0
Current children cumulated CPU time: 90.39 s
Current children cumulated vsize: 68088 KiB
Current children cumulated memory: 52076 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/265 118306
/proc/meminfo: memFree=116791892/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=70540 memory=61900 CPUtime=149.53 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 8154 0 0 0 14866 87 0 0 20 0 1 0 12440547 72232960 15475 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 605 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 17635 15475 850 747 0 16698 0
Current children cumulated CPU time: 149.53 s
Current children cumulated vsize: 70540 KiB
Current children cumulated memory: 61900 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/266 118317
/proc/meminfo: memFree=115162452/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=72716 memory=63816 CPUtime=208.58 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 8701 0 0 0 20732 126 0 0 20 0 1 0 12440547 74461184 15954 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 678 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 18179 15954 850 747 0 17242 0
Current children cumulated CPU time: 208.58 s
Current children cumulated vsize: 72716 KiB
Current children cumulated memory: 63816 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/266 118385
/proc/meminfo: memFree=113423936/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=75596 memory=66344 CPUtime=267.88 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 9377 0 0 0 26629 159 0 0 20 0 1 0 12440547 77410304 16586 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 726 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 18899 16586 850 747 0 17962 0
Current children cumulated CPU time: 267.88 s
Current children cumulated vsize: 75596 KiB
Current children cumulated memory: 66344 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/267 118397
/proc/meminfo: memFree=111925764/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=78728 memory=70976 CPUtime=322.7 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 10027 0 0 0 32085 185 0 0 20 0 1 0 12440547 80617472 17744 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1224 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 19682 17744 850 747 0 18745 0
Current children cumulated CPU time: 322.7 s
Current children cumulated vsize: 78728 KiB
Current children cumulated memory: 70976 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/266 118409
/proc/meminfo: memFree=110935188/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=84872 memory=75676 CPUtime=378.96 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 11214 0 0 0 37684 212 0 0 20 0 1 0 12440547 86908928 18919 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1550 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 21218 18919 850 747 0 20281 0
Current children cumulated CPU time: 378.96 s
Current children cumulated vsize: 84872 KiB
Current children cumulated memory: 75676 KiB
[startup+462.3 s]
################
# More data... #
################
Current children cumulated memory: 105540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 119504
/proc/meminfo: memFree=50272996/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=129224 memory=105544 CPUtime=2808.01 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18245 0 0 0 279102 1699 0 0 20 0 1 0 12440547 132325376 26386 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9192 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32306 26386 850 747 0 31369 0
Current children cumulated CPU time: 2808.01 s
Current children cumulated vsize: 129224 KiB
Current children cumulated memory: 105544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/260 119515
/proc/meminfo: memFree=48194380/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=129224 memory=105544 CPUtime=2867.16 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18289 0 0 0 284983 1733 0 0 20 0 1 0 12440547 132325376 26386 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9254 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32306 26386 850 747 0 31369 0
Current children cumulated CPU time: 2867.16 s
Current children cumulated vsize: 129224 KiB
Current children cumulated memory: 105544 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/260 119526
/proc/meminfo: memFree=46655128/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=129544 memory=105856 CPUtime=2926.27 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18416 0 0 0 290865 1762 0 0 20 0 1 0 12440547 132653056 26464 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9318 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32386 26464 850 747 0 31449 0
Current children cumulated CPU time: 2926.27 s
Current children cumulated vsize: 129544 KiB
Current children cumulated memory: 105856 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/259 119536
/proc/meminfo: memFree=45132208/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=129544 memory=105992 CPUtime=2985.39 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18492 0 0 0 296748 1791 0 0 20 0 1 0 12440547 132653056 26498 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9382 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32386 26498 850 747 0 31449 0
Current children cumulated CPU time: 2985.39 s
Current children cumulated vsize: 129544 KiB
Current children cumulated memory: 105992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/259 119549
/proc/meminfo: memFree=43994784/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=129924 memory=106284 CPUtime=3044.53 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18618 0 0 0 302623 1830 0 0 20 0 1 0 12440547 133042176 26571 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9445 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32481 26571 850 747 0 31544 0
Current children cumulated CPU time: 3044.53 s
Current children cumulated vsize: 129924 KiB
Current children cumulated memory: 106284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/259 119559
/proc/meminfo: memFree=42868076/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130056 memory=106376 CPUtime=3103.67 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18710 0 0 0 308499 1868 0 0 20 0 1 0 12440547 133177344 26594 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9509 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32514 26594 850 747 0 31577 0
Current children cumulated CPU time: 3103.67 s
Current children cumulated vsize: 130056 KiB
Current children cumulated memory: 106376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 119574
/proc/meminfo: memFree=41807144/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130312 memory=106632 CPUtime=3162.83 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18785 0 0 0 314385 1898 0 0 20 0 1 0 12440547 133439488 26658 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9572 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32578 26658 850 747 0 31641 0
Current children cumulated CPU time: 3162.83 s
Current children cumulated vsize: 130312 KiB
Current children cumulated memory: 106632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 119586
/proc/meminfo: memFree=39794012/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130312 memory=106632 CPUtime=3221.94 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18830 0 0 0 320265 1929 0 0 20 0 1 0 12440547 133439488 26658 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9641 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32578 26658 850 747 0 31641 0
Current children cumulated CPU time: 3221.94 s
Current children cumulated vsize: 130312 KiB
Current children cumulated memory: 106632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/263 119598
/proc/meminfo: memFree=38191996/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130312 memory=106632 CPUtime=3280.92 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18892 0 0 0 326127 1965 0 0 20 0 1 0 12440547 133439488 26658 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9718 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32578 26658 850 747 0 31641 0
Current children cumulated CPU time: 3280.92 s
Current children cumulated vsize: 130312 KiB
Current children cumulated memory: 106632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/263 119608
/proc/meminfo: memFree=36462996/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130504 memory=106760 CPUtime=3340.23 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 18986 0 0 0 332023 2000 0 0 20 0 1 0 12440547 133636096 26690 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9764 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32626 26690 850 747 0 31689 0
Current children cumulated CPU time: 3340.23 s
Current children cumulated vsize: 130504 KiB
Current children cumulated memory: 106760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.11 5/262 119619
/proc/meminfo: memFree=35330916/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130504 memory=106888 CPUtime=3399.39 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 19030 0 0 0 337906 2033 0 0 20 0 1 0 12440547 133636096 26722 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9825 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32626 26722 850 747 0 31689 0
Current children cumulated CPU time: 3399.39 s
Current children cumulated vsize: 130504 KiB
Current children cumulated memory: 106888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 120015
/proc/meminfo: memFree=34288848/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130504 memory=107236 CPUtime=3458.66 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 19076 0 0 0 343801 2065 0 0 20 0 1 0 12440547 133636096 26809 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 9865 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32626 26809 850 747 0 31689 0
Current children cumulated CPU time: 3458.66 s
Current children cumulated vsize: 130504 KiB
Current children cumulated memory: 107236 KiB
[startup+3642.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/262 120026
/proc/meminfo: memFree=33281944/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130504 memory=107236 CPUtime=3517.96 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 19124 0 0 0 349702 2094 0 0 20 0 1 0 12440547 133636096 26809 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9903 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32626 26809 850 747 0 31689 0
Current children cumulated CPU time: 3517.96 s
Current children cumulated vsize: 130504 KiB
Current children cumulated memory: 107236 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.18 4.16 4.11 5/262 120037
/proc/meminfo: memFree=31061952/131524600 swapFree=131071984/131071996
[pid=118011] ppid=118008 vsize=130504 memory=107296 CPUtime=3574.54 cores=0,2
/proc/118011/stat : 118011 (Exact_veripb2_n) R 118008 118011 113435 0 -1 4194304 19187 0 0 0 355331 2123 0 0 20 0 1 0 12440547 133636096 26824 134679101440 4194304 7250417 140727007315040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 9994 0 0 7950792 8015128 22188032 140727007318838 140727007319127 140727007319127 140727007326142 0
/proc/118011/statm: 32626 26824 850 747 0 31689 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 130504 KiB
Current children cumulated memory: 107296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.05 s]
# the end of solver process 118011 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3553.32 s, system=21.2379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3700.05
CPU time (s): 3574.56
CPU user time (s): 3553.32
CPU system time (s): 21.2379
CPU usage (%): 96.6083
Max. virtual memory (cumulated for all children) (KiB): 130504
Max. memory (cumulated for all children) (KiB): 107296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.32
system time used= 21.2379
maximum resident set size= 124200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48371552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 408
involuntary context switches= 31517
# summary of solver processes directly reported to runsolver:
# pid: 118011
# total CPU time (s): 3574.56
# total CPU user time (s): 3553.32
# total CPU system time (s): 21.2379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39024 second user time and 16.9587 second system time
The end
Begin job on nodeC022 at 2024-07-23 20:26:16 IDJOB=4440693 IDBENCH=147539 IDSOLVER=3080 FILE ID=nodeC022/4440693-1721759176 RUNJOBID= nodeC022-1721751754-113445 SLURM_JOB_ID= 7770643 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440693-1721759176/watcher-4440693-1721759176 -o /tmp/evaluation-result-4440693-1721759176/solver-4440693-1721759176 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721751754-113445 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440693-1721759176 --seed=1734605631 HOME/instance-4440693-1721759176.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=1734605631 nodeC022.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 : 3657.022 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.87 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 : 3686.962 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 : 7006.75 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 : 3636.521 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.87 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 : 3600.080 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 : 7006.75 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 : 3680.805 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.87 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 : 3687.016 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 : 7006.75 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 : 3625.682 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.87 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 : 3600.157 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 75752824 kB MemAvailable: 128770364 kB Buffers: 181796 kB Cached: 53529320 kB SwapCached: 0 kB Active: 1147000 kB Inactive: 53773900 kB Active(anon): 1568 kB Inactive(anon): 1245840 kB Active(file): 1145432 kB Inactive(file): 52528060 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071984 kB Dirty: 249912 kB Writeback: 4 kB AnonPages: 1208528 kB Mapped: 112948 kB Shmem: 37712 kB KReclaimable: 367388 kB Slab: 490076 kB SReclaimable: 367388 kB SUnreclaim: 122688 kB KernelStack: 4172 kB PageTables: 11576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1627364 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21344 kB HardwareCorrupted: 0 kB AnonHugePages: 1046528 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: 297684 kB DirectMap2M: 31981568 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890048 MiB End job on nodeC022 at 2024-07-23 21:27:57