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) | 189 | 3600.02 | 3609.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| 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 |
| 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 | 465 |
| Total number of constraints | 465 |
| 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 | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| 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 | 465 |
| 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 231 0.00/0.00 o 230 0.00/0.00 o 229 0.00/0.00 o 228 0.00/0.00 o 227 0.00/0.00 o 226 0.00/0.01 o 225 0.00/0.01 o 224 0.00/0.02 o 223 0.00/0.03 o 222 0.00/0.04 o 221 0.00/0.07 o 220 0.09/0.16 o 219 0.30/0.32 o 218 0.30/0.33 o 217 1.29/1.33 o 216 3.09/3.19 o 215 3.18/3.20 o 214 6.77/6.87 o 213 9.26/9.32 o 212 9.56/9.67 o 211 9.97/10.01 o 210 10.36/10.46 o 209 14.05/14.17 o 208 23.03/23.14 o 207 30.01/30.12 o 206 30.01/30.12 o 205 40.47/40.61 o 204 40.67/40.86 o 203 42.77/42.93 o 202 44.36/44.57 o 201 54.33/54.58 o 200 66.30/66.54 o 199 67.70/67.99 o 198 67.90/68.14 o 197 104.49/104.85 o 196 173.08/173.61 o 195 181.15/181.70 o 194 218.14/218.80 o 193 286.03/286.97 o 192 301.78/302.71 o 191 302.08/303.06 o 190 3382.83/3391.68 o 189 3600.01/3609.30 c Program interrupted by user. 3600.01/3609.30 s SATISFIABLE 3600.01/3609.30 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
OK 189
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 (61879 MiB free)
memory of node 1: 64510 MiB (62266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433435-1721086092/watcher-4433435-1721086092 -o /tmp/evaluation-result-4433435-1721086092/solver-4433435-1721086092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721082494-829258 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=587987644 HOME/instance-4433435-1721086092.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=831154, runsolver pid=831151
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.08 4.11 4.13 5/255 831155
/proc/meminfo: memFree=127117668/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=27844 memory=9172 CPUtime=0.09 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 1062 0 0 0 9 0 0 0 20 0 1 0 160768310 28512256 2293 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 6961 2293 851 746 0 6025 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 9172 KiB
[startup+0.204773 s]*
/proc/loadavg: 4.08 4.11 4.13 5/255 831156
/proc/meminfo: memFree=127115576/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=28380 memory=9700 CPUtime=0.2 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 1195 0 0 0 20 0 0 0 20 0 1 0 160768310 29061120 2425 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 7095 2425 851 746 0 6159 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28380 KiB
Current children cumulated memory: 9700 KiB
[startup+0.305275 s]*
/proc/loadavg: 4.08 4.11 4.13 5/255 831156
/proc/meminfo: memFree=127114484/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=28908 memory=10228 CPUtime=0.3 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 1317 0 0 0 30 0 0 0 20 0 1 0 160768310 29601792 2557 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 7227 2557 851 746 0 6291 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28908 KiB
Current children cumulated memory: 10228 KiB
[startup+0.700169 s]
/proc/loadavg: 4.08 4.11 4.13 5/255 831156
/proc/meminfo: memFree=127108232/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=31004 memory=14120 CPUtime=0.69 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 1786 0 0 0 69 0 0 0 20 0 1 0 160768310 31748096 3530 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 7751 3530 851 746 0 6815 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 14120 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.11 4.13 5/255 831156
/proc/meminfo: memFree=127098016/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=32892 memory=20056 CPUtime=1.49 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 2251 0 0 0 149 0 0 0 20 0 1 0 160768310 33681408 5014 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 8223 5014 851 746 0 7287 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32892 KiB
Current children cumulated memory: 20056 KiB
[startup+3.10569 s]
/proc/loadavg: 4.08 4.11 4.13 5/250 831186
/proc/meminfo: memFree=127336488/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=34736 memory=21924 CPUtime=3.09 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 2727 0 0 0 309 0 0 0 20 0 1 0 160768310 35569664 5481 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 8684 5481 851 746 0 7748 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34736 KiB
Current children cumulated memory: 21924 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.10 4.13 5/256 831203
/proc/meminfo: memFree=127302884/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=38384 memory=31276 CPUtime=6.27 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 3564 0 0 0 627 0 0 0 20 0 1 0 160768310 39305216 7819 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 9596 7819 851 746 0 8660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 31276 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 4.10 4.12 5/258 831375
/proc/meminfo: memFree=127276396/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=40620 memory=33396 CPUtime=12.65 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 4185 0 0 0 1265 0 0 0 20 0 1 0 160768310 41594880 8349 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 10155 8349 851 746 0 9219 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40620 KiB
Current children cumulated memory: 33396 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.10 4.12 5/258 831376
/proc/meminfo: memFree=127267100/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=41628 memory=34256 CPUtime=25.41 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 4533 0 0 0 2541 0 0 0 20 0 1 0 160768310 42627072 8564 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 10407 8564 851 746 0 9471 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 41628 KiB
Current children cumulated memory: 34256 KiB
[startup+51.1058 s]
/proc/loadavg: 4.10 4.10 4.12 5/258 831381
/proc/meminfo: memFree=127233008/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=59120 memory=42948 CPUtime=50.95 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 6228 0 0 0 5094 1 0 0 20 0 1 0 160768310 60538880 10737 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 14780 10737 851 746 0 13844 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 59120 KiB
Current children cumulated memory: 42948 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/258 831389
/proc/meminfo: memFree=127203032/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=63168 memory=48792 CPUtime=102 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 7218 0 0 0 10198 2 0 0 20 0 1 0 160768310 64684032 12198 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 15792 12198 851 746 0 14856 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 63168 KiB
Current children cumulated memory: 48792 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/259 831457
/proc/meminfo: memFree=127186692/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=66372 memory=51812 CPUtime=161.81 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 7988 0 0 0 16179 2 0 0 20 0 1 0 160768310 67964928 12953 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 16593 12953 851 746 0 15657 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 66372 KiB
Current children cumulated memory: 51812 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/259 831467
/proc/meminfo: memFree=127170024/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=68620 memory=53612 CPUtime=221.63 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 8494 0 0 0 22161 2 0 0 20 0 1 0 160768310 70266880 13403 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 17155 13403 851 746 0 16219 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 68620 KiB
Current children cumulated memory: 53612 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/259 831478
/proc/meminfo: memFree=127156344/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=71980 memory=58716 CPUtime=281.44 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 9251 0 0 0 28142 2 0 0 20 0 1 0 160768310 73707520 14679 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 17995 14679 851 746 0 17059 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 71980 KiB
Current children cumulated memory: 58716 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 831490
/proc/meminfo: memFree=127136744/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=78108 memory=62860 CPUtime=341.26 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 10348 0 0 0 34124 2 0 0 20 0 1 0 160768310 79982592 15715 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 19527 15715 851 746 0 18591 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 78108 KiB
Current children cumulated memory: 62860 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/259 831502
/proc/meminfo: memFree=127126080/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=79452 memory=64104 CPUtime=401.08 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 10667 0 0 0 40105 3 0 0 20 0 1 0 160768310 81358848 16026 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 19863 16026 851 746 0 18927 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 64104 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/257 831513
/proc/meminfo: memFree=127113696/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=80348 memory=70560 CPUtime=460.92 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 10936 0 0 0 46089 3 0 0 20 0 1 0 160768310 82276352 17640 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 20087 17640 851 746 0 19151 0
################
# More data... #
################
Current children cumulated memory: 94276 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 832544
/proc/meminfo: memFree=126981184/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=100064 memory=94340 CPUtime=2914.66 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17143 0 0 0 291463 3 0 0 20 0 1 0 160768310 102465536 23585 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25016 23585 851 746 0 24080 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 100064 KiB
Current children cumulated memory: 94340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 832555
/proc/meminfo: memFree=126980092/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=100256 memory=94660 CPUtime=2974.51 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17233 0 0 0 297448 3 0 0 20 0 1 0 160768310 102662144 23665 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25064 23665 851 746 0 24128 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 100256 KiB
Current children cumulated memory: 94660 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 832566
/proc/meminfo: memFree=126978816/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=100448 memory=94908 CPUtime=3034.37 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17321 0 0 0 303434 3 0 0 20 0 1 0 160768310 102858752 23727 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25112 23727 851 746 0 24176 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 100448 KiB
Current children cumulated memory: 94908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/255 832576
/proc/meminfo: memFree=126977944/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=100448 memory=94916 CPUtime=3094.23 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17361 0 0 0 309420 3 0 0 20 0 1 0 160768310 102858752 23729 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25112 23729 851 746 0 24176 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 100448 KiB
Current children cumulated memory: 94916 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 832592
/proc/meminfo: memFree=126975392/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=100704 memory=95376 CPUtime=3154.08 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17501 0 0 0 315405 3 0 0 20 0 1 0 160768310 103120896 23844 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25176 23844 851 746 0 24240 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 100704 KiB
Current children cumulated memory: 95376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.40 4.21 4.12 5/257 832603
/proc/meminfo: memFree=126973624/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101088 memory=95540 CPUtime=3213.94 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17608 0 0 0 321390 4 0 0 20 0 1 0 160768310 103514112 23885 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25272 23885 851 746 0 24336 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 101088 KiB
Current children cumulated memory: 95540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/257 832613
/proc/meminfo: memFree=126972692/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101088 memory=95632 CPUtime=3273.8 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17649 0 0 0 327376 4 0 0 20 0 1 0 160768310 103514112 23908 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25272 23908 851 746 0 24336 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 101088 KiB
Current children cumulated memory: 95632 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/257 832625
/proc/meminfo: memFree=126971536/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101280 memory=95696 CPUtime=3333.65 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17740 0 0 0 333361 4 0 0 20 0 1 0 160768310 103710720 23924 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25320 23924 851 746 0 24384 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 101280 KiB
Current children cumulated memory: 95696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/257 832637
/proc/meminfo: memFree=126970836/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101472 memory=96016 CPUtime=3393.51 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17827 0 0 0 339347 4 0 0 20 0 1 0 160768310 103907328 24004 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25368 24004 851 746 0 24432 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 101472 KiB
Current children cumulated memory: 96016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 833030
/proc/meminfo: memFree=126965040/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101664 memory=96188 CPUtime=3453.36 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 17919 0 0 0 345332 4 0 0 20 0 1 0 160768310 104103936 24047 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25416 24047 851 746 0 24480 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 101664 KiB
Current children cumulated memory: 96188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/257 833040
/proc/meminfo: memFree=126962796/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=101984 memory=96376 CPUtime=3513.22 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 18043 0 0 0 351318 4 0 0 20 0 1 0 160768310 104431616 24094 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25496 24094 851 746 0 24560 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 101984 KiB
Current children cumulated memory: 96376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 833054
/proc/meminfo: memFree=126961620/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=102176 memory=96640 CPUtime=3573.07 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 18134 0 0 0 357303 4 0 0 20 0 1 0 160768310 104628224 24160 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25544 24160 851 746 0 24608 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 102176 KiB
Current children cumulated memory: 96640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/252 833089
/proc/meminfo: memFree=127066776/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=102176 memory=96732 CPUtime=3600.01 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 18150 0 0 0 359997 4 0 0 20 0 1 0 160768310 104628224 24183 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25544 24183 851 746 0 24608 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 102176 KiB
Current children cumulated memory: 96732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 831154 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.97 s, system=0.04189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/252 833089
/proc/meminfo: memFree=127066776/131524600 swapFree=130795800/131071996
[pid=831154] ppid=831151 vsize=102176 memory=96732 CPUtime=3600.01 cores=1,3
/proc/831154/stat : 831154 (Exact_nosoplex) R 831151 831154 829086 0 -1 4194304 18150 0 0 0 359997 4 0 0 20 0 1 0 160768310 104628224 24183 134679101440 4194304 7248369 140726891038832 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 14426112 140726891045805 140726891045983 140726891045983 140726891052998 0
/proc/831154/statm: 25544 24183 851 746 0 24608 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 102176 KiB
Current children cumulated memory: 96732 KiB
Child status: 10
Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3599.97
CPU system time (s): 0.04189
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 102176
Max. memory (cumulated for all children) (KiB): 96732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.97
system time used= 0.04189
maximum resident set size= 96732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18151
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= 31
involuntary context switches= 1943
# summary of solver processes directly reported to runsolver:
# pid: 831154
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.97
# total CPU system time (s): 0.04189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96981 second user time and 15.7854 second system time
The end
Begin job on nodeC014 at 2024-07-16 01:28:24 IDJOB=4433435 IDBENCH=147540 IDSOLVER=3061 FILE ID=nodeC014/4433435-1721086092 RUNJOBID= nodeC014-1721082494-829258 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_12.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-4433435-1721086092/watcher-4433435-1721086092 -o /tmp/evaluation-result-4433435-1721086092/solver-4433435-1721086092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721082494-829258 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=587987644 HOME/instance-4433435-1721086092.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=587987644 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 : 3663.086 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 : 3658.232 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 : 3600.031 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 : 3624.447 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 : 3663.084 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 : 3671.176 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.672 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 : 3600.241 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: 127125468 kB MemAvailable: 129776136 kB Buffers: 322996 kB Cached: 3133888 kB SwapCached: 12860 kB Active: 1036516 kB Inactive: 2804952 kB Active(anon): 9420 kB Inactive(anon): 392852 kB Active(file): 1027096 kB Inactive(file): 2412100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130795800 kB Dirty: 14200 kB Writeback: 0 kB AnonPages: 375644 kB Mapped: 56516 kB Shmem: 17688 kB KReclaimable: 102240 kB Slab: 194040 kB SReclaimable: 102240 kB SUnreclaim: 91800 kB KernelStack: 4016 kB PageTables: 10516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1053296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28160 kB HardwareCorrupted: 0 kB AnonHugePages: 280576 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= 890064 MiB End job on nodeC014 at 2024-07-16 02:28:34