Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | 187 | 3600.05 | 3609.8 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | b1303fc064b9de7d315268cbf770fb1d |
| 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 | 181 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.00 o 227 0.00/0.00 o 226 0.00/0.01 o 225 0.00/0.03 o 224 0.00/0.06 o 223 0.09/0.16 o 222 0.29/0.38 o 221 0.49/0.56 o 220 0.58/0.62 o 219 0.58/0.64 o 218 1.17/1.26 o 217 2.67/2.74 o 216 3.97/4.09 o 215 4.07/4.11 o 214 4.07/4.13 o 213 4.36/4.46 o 212 12.24/12.30 o 211 12.24/12.30 o 210 12.24/12.30 o 209 18.72/18.86 o 208 33.59/33.74 o 207 33.59/33.74 o 206 44.37/44.52 o 205 48.46/48.64 o 204 67.61/67.88 o 203 67.81/68.03 o 202 75.69/75.93 o 201 108.39/108.76 o 200 113.87/114.29 o 199 136.50/136.93 o 198 137.20/137.67 o 197 175.50/176.06 o 196 221.66/222.31 o 195 241.90/242.69 o 194 242.30/243.05 o 193 253.27/254.03 o 192 269.01/269.87 o 191 430.23/431.51 o 190 555.15/556.82 o 189 914.28/917.05 o 188 3443.33/3452.76 o 187 3600.04/3609.80 c Program interrupted by user. 3600.04/3609.80 s SATISFIABLE 3600.04/3609.80 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
OK 187
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 (61935 MiB free)
memory of node 1: 64510 MiB (62144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433433-1721089701/watcher-4433433-1721089701 -o /tmp/evaluation-result-4433433-1721089701/solver-4433433-1721089701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721082494-829259 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=48111629 HOME/instance-4433433-1721089701.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 4.18.0-301.1.el8.x86_64
solver pid=833218, runsolver pid=833211
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100637 s]*
/proc/loadavg: 4.07 4.12 4.09 5/260 833274
/proc/meminfo: memFree=127054084/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=27852 memory=8644 CPUtime=0.09 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 924 0 0 0 9 0 0 0 20 0 1 0 161129227 28520448 2161 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 6963 2161 851 746 0 6027 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27852 KiB
Current children cumulated memory: 8644 KiB
[startup+0.206618 s]*
/proc/loadavg: 4.07 4.12 4.09 4/258 833274
/proc/meminfo: memFree=127146760/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=28520 memory=9172 CPUtime=0.19 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 1088 0 0 0 19 0 0 0 20 0 1 0 161129227 29204480 2293 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 7130 2293 851 746 0 6194 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28520 KiB
Current children cumulated memory: 9172 KiB
[startup+0.305453 s]*
/proc/loadavg: 4.07 4.12 4.09 5/258 833288
/proc/meminfo: memFree=127147780/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=28916 memory=9700 CPUtime=0.29 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 1195 0 0 0 29 0 0 0 20 0 1 0 161129227 29609984 2425 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 7229 2425 851 746 0 6293 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28916 KiB
Current children cumulated memory: 9700 KiB
[startup+0.70018 s]
/proc/loadavg: 4.07 4.12 4.09 4/254 833307
/proc/meminfo: memFree=127150788/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=30444 memory=13328 CPUtime=0.68 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 1570 0 0 0 68 0 0 0 20 0 1 0 161129227 31174656 3332 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 7611 3332 851 746 0 6675 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30444 KiB
Current children cumulated memory: 13328 KiB
[startup+1.50019 s]
/proc/loadavg: 4.07 4.12 4.09 4/254 833352
/proc/meminfo: memFree=127237844/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=34304 memory=20584 CPUtime=1.47 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 2395 0 0 0 147 0 0 0 20 0 1 0 161129227 35127296 5146 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 8576 5146 851 746 0 7640 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 34304 KiB
Current children cumulated memory: 20584 KiB
[startup+3.10585 s]
/proc/loadavg: 4.07 4.12 4.09 5/260 833367
/proc/meminfo: memFree=127087644/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=34964 memory=21796 CPUtime=3.07 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 2701 0 0 0 307 0 0 0 20 0 1 0 161129227 35803136 5449 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 8741 5449 851 746 0 7805 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 34964 KiB
Current children cumulated memory: 21796 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.13 4.10 5/260 833367
/proc/meminfo: memFree=126996024/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=38024 memory=30260 CPUtime=6.26 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 3316 0 0 0 626 0 0 0 20 0 1 0 161129227 38936576 7565 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 9506 7565 851 746 0 8570 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 30260 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.10 5/260 833415
/proc/meminfo: memFree=126842512/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=53700 memory=37208 CPUtime=12.64 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 4184 0 0 0 1263 1 0 0 20 0 1 0 161129227 54988800 9302 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 13425 9302 851 746 0 12489 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 53700 KiB
Current children cumulated memory: 37208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 833416
/proc/meminfo: memFree=126498888/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=57824 memory=40720 CPUtime=25.41 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 5082 0 0 0 2540 1 0 0 20 0 1 0 161129227 59211776 10180 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 14456 10180 851 746 0 13520 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 40720 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.13 4.10 5/260 833421
/proc/meminfo: memFree=125941788/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=59904 memory=47004 CPUtime=50.95 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 5616 0 0 0 5093 2 0 0 20 0 1 0 161129227 61341696 11751 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 14976 11751 851 746 0 14040 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 47004 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 833429
/proc/meminfo: memFree=125642220/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=66256 memory=54420 CPUtime=102.01 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 7039 0 0 0 10199 2 0 0 20 0 1 0 161129227 67846144 13605 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 16564 13605 851 746 0 15628 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 66256 KiB
Current children cumulated memory: 54420 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 833498
/proc/meminfo: memFree=125357376/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=69204 memory=57436 CPUtime=161.84 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 7795 0 0 0 16181 3 0 0 20 0 1 0 161129227 70864896 14359 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 17301 14359 851 746 0 16365 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 69204 KiB
Current children cumulated memory: 57436 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/261 833508
/proc/meminfo: memFree=125271436/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=73328 memory=60264 CPUtime=221.66 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 8568 0 0 0 22163 3 0 0 20 0 1 0 161129227 75087872 15066 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 18332 15066 851 746 0 17396 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 73328 KiB
Current children cumulated memory: 60264 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 833519
/proc/meminfo: memFree=125266440/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=76724 memory=62824 CPUtime=281.48 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 9237 0 0 0 28145 3 0 0 20 0 1 0 161129227 78565376 15706 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 19181 15706 851 746 0 18245 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 76724 KiB
Current children cumulated memory: 62824 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/258 833531
/proc/meminfo: memFree=125253436/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=79224 memory=64856 CPUtime=341.3 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 9717 0 0 0 34127 3 0 0 20 0 1 0 161129227 81125376 16214 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 19806 16214 851 746 0 18870 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 79224 KiB
Current children cumulated memory: 64856 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 833541
/proc/meminfo: memFree=125216908/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=81208 memory=66624 CPUtime=401.12 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 10228 0 0 0 40109 3 0 0 20 0 1 0 161129227 83156992 16656 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 20302 16656 851 746 0 19366 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 81208 KiB
Current children cumulated memory: 66624 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/255 833551
/proc/meminfo: memFree=125183660/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=82900 memory=68396 CPUtime=460.94 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 10632 0 0 0 46091 3 0 0 20 0 1 0 161129227 84889600 17099 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 20725 17099 851 746 0 19789 0
################
# More data... #
################
Current children cumulated memory: 102016 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/257 834566
/proc/meminfo: memFree=124619680/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=108556 memory=102540 CPUtime=2854.35 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18286 0 0 0 285431 4 0 0 20 0 1 0 161129227 111161344 25635 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27139 25635 851 746 0 26203 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 108556 KiB
Current children cumulated memory: 102540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 834577
/proc/meminfo: memFree=124618216/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=108940 memory=102892 CPUtime=2914.2 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18396 0 0 0 291416 4 0 0 20 0 1 0 161129227 111554560 25723 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27235 25723 851 746 0 26299 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 102892 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 834588
/proc/meminfo: memFree=124616472/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=108940 memory=102900 CPUtime=2974.06 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18457 0 0 0 297402 4 0 0 20 0 1 0 161129227 111554560 25725 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27235 25725 851 746 0 26299 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 102900 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 834599
/proc/meminfo: memFree=124615344/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=109196 memory=102964 CPUtime=3033.91 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18550 0 0 0 303387 4 0 0 20 0 1 0 161129227 111816704 25741 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27299 25741 851 746 0 26363 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 109196 KiB
Current children cumulated memory: 102964 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 834609
/proc/meminfo: memFree=124614128/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=109644 memory=103512 CPUtime=3093.78 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18705 0 0 0 309373 5 0 0 20 0 1 0 161129227 112275456 25878 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27411 25878 851 746 0 26475 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 109644 KiB
Current children cumulated memory: 103512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/259 834624
/proc/meminfo: memFree=124612636/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=110540 memory=104396 CPUtime=3153.63 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 18972 0 0 0 315358 5 0 0 20 0 1 0 161129227 113192960 26099 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27635 26099 851 746 0 26699 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 110540 KiB
Current children cumulated memory: 104396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/259 834635
/proc/meminfo: memFree=124611168/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=110796 memory=104752 CPUtime=3213.48 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19079 0 0 0 321343 5 0 0 20 0 1 0 161129227 113455104 26188 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27699 26188 851 746 0 26763 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 110796 KiB
Current children cumulated memory: 104752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/260 834646
/proc/meminfo: memFree=124610092/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=110796 memory=104752 CPUtime=3273.34 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19119 0 0 0 327329 5 0 0 20 0 1 0 161129227 113455104 26188 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27699 26188 851 746 0 26763 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 110796 KiB
Current children cumulated memory: 104752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 834658
/proc/meminfo: memFree=124606484/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=111372 memory=105332 CPUtime=3333.19 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19309 0 0 0 333314 5 0 0 20 0 1 0 161129227 114044928 26333 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27843 26333 851 746 0 26907 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 111372 KiB
Current children cumulated memory: 105332 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/259 834668
/proc/meminfo: memFree=124605584/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=111372 memory=105396 CPUtime=3393.05 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19371 0 0 0 339300 5 0 0 20 0 1 0 161129227 114044928 26349 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27843 26349 851 746 0 26907 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 111372 KiB
Current children cumulated memory: 105396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/260 835066
/proc/meminfo: memFree=124700240/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=111372 memory=105460 CPUtime=3452.9 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19430 0 0 0 345285 5 0 0 20 0 1 0 161129227 114044928 26365 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27843 26365 851 746 0 26907 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 111372 KiB
Current children cumulated memory: 105460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/260 835077
/proc/meminfo: memFree=124698844/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=111820 memory=105728 CPUtime=3512.76 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19553 0 0 0 351271 5 0 0 20 0 1 0 161129227 114503680 26432 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 27955 26432 851 746 0 27019 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 111820 KiB
Current children cumulated memory: 105728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/260 835088
/proc/meminfo: memFree=124697204/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=112588 memory=106516 CPUtime=3572.61 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19782 0 0 0 357256 5 0 0 20 0 1 0 161129227 115290112 26629 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 28147 26629 851 746 0 27211 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 112588 KiB
Current children cumulated memory: 106516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 835259
/proc/meminfo: memFree=124696404/131524600 swapFree=130795800/131071996
[pid=833218] ppid=833211 vsize=112588 memory=106516 CPUtime=3600.04 cores=5,7
/proc/833218/stat : 833218 (Exact_nosoplex) R 833211 833218 829086 0 -1 4194304 19783 0 0 0 359999 5 0 0 20 0 1 0 161129227 115290112 26629 134679101440 4194304 7248369 140723417875088 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 43941888 140723417879470 140723417879647 140723417879647 140723417886662 0
/proc/833218/statm: 28147 26629 851 746 0 27211 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 112588 KiB
Current children cumulated memory: 106516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 833218 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600 s, system=0.051862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.8
CPU time (s): 3600.05
CPU user time (s): 3600
CPU system time (s): 0.051862
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 112588
Max. memory (cumulated for all children) (KiB): 106516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600
system time used= 0.051862
maximum resident set size= 106516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19785
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= 33
involuntary context switches= 2024
# summary of solver processes directly reported to runsolver:
# pid: 833218
# total CPU time (s): 3600.05
# total CPU user time (s): 3600
# total CPU system time (s): 0.051862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9223 second user time and 16.6259 second system time
The end
Begin job on nodeC014 at 2024-07-16 02:28:33 IDJOB=4433433 IDBENCH=147548 IDSOLVER=3061 FILE ID=nodeC014/4433433-1721089701 RUNJOBID= nodeC014-1721082494-829259 SLURM_JOB_ID= 7505563 Free space on /tmp= 890068 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433433-1721089701/watcher-4433433-1721089701 -o /tmp/evaluation-result-4433433-1721089701/solver-4433433-1721089701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721082494-829259 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=48111629 HOME/instance-4433433-1721089701.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=48111629 nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.155 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.32 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 : 3654.738 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.96 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.692 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.32 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 : 3627.660 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.96 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 : 3661.167 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.32 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 : 3624.662 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.96 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.711 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.32 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 : 3652.091 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.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127059896 kB MemAvailable: 129747840 kB Buffers: 324380 kB Cached: 3169472 kB SwapCached: 12844 kB Active: 1038400 kB Inactive: 2868560 kB Active(anon): 9436 kB Inactive(anon): 421084 kB Active(file): 1028964 kB Inactive(file): 2447476 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130795800 kB Dirty: 4728 kB Writeback: 36 kB AnonPages: 403316 kB Mapped: 57716 kB Shmem: 17736 kB KReclaimable: 102300 kB Slab: 194056 kB SReclaimable: 102300 kB SUnreclaim: 91756 kB KernelStack: 4340 kB PageTables: 10688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1018528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28288 kB HardwareCorrupted: 0 kB AnonHugePages: 458752 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: 191188 kB DirectMap2M: 14262272 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 890036 MiB End job on nodeC014 at 2024-07-16 03:28:43