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) | -31 | 3600.07 | 3612.51 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb |
| MD5SUM | 273961b324c53d2d230ce6da1470e4a9 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -33 |
| Best CPU time to get the best result obtained on this benchmark | 71423.1 |
| 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 | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12408 |
| Sum of products size (including duplicates) | 24816 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
0.10/0.12 o -1 0.10/0.13 o -2 0.10/0.13 o -3 0.10/0.13 o -4 0.10/0.13 o -5 0.10/0.13 o -6 0.10/0.14 o -7 0.10/0.14 o -8 0.10/0.14 o -9 0.10/0.14 o -10 0.10/0.14 o -11 0.10/0.15 o -12 0.10/0.15 o -13 0.10/0.15 o -14 0.10/0.16 o -15 0.10/0.17 o -16 0.10/0.17 o -17 0.10/0.17 o -18 0.10/0.18 o -19 0.10/0.19 o -20 0.10/0.19 o -21 0.10/0.21 o -22 0.21/0.25 o -23 2.99/3.07 o -24 2.99/3.10 o -25 3.37/3.40 o -26 3.37/3.46 o -27 3.87/3.93 o -28 17.73/17.81 o -29 18.13/18.22 o -30 282.92/283.94 o -31 3600.05/3612.50 c Program interrupted by user. 3600.05/3612.50 s SATISFIABLE 3600.05/3612.50 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
OK -31
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: 64059 MiB (61286 MiB free)
memory of node 1: 64510 MiB (60285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459906-1721943078/watcher-4459906-1721943078 -o /tmp/evaluation-result-4459906-1721943078/solver-4459906-1721943078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721939464-247527 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=752927770 HOME/instance-4459906-1721943078.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=249842, runsolver pid=249839
[startup+0.100624 s]*
/proc/loadavg: 4.13 4.11 4.09 5/246 249843
/proc/meminfo: memFree=124472980/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=37244 memory=17060 CPUtime=0.1 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 3715 0 0 0 9 1 0 0 20 0 1 0 30297517 38137856 4265 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 9311 4265 787 746 0 8375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37244 KiB
Current children cumulated memory: 17060 KiB
[startup+0.21303 s]*
/proc/loadavg: 4.13 4.11 4.09 5/246 249843
/proc/meminfo: memFree=124470740/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=40004 memory=19616 CPUtime=0.21 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 4308 0 0 0 20 1 0 0 20 0 1 0 30297517 40964096 4904 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 10001 4904 835 746 0 9065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40004 KiB
Current children cumulated memory: 19616 KiB
[startup+0.312773 s]*
/proc/loadavg: 4.13 4.11 4.09 5/246 249843
/proc/meminfo: memFree=124467348/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=40532 memory=22192 CPUtime=0.31 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 4468 0 0 0 30 1 0 0 20 0 1 0 30297517 41504768 5548 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 10133 5548 835 746 0 9197 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40532 KiB
Current children cumulated memory: 22192 KiB
[startup+0.700304 s]
/proc/loadavg: 4.12 4.11 4.09 5/246 249843
/proc/meminfo: memFree=124465528/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=41600 memory=25288 CPUtime=0.68 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 4702 0 0 0 67 1 0 0 20 0 1 0 30297517 42598400 6322 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 10400 6322 835 746 0 9464 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 25288 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.11 4.09 5/246 249843
/proc/meminfo: memFree=124460172/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=43228 memory=28652 CPUtime=1.48 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 5074 0 0 0 147 1 0 0 20 0 1 0 30297517 44265472 7163 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 10807 7163 835 746 0 9871 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43228 KiB
Current children cumulated memory: 28652 KiB
[startup+3.11278 s]
/proc/loadavg: 4.12 4.11 4.09 5/246 249844
/proc/meminfo: memFree=124454576/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=44892 memory=30420 CPUtime=3.09 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 5604 0 0 0 308 1 0 0 20 0 1 0 30297517 45969408 7605 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 11223 7605 835 746 0 10287 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44892 KiB
Current children cumulated memory: 30420 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.11 4.09 5/246 249844
/proc/meminfo: memFree=124436028/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=61736 memory=44280 CPUtime=6.26 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 6740 0 0 0 624 2 0 0 20 0 1 0 30297517 63217664 11070 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 15434 11070 835 746 0 14498 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61736 KiB
Current children cumulated memory: 44280 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 249846
/proc/meminfo: memFree=124424688/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=63844 memory=46344 CPUtime=12.64 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 7276 0 0 0 1262 2 0 0 20 0 1 0 30297517 65376256 11586 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 15961 11586 835 746 0 15025 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 63844 KiB
Current children cumulated memory: 46344 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/246 249848
/proc/meminfo: memFree=124412412/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=67980 memory=52004 CPUtime=25.4 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 8243 0 0 0 2537 3 0 0 20 0 1 0 30297517 69611520 13001 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 16995 13001 835 746 0 16059 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67980 KiB
Current children cumulated memory: 52004 KiB
[startup+51.1128 s]
/proc/loadavg: 4.05 4.09 4.08 5/246 249898
/proc/meminfo: memFree=124582532/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=72596 memory=56128 CPUtime=50.92 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 9249 0 0 0 5089 3 0 0 20 0 1 0 30297517 74338304 14032 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 18149 14032 835 746 0 17213 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 72596 KiB
Current children cumulated memory: 56128 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/246 249907
/proc/meminfo: memFree=124550328/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=78392 memory=68112 CPUtime=101.92 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 10643 0 0 0 10189 3 0 0 20 0 1 0 30297517 80273408 17028 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 19598 17028 835 746 0 18662 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 78392 KiB
Current children cumulated memory: 68112 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.09 5/245 249918
/proc/meminfo: memFree=124524376/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=82720 memory=73280 CPUtime=161.72 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 11709 0 0 0 16169 3 0 0 20 0 1 0 30297517 84705280 18320 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 20680 18320 835 746 0 19744 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 82720 KiB
Current children cumulated memory: 73280 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/246 249929
/proc/meminfo: memFree=124495232/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=85864 memory=78368 CPUtime=221.52 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 12499 0 0 0 22148 4 0 0 20 0 1 0 30297517 87924736 19592 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 21466 19592 835 746 0 20530 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 78368 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/243 249939
/proc/meminfo: memFree=124485516/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=86996 memory=81612 CPUtime=281.32 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 12836 0 0 0 28128 4 0 0 20 0 1 0 30297517 89083904 20403 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 21749 20403 835 746 0 20813 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 86996 KiB
Current children cumulated memory: 81612 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/243 249950
/proc/meminfo: memFree=124480228/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=88120 memory=82540 CPUtime=341.12 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 13126 0 0 0 34108 4 0 0 20 0 1 0 30297517 90234880 20635 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 22030 20635 835 746 0 21094 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 88120 KiB
Current children cumulated memory: 82540 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 249960
/proc/meminfo: memFree=124466412/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=90848 memory=85332 CPUtime=400.92 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 13848 0 0 0 40088 4 0 0 20 0 1 0 30297517 93028352 21333 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 22712 21333 835 746 0 21776 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 90848 KiB
Current children cumulated memory: 85332 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/243 249970
/proc/meminfo: memFree=124455404/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=92432 memory=87028 CPUtime=460.72 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 14269 0 0 0 46068 4 0 0 20 0 1 0 30297517 94650368 21757 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 23108 21757 835 746 0 22172 0
################
# More data... #
################
Current children cumulated memory: 143304 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/243 251516
/proc/meminfo: memFree=124229512/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=162504 memory=143692 CPUtime=2912.47 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 27851 0 0 0 291240 7 0 0 20 0 1 0 30297517 166404096 35923 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 40626 35923 835 746 0 39690 0
Current children cumulated CPU time: 2912.47 s
Current children cumulated vsize: 162504 KiB
Current children cumulated memory: 143692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.58 4.22 4.13 5/244 251531
/proc/meminfo: memFree=124223736/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=163140 memory=144220 CPUtime=2972.27 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 28072 0 0 0 297220 7 0 0 20 0 1 0 30297517 167055360 36055 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 40785 36055 835 746 0 39849 0
Current children cumulated CPU time: 2972.27 s
Current children cumulated vsize: 163140 KiB
Current children cumulated memory: 144220 KiB
[startup+3042.3 s]
/proc/loadavg: 4.48 4.28 4.16 5/244 251542
/proc/meminfo: memFree=124221404/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=163140 memory=144328 CPUtime=3032.03 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 28138 0 0 0 303196 7 0 0 20 0 1 0 30297517 167055360 36082 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 40785 36082 835 746 0 39849 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 163140 KiB
Current children cumulated memory: 144328 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.24 4.16 5/244 251552
/proc/meminfo: memFree=124219140/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=163476 memory=144712 CPUtime=3091.78 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 28296 0 0 0 309171 7 0 0 20 0 1 0 30297517 167399424 36178 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 40869 36178 835 746 0 39933 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 163476 KiB
Current children cumulated memory: 144712 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.21 4.15 5/245 251565
/proc/meminfo: memFree=124216908/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=164064 memory=145252 CPUtime=3151.54 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 28492 0 0 0 315147 7 0 0 20 0 1 0 30297517 168001536 36313 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41016 36313 835 746 0 40080 0
Current children cumulated CPU time: 3151.54 s
Current children cumulated vsize: 164064 KiB
Current children cumulated memory: 145252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/245 251575
/proc/meminfo: memFree=124213340/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=164756 memory=145944 CPUtime=3211.3 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 28740 0 0 0 321123 7 0 0 20 0 1 0 30297517 168710144 36486 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41189 36486 835 746 0 40253 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 164756 KiB
Current children cumulated memory: 145944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/246 251970
/proc/meminfo: memFree=124209768/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=165820 memory=147008 CPUtime=3271.06 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 29062 0 0 0 327099 7 0 0 20 0 1 0 30297517 169799680 36752 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41455 36752 835 746 0 40519 0
Current children cumulated CPU time: 3271.06 s
Current children cumulated vsize: 165820 KiB
Current children cumulated memory: 147008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/246 251981
/proc/meminfo: memFree=124206476/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=167324 memory=148512 CPUtime=3330.82 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 29500 0 0 0 333075 7 0 0 20 0 1 0 30297517 171339776 37128 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41831 37128 835 746 0 40895 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 167324 KiB
Current children cumulated memory: 148512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/246 251991
/proc/meminfo: memFree=124202728/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=167580 memory=148756 CPUtime=3390.57 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 29627 0 0 0 339050 7 0 0 20 0 1 0 30297517 171601920 37189 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41895 37189 835 746 0 40959 0
Current children cumulated CPU time: 3390.57 s
Current children cumulated vsize: 167580 KiB
Current children cumulated memory: 148756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/247 252170
/proc/meminfo: memFree=124195200/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=167580 memory=148868 CPUtime=3450.35 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 29719 0 0 0 345028 7 0 0 20 0 1 0 30297517 171601920 37217 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41895 37217 835 746 0 40959 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 167580 KiB
Current children cumulated memory: 148868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/246 252180
/proc/meminfo: memFree=124194560/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=167580 memory=148868 CPUtime=3510.15 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 29784 0 0 0 351008 7 0 0 20 0 1 0 30297517 171601920 37217 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 41895 37217 835 746 0 40959 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 167580 KiB
Current children cumulated memory: 148868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/244 252247
/proc/meminfo: memFree=124189396/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=168300 memory=149488 CPUtime=3569.95 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 30006 0 0 0 356988 7 0 0 20 0 1 0 30297517 172339200 37372 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 42075 37372 835 746 0 41139 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 168300 KiB
Current children cumulated memory: 149488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.19 4.15 4.13 3/230 252314
/proc/meminfo: memFree=124351872/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=168300 memory=149488 CPUtime=3600.05 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 30006 0 0 0 359998 7 0 0 20 0 1 0 30297517 172339200 37372 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 42075 37372 835 746 0 41139 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 168300 KiB
Current children cumulated memory: 149488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.51 s]
# the end of solver process 249842 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.99 s, system=0.078712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.19 4.15 4.13 3/230 252314
/proc/meminfo: memFree=124351872/131655788 swapFree=131057052/131071996
[pid=249842] ppid=249839 vsize=168300 memory=149488 CPUtime=3600.05 cores=0,2
/proc/249842/stat : 249842 (Exact_nosoplex) R 249839 249842 247517 0 -1 4194304 30006 0 0 0 359998 7 0 0 20 0 1 0 30297517 172339200 37372 134679101440 4194304 7248369 140726974872192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 20193280 140726974878636 140726974878814 140726974878814 140726974885830 0
/proc/249842/statm: 42075 37372 835 746 0 41139 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 168300 KiB
Current children cumulated memory: 149488 KiB
Child status: 10
Real time (s): 3612.51
CPU time (s): 3600.07
CPU user time (s): 3599.99
CPU system time (s): 0.078712
CPU usage (%): 99.6558
Max. virtual memory (cumulated for all children) (KiB): 168300
Max. memory (cumulated for all children) (KiB): 149488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.99
system time used= 0.078712
maximum resident set size= 149488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30007
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= 48
involuntary context switches= 25244
# summary of solver processes directly reported to runsolver:
# pid: 249842
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.99
# total CPU system time (s): 0.078712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0731 second user time and 35.2588 second system time
The end
Begin job on nodeC012 at 2024-07-25 23:31:18 IDJOB=4459906 IDBENCH=148653 IDSOLVER=3061 FILE ID=nodeC012/4459906-1721943078 RUNJOBID= nodeC012-1721939464-247527 SLURM_JOB_ID= 8247266 Free space on /tmp= 723764 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.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-4459906-1721943078/watcher-4459906-1721943078 -o /tmp/evaluation-result-4459906-1721943078/solver-4459906-1721943078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721939464-247527 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=752927770 HOME/instance-4459906-1721943078.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 273961b324c53d2d230ce6da1470e4a9 RANDOM SEED=752927770 nodeC012.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 : 0xb00001f cpu MHz : 3512.942 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47 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 : 0xb00001f cpu MHz : 3652.664 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.170 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47 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 : 0xb00001f cpu MHz : 1197.273 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 3651.610 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47 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 : 0xb00001f cpu MHz : 3652.761 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 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 : 0xb00001f cpu MHz : 1197.312 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.47 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 : 0xb00001f cpu MHz : 1197.234 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124489920 kB MemAvailable: 129575248 kB Buffers: 342868 kB Cached: 5527776 kB SwapCached: 188 kB Active: 2651892 kB Inactive: 3871116 kB Active(anon): 4004 kB Inactive(anon): 701112 kB Active(file): 2647888 kB Inactive(file): 3170004 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 14248 kB Writeback: 0 kB AnonPages: 648316 kB Mapped: 126912 kB Shmem: 53076 kB KReclaimable: 214936 kB Slab: 327180 kB SReclaimable: 214936 kB SUnreclaim: 112244 kB KernelStack: 3964 kB PageTables: 10888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1064248 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 483328 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723768 MiB End job on nodeC012 at 2024-07-26 00:31:31