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) | 190 | 3600.04 | 3693.62 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| 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 | 176 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 467 |
| Total number of constraints | 466 |
| 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 | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| 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 | 467 |
| 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 | 467 |
| 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/0.85 o 224 0.00/0.86 o 223 0.00/0.86 o 222 0.00/0.86 o 221 0.00/0.87 o 220 0.00/0.89 o 219 0.04/0.95 o 218 0.33/1.25 o 217 0.63/1.51 o 216 0.63/1.59 o 215 0.83/1.71 o 214 0.93/1.81 o 213 0.93/1.83 o 212 0.93/1.88 o 211 1.14/2.00 o 210 5.72/6.62 o 209 24.67/25.68 o 208 26.66/27.62 o 207 33.64/34.66 o 206 33.75/34.76 o 205 87.08/91.49 o 204 88.37/92.78 o 203 98.78/103.50 o 202 105.56/110.33 o 201 148.29/153.65 o 200 158.88/164.80 o 199 158.98/164.99 o 198 198.13/205.98 o 197 227.01/235.02 o 196 252.06/260.57 o 195 356.00/368.46 o 194 424.24/438.22 o 193 843.84/870.17 o 192 935.93/969.38 o 191 1837.90/1896.12 o 190 3600.02/3693.60 c Program interrupted by user. 3600.02/3693.60 s SATISFIABLE 3600.02/3693.60 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
OK 190
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 (60596 MiB free)
memory of node 1: 64473 MiB (7484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440692-1721759192/watcher-4440692-1721759192 -o /tmp/evaluation-result-4440692-1721759192/solver-4440692-1721759192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721751757-111602 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440692-1721759192 --seed=1547826516 HOME/instance-4440692-1721759192.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=116105, runsolver pid=116102
[startup+0.100089 s]*
/proc/loadavg: 4.14 4.20 4.18 3/261 116106
/proc/meminfo: memFree=69716828/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) D 116102 116105 111591 0 -1 1077936128 122 0 0 0 0 0 0 0 20 0 1 0 12448908 25829376 619 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/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.205851 s]*
/proc/loadavg: 4.14 4.20 4.18 4/261 116106
/proc/meminfo: memFree=69720424/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) D 116102 116105 111591 0 -1 1077936128 122 0 0 0 0 0 0 0 20 0 1 0 12448908 25829376 619 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/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.305902 s]*
/proc/loadavg: 4.14 4.20 4.18 4/261 116106
/proc/meminfo: memFree=69718976/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) D 116102 116105 111591 0 -1 1077936128 122 0 0 0 0 0 0 0 20 0 1 0 12448908 25829376 619 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/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.700234 s]
/proc/loadavg: 4.14 4.20 4.18 4/261 116106
/proc/meminfo: memFree=69715812/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) D 116102 116105 111591 0 -1 1077936128 122 0 0 0 0 0 0 0 20 0 1 0 12448908 25829376 619 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/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.50025 s]
/proc/loadavg: 4.13 4.19 4.18 5/261 116106
/proc/meminfo: memFree=69701012/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=30584 memory=13928 CPUtime=0.63 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 1717 0 0 0 62 1 0 0 20 0 1 0 12448908 31318016 3482 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 7646 3482 850 747 0 6709 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 30584 KiB
Current children cumulated memory: 13928 KiB
[startup+3.10577 s]
/proc/loadavg: 4.13 4.19 4.18 5/261 116106
/proc/meminfo: memFree=69599220/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=36580 memory=25324 CPUtime=2.23 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 3037 0 0 0 221 2 0 0 20 0 1 0 12448908 37457920 6331 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 9145 6331 850 747 0 8208 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 36580 KiB
Current children cumulated memory: 25324 KiB
heavy processes:
[startup+6.30024 s]
/proc/loadavg: 4.12 4.19 4.17 5/261 116106
/proc/meminfo: memFree=69509612/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=41796 memory=33608 CPUtime=5.42 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 4141 0 0 0 536 6 0 0 20 0 1 0 12448908 42799104 8402 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 10449 8402 850 747 0 9512 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 41796 KiB
Current children cumulated memory: 33608 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.20 4.18 5/261 116108
/proc/meminfo: memFree=69400148/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=58740 memory=42728 CPUtime=11.81 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 5671 0 0 0 1171 10 0 0 20 0 1 0 12448908 60149760 10682 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 14685 10682 850 747 0 13748 0
Current children cumulated CPU time: 11.81 s
Current children cumulated vsize: 58740 KiB
Current children cumulated memory: 42728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.18 3/250 116162
/proc/meminfo: memFree=69514792/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=63412 memory=46612 CPUtime=24.57 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 6616 0 0 0 2440 17 0 0 20 0 1 0 12448908 64933888 11653 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 15853 11653 850 747 0 14916 0
Current children cumulated CPU time: 24.57 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 46612 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.17 4.17 3/256 116187
/proc/meminfo: memFree=111007852/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=63820 memory=47100 CPUtime=47.12 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 6782 0 0 0 4679 33 0 0 20 0 1 0 12448908 65351680 11775 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 299 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 15955 11775 850 747 0 15018 0
Current children cumulated CPU time: 47.12 s
Current children cumulated vsize: 63820 KiB
Current children cumulated memory: 47100 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.17 10/263 116385
/proc/meminfo: memFree=124397800/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=69492 memory=53476 CPUtime=97.7 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) D 116102 116105 111591 0 -1 4194304 7898 0 0 0 9706 64 0 0 20 0 1 0 12448908 71159808 13369 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 322 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 17373 13369 850 747 0 16436 0
Current children cumulated CPU time: 97.7 s
Current children cumulated vsize: 69492 KiB
Current children cumulated memory: 53476 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/263 116395
/proc/meminfo: memFree=122447860/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=74176 memory=57620 CPUtime=156.97 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 8975 0 0 0 15600 97 0 0 20 0 1 0 12448908 75956224 14405 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 404 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 18544 14405 850 747 0 17607 0
Current children cumulated CPU time: 156.97 s
Current children cumulated vsize: 74176 KiB
Current children cumulated memory: 57620 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/264 116465
/proc/meminfo: memFree=120905368/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=75796 memory=59428 CPUtime=214.49 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 9403 0 0 0 21313 136 0 0 20 0 1 0 12448908 77615104 14857 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 637 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 18949 14857 850 747 0 18012 0
Current children cumulated CPU time: 214.49 s
Current children cumulated vsize: 75796 KiB
Current children cumulated memory: 59428 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/264 116476
/proc/meminfo: memFree=119362268/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=76564 memory=64912 CPUtime=273.81 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 9661 0 0 0 27208 173 0 0 20 0 1 0 12448908 78401536 16228 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 688 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 19141 16228 850 747 0 18204 0
Current children cumulated CPU time: 273.81 s
Current children cumulated vsize: 76564 KiB
Current children cumulated memory: 64912 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/263 116487
/proc/meminfo: memFree=117822316/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=77588 memory=65856 CPUtime=330.72 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 9914 0 0 0 32868 204 0 0 20 0 1 0 12448908 79450112 16464 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 983 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 19397 16464 850 747 0 18460 0
Current children cumulated CPU time: 330.72 s
Current children cumulated vsize: 77588 KiB
Current children cumulated memory: 65856 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/262 116498
/proc/meminfo: memFree=116600740/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=80784 memory=72584 CPUtime=389.21 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 10621 0 0 0 38684 237 0 0 20 0 1 0 12448908 82722816 18146 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1120 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 20196 18146 850 747 0 19259 0
Current children cumulated CPU time: 389.21 s
Current children cumulated vsize: 80784 KiB
Current children cumulated memory: 72584 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/262 116508
/proc/meminfo: memFree=114591084/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=82388 memory=74224 CPUtime=447.34 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 11036 0 0 0 44463 271 0 0 20 0 1 0 12448908 84365312 18556 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1291 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
################
# More data... #
################
Current children cumulated memory: 103492 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/260 117557
/proc/meminfo: memFree=55825644/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=128204 memory=103620 CPUtime=2843.17 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17453 0 0 0 282596 1721 0 0 20 0 1 0 12448908 131280896 25905 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7068 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32051 25905 850 747 0 31114 0
Current children cumulated CPU time: 2843.17 s
Current children cumulated vsize: 128204 KiB
Current children cumulated memory: 103620 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/260 117567
/proc/meminfo: memFree=53821136/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=128204 memory=103620 CPUtime=2902.21 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17499 0 0 0 288463 1758 0 0 20 0 1 0 12448908 131280896 25905 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7148 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32051 25905 850 747 0 31114 0
Current children cumulated CPU time: 2902.21 s
Current children cumulated vsize: 128204 KiB
Current children cumulated memory: 103620 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/261 117578
/proc/meminfo: memFree=52300560/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=128460 memory=103748 CPUtime=2960.98 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17572 0 0 0 294298 1800 0 0 20 0 1 0 12448908 131543040 25937 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7229 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32115 25937 850 747 0 31178 0
Current children cumulated CPU time: 2960.98 s
Current children cumulated vsize: 128460 KiB
Current children cumulated memory: 103748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/261 117588
/proc/meminfo: memFree=50664212/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=128460 memory=103748 CPUtime=3019.69 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17615 0 0 0 300132 1837 0 0 20 0 1 0 12448908 131543040 25937 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7342 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32115 25937 850 747 0 31178 0
Current children cumulated CPU time: 3019.69 s
Current children cumulated vsize: 128460 KiB
Current children cumulated memory: 103748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.15 4.13 5/261 117601
/proc/meminfo: memFree=49035300/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=128844 memory=104132 CPUtime=3078.36 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17756 0 0 0 305960 1876 0 0 20 0 1 0 12448908 131936256 26033 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7457 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32211 26033 850 747 0 31274 0
Current children cumulated CPU time: 3078.36 s
Current children cumulated vsize: 128844 KiB
Current children cumulated memory: 104132 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/262 117616
/proc/meminfo: memFree=47645444/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=129100 memory=104364 CPUtime=3137 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17828 0 0 0 311788 1912 0 0 20 0 1 0 12448908 132198400 26091 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7576 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32275 26091 850 747 0 31338 0
Current children cumulated CPU time: 3137 s
Current children cumulated vsize: 129100 KiB
Current children cumulated memory: 104364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/263 117630
/proc/meminfo: memFree=46665496/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=129348 memory=104428 CPUtime=3195.56 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 17934 0 0 0 317608 1948 0 0 20 0 1 0 12448908 132452352 26107 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7705 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32337 26107 850 747 0 31400 0
Current children cumulated CPU time: 3195.56 s
Current children cumulated vsize: 129348 KiB
Current children cumulated memory: 104428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/264 117644
/proc/meminfo: memFree=45643540/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=129484 memory=104780 CPUtime=3254.77 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18045 0 0 0 323497 1980 0 0 20 0 1 0 12448908 132591616 26195 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7768 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32371 26195 850 747 0 31434 0
Current children cumulated CPU time: 3254.77 s
Current children cumulated vsize: 129484 KiB
Current children cumulated memory: 104780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/265 117655
/proc/meminfo: memFree=43650116/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=129868 memory=105124 CPUtime=3313.32 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18153 0 0 0 329316 2016 0 0 20 0 1 0 12448908 132984832 26281 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 7898 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32467 26281 850 747 0 31530 0
Current children cumulated CPU time: 3313.32 s
Current children cumulated vsize: 129868 KiB
Current children cumulated memory: 105124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.16 4.12 5/265 117665
/proc/meminfo: memFree=42149664/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=130252 memory=105472 CPUtime=3372.02 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18294 0 0 0 335151 2051 0 0 20 0 1 0 12448908 133378048 26368 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8009 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32563 26368 850 747 0 31626 0
Current children cumulated CPU time: 3372.02 s
Current children cumulated vsize: 130252 KiB
Current children cumulated memory: 105472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/266 118059
/proc/meminfo: memFree=40552808/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=130252 memory=105472 CPUtime=3431.03 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18338 0 0 0 341020 2083 0 0 20 0 1 0 12448908 133378048 26368 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8092 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32563 26368 850 747 0 31626 0
Current children cumulated CPU time: 3431.03 s
Current children cumulated vsize: 130252 KiB
Current children cumulated memory: 105472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/263 118070
/proc/meminfo: memFree=39530280/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=130892 memory=106168 CPUtime=3490.21 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18544 0 0 0 346905 2116 0 0 20 0 1 0 12448908 134033408 26542 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8158 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32723 26542 850 747 0 31786 0
Current children cumulated CPU time: 3490.21 s
Current children cumulated vsize: 130892 KiB
Current children cumulated memory: 106168 KiB
[startup+3642.3 s]
/proc/loadavg: 3.57 3.98 4.06 4/254 118110
/proc/meminfo: memFree=43763840/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=131788 memory=107040 CPUtime=3549.51 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18814 0 0 0 352801 2150 0 0 20 0 1 0 12448908 134950912 26760 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8213 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 32947 26760 850 747 0 32010 0
Current children cumulated CPU time: 3549.51 s
Current children cumulated vsize: 131788 KiB
Current children cumulated memory: 107040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3693.6 s]
/proc/loadavg: 3.30 3.84 4.01 4/253 118119
/proc/meminfo: memFree=43084952/131524600 swapFree=131071996/131071996
[pid=116105] ppid=116102 vsize=132300 memory=107384 CPUtime=3600.02 cores=4,6
/proc/116105/stat : 116105 (Exact_veripb2_n) R 116102 116105 111591 0 -1 4194304 18988 0 0 0 357826 2176 0 0 20 0 1 0 12448908 135475200 26846 134679101440 4194304 7250417 140736700470736 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8281 0 0 7950792 8015128 19750912 140736700474166 140736700474455 140736700474455 140736700481470 0
/proc/116105/statm: 33075 26846 850 747 0 32138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 132300 KiB
Current children cumulated memory: 107384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3693.62 s]
# the end of solver process 116105 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3578.27 s, system=21.7658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3693.62
CPU time (s): 3600.04
CPU user time (s): 3578.27
CPU system time (s): 21.7658
CPU usage (%): 97.4664
Max. virtual memory (cumulated for all children) (KiB): 147300
Max. memory (cumulated for all children) (KiB): 108732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.27
system time used= 21.7658
maximum resident set size= 116924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49516096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 413
involuntary context switches= 5573
# summary of solver processes directly reported to runsolver:
# pid: 116105
# total CPU time (s): 3600.04
# total CPU user time (s): 3578.27
# total CPU system time (s): 21.7658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2295 second user time and 14.0272 second system time
The end
Begin job on nodeC033 at 2024-07-23 20:26:32 IDJOB=4440692 IDBENCH=147542 IDSOLVER=3080 FILE ID=nodeC033/4440692-1721759192 RUNJOBID= nodeC033-1721751757-111602 SLURM_JOB_ID= 7770651 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_19.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-4440692-1721759192/watcher-4440692-1721759192 -o /tmp/evaluation-result-4440692-1721759192/solver-4440692-1721759192 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721751757-111602 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440692-1721759192 --seed=1547826516 HOME/instance-4440692-1721759192.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=1547826516 nodeC033.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 : 3632.303 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.99 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 : 3669.155 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.76 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 : 3602.845 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.99 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 : 3679.579 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.76 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 : 3614.653 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.99 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 : 3696.373 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.76 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.115 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.99 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 : 3685.324 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.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 69716088 kB MemAvailable: 129067184 kB Buffers: 176480 kB Cached: 59867360 kB SwapCached: 0 kB Active: 1090240 kB Inactive: 59871408 kB Active(anon): 1532 kB Inactive(anon): 953772 kB Active(file): 1088708 kB Inactive(file): 58917636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17684 kB Writeback: 138616 kB AnonPages: 915704 kB Mapped: 113704 kB Shmem: 37720 kB KReclaimable: 369148 kB Slab: 483532 kB SReclaimable: 369148 kB SUnreclaim: 114384 kB KernelStack: 4192 kB PageTables: 10988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1281740 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20800 kB HardwareCorrupted: 0 kB AnonHugePages: 632832 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: 316116 kB DirectMap2M: 23574528 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890052 MiB End job on nodeC033 at 2024-07-23 21:28:06