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) | 24032 | 3600.02 | 3609.2 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| 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 | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3441.35 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.08 o 34058 0.10/0.11 o 31466 0.10/0.12 o 30490 0.10/0.13 o 27635 0.21/0.31 o 27606 0.31/0.42 o 27572 0.59/0.62 o 27530 0.78/0.80 o 26687 0.78/0.80 o 25958 0.78/0.83 o 25948 0.78/0.87 o 25803 2.98/3.08 o 24813 19.73/19.88 o 24682 30.21/30.31 o 24538 613.83/615.46 o 24511 626.00/627.65 o 24289 881.70/884.11 o 24070 881.98/884.30 o 24032 3600.00/3609.20 c Program interrupted by user. 3600.00/3609.20 s SATISFIABLE 3600.00/3609.20 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 -x402 x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 x539 -x540
OK 24032
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 (62847 MiB free)
memory of node 1: 64510 MiB (62761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433424-1721073701/watcher-4433424-1721073701 -o /tmp/evaluation-result-4433424-1721073701/solver-4433424-1721073701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810020 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1248556932 HOME/instance-4433424-1721073701.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=812146, runsolver pid=812143
[startup+0.100509 s]*
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128621792/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=26916 memory=5544 CPUtime=0.1 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 651 0 0 0 10 0 0 0 20 0 1 0 159526287 27561984 1386 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 6729 1386 851 746 0 5793 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26916 KiB
Current children cumulated memory: 5544 KiB
[startup+0.213667 s]*
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128619128/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=27048 memory=5808 CPUtime=0.21 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 726 0 0 0 21 0 0 0 20 0 1 0 159526287 27697152 1452 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 6762 1452 851 746 0 5826 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27048 KiB
Current children cumulated memory: 5808 KiB
[startup+0.313753 s]*
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128616660/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=27048 memory=7856 CPUtime=0.31 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 746 0 0 0 31 0 0 0 20 0 1 0 159526287 27697152 1964 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 6762 1964 851 746 0 5826 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27048 KiB
Current children cumulated memory: 7856 KiB
[startup+0.700339 s]
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128616184/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=27312 memory=8116 CPUtime=0.68 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 800 0 0 0 68 0 0 0 20 0 1 0 159526287 27967488 2029 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 6828 2029 851 746 0 5892 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27312 KiB
Current children cumulated memory: 8116 KiB
[startup+1.50034 s]
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128610416/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=27840 memory=10688 CPUtime=1.48 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 938 0 0 0 148 0 0 0 20 0 1 0 159526287 28508160 2672 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 6960 2672 851 746 0 6024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27840 KiB
Current children cumulated memory: 10688 KiB
[startup+3.11282 s]
/proc/loadavg: 4.11 4.11 4.09 4/243 812149
/proc/meminfo: memFree=129007284/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=28832 memory=13892 CPUtime=3.08 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 1253 0 0 0 308 0 0 0 20 0 1 0 159526287 29523968 3473 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 7208 3473 851 746 0 6272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 28832 KiB
Current children cumulated memory: 13892 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812195
/proc/meminfo: memFree=128960276/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=29724 memory=14800 CPUtime=6.27 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 1690 0 0 0 626 1 0 0 20 0 1 0 159526287 30437376 3700 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 7431 3700 851 746 0 6495 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29724 KiB
Current children cumulated memory: 14800 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 812196
/proc/meminfo: memFree=128936160/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=30716 memory=17788 CPUtime=12.65 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 2327 0 0 0 1264 1 0 0 20 0 1 0 159526287 31453184 4447 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 7679 4447 851 746 0 6743 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30716 KiB
Current children cumulated memory: 17788 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 812198
/proc/meminfo: memFree=128904444/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=31480 memory=18552 CPUtime=25.42 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 3136 0 0 0 2541 1 0 0 20 0 1 0 159526287 32235520 4638 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 7870 4638 851 746 0 6934 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31480 KiB
Current children cumulated memory: 18552 KiB
[startup+51.113 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812202
/proc/meminfo: memFree=128879636/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=32208 memory=21408 CPUtime=50.96 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 4354 0 0 0 5095 1 0 0 20 0 1 0 159526287 32980992 5352 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8052 5352 851 746 0 7116 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 21408 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 812212
/proc/meminfo: memFree=128860568/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=32952 memory=22156 CPUtime=102.02 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 6689 0 0 0 10200 2 0 0 20 0 1 0 159526287 33742848 5539 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8238 5539 851 746 0 7302 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 32952 KiB
Current children cumulated memory: 22156 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 812222
/proc/meminfo: memFree=128844684/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=33696 memory=22896 CPUtime=161.87 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 9226 0 0 0 16184 3 0 0 20 0 1 0 159526287 34504704 5724 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8424 5724 851 746 0 7488 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 33696 KiB
Current children cumulated memory: 22896 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 812233
/proc/meminfo: memFree=128824740/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=33960 memory=23164 CPUtime=221.72 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 11412 0 0 0 22169 3 0 0 20 0 1 0 159526287 34775040 5791 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8490 5791 851 746 0 7554 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 33960 KiB
Current children cumulated memory: 23164 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/242 812245
/proc/meminfo: memFree=128812356/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=34412 memory=23616 CPUtime=281.57 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 13658 0 0 0 28154 3 0 0 20 0 1 0 159526287 35237888 5904 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8603 5904 851 746 0 7667 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 34412 KiB
Current children cumulated memory: 23616 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/242 812255
/proc/meminfo: memFree=128805240/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=35148 memory=24356 CPUtime=341.41 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 15929 0 0 0 34138 3 0 0 20 0 1 0 159526287 35991552 6089 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8787 6089 851 746 0 7851 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 35148 KiB
Current children cumulated memory: 24356 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/242 812265
/proc/meminfo: memFree=128796284/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=35404 memory=26660 CPUtime=401.26 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 17986 0 0 0 40123 3 0 0 20 0 1 0 159526287 36253696 6665 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8851 6665 851 746 0 7915 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 35404 KiB
Current children cumulated memory: 26660 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 812276
/proc/meminfo: memFree=128790932/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=35644 memory=26952 CPUtime=461.11 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 19958 0 0 0 46107 4 0 0 20 0 1 0 159526287 36499456 6738 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 8911 6738 851 746 0 7975 0
################
# More data... #
################
Current children cumulated memory: 36828 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/241 813327
/proc/meminfo: memFree=128629596/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45520 memory=36828 CPUtime=2854.98 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 95718 0 0 0 285481 17 0 0 20 0 1 0 159526287 46612480 9207 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11380 9207 851 746 0 10444 0
Current children cumulated CPU time: 2854.98 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 36828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 813341
/proc/meminfo: memFree=128628856/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45520 memory=36828 CPUtime=2914.84 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 97460 0 0 0 291466 18 0 0 20 0 1 0 159526287 46612480 9207 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11380 9207 851 746 0 10444 0
Current children cumulated CPU time: 2914.84 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 36828 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/243 813351
/proc/meminfo: memFree=128628364/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45520 memory=36828 CPUtime=2974.69 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 99203 0 0 0 297451 18 0 0 20 0 1 0 159526287 46612480 9207 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11380 9207 851 746 0 10444 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 36828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/243 813362
/proc/meminfo: memFree=128627576/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45584 memory=36892 CPUtime=3034.53 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 100961 0 0 0 303435 18 0 0 20 0 1 0 159526287 46678016 9223 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11396 9223 851 746 0 10460 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 36892 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 813372
/proc/meminfo: memFree=128626316/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45584 memory=36892 CPUtime=3094.39 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 102775 0 0 0 309420 19 0 0 20 0 1 0 159526287 46678016 9223 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11396 9223 851 746 0 10460 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 45584 KiB
Current children cumulated memory: 36892 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/243 813382
/proc/meminfo: memFree=128625000/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45744 memory=37052 CPUtime=3154.23 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 104607 0 0 0 315404 19 0 0 20 0 1 0 159526287 46841856 9263 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11436 9263 851 746 0 10500 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 45744 KiB
Current children cumulated memory: 37052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/245 813777
/proc/meminfo: memFree=128623068/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=45968 memory=37276 CPUtime=3214.08 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 106388 0 0 0 321389 19 0 0 20 0 1 0 159526287 47071232 9319 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11492 9319 851 746 0 10556 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 37276 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/243 813788
/proc/meminfo: memFree=128622164/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=46704 memory=37828 CPUtime=3273.93 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 108364 0 0 0 327373 20 0 0 20 0 1 0 159526287 47824896 9457 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11676 9457 851 746 0 10740 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 37828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/243 813798
/proc/meminfo: memFree=128621024/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=46832 memory=37956 CPUtime=3333.78 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 110234 0 0 0 333358 20 0 0 20 0 1 0 159526287 47955968 9489 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11708 9489 851 746 0 10772 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 46832 KiB
Current children cumulated memory: 37956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.11 5/245 813978
/proc/meminfo: memFree=128604612/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=46992 memory=38116 CPUtime=3393.63 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 112112 0 0 0 339343 20 0 0 20 0 1 0 159526287 48119808 9529 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11748 9529 851 746 0 10812 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 46992 KiB
Current children cumulated memory: 38116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/246 813990
/proc/meminfo: memFree=128602448/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=47120 memory=38428 CPUtime=3453.48 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 113888 0 0 0 345327 21 0 0 20 0 1 0 159526287 48250880 9607 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11780 9607 851 746 0 10844 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 47120 KiB
Current children cumulated memory: 38428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/247 814003
/proc/meminfo: memFree=128599824/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=47152 memory=38460 CPUtime=3513.32 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 115735 0 0 0 351311 21 0 0 20 0 1 0 159526287 48283648 9615 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11788 9615 851 746 0 10852 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 47152 KiB
Current children cumulated memory: 38460 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/246 814024
/proc/meminfo: memFree=128598456/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=47376 memory=38684 CPUtime=3573.17 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 117438 0 0 0 357296 21 0 0 20 0 1 0 159526287 48513024 9671 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11844 9671 851 746 0 10908 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 47376 KiB
Current children cumulated memory: 38684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.17 4.12 4.10 4/244 814028
/proc/meminfo: memFree=128775004/131655788 swapFree=131071996/131071996
[pid=812146] ppid=812143 vsize=47376 memory=38684 CPUtime=3600 cores=4,6
/proc/812146/stat : 812146 (Exact_nosoplex) R 812143 812146 810009 0 -1 4194304 118206 0 0 0 359979 21 0 0 20 0 1 0 159526287 48513024 9671 134679101440 4194304 7248369 140720567666448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 13545472 140720567669676 140720567669855 140720567669855 140720567676870 0
/proc/812146/statm: 11844 9671 851 746 0 10908 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 47376 KiB
Current children cumulated memory: 38684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 812146 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.8 s, system=0.219419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.2
CPU time (s): 3600.02
CPU user time (s): 3599.8
CPU system time (s): 0.219419
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 47664
Max. memory (cumulated for all children) (KiB): 38720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.8
system time used= 0.219419
maximum resident set size= 38944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118207
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= 12
involuntary context switches= 3212
# summary of solver processes directly reported to runsolver:
# pid: 812146
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.8
# total CPU system time (s): 0.219419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2298 second user time and 34.8781 second system time
The end
Begin job on nodeC003 at 2024-07-15 22:01:54 IDJOB=4433424 IDBENCH=147022 IDSOLVER=3061 FILE ID=nodeC003/4433424-1721073701 RUNJOBID= nodeC003-1721070103-810020 SLURM_JOB_ID= 7505524 Free space on /tmp= 723764 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.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-4433424-1721073701/watcher-4433424-1721073701 -o /tmp/evaluation-result-4433424-1721073701/solver-4433424-1721073701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810020 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1248556932 HOME/instance-4433424-1721073701.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1248556932 nodeC003.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 : 3652.585 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.76 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 : 1494.426 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.30 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.352 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.76 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.230 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.30 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 : 1600.872 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.76 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 : 2093.486 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.30 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.229 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.76 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.360 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128624340 kB MemAvailable: 129493888 kB Buffers: 391800 kB Cached: 1312352 kB SwapCached: 0 kB Active: 604852 kB Inactive: 1889624 kB Active(anon): 1468 kB Inactive(anon): 826232 kB Active(file): 603384 kB Inactive(file): 1063392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17396 kB Writeback: 0 kB AnonPages: 790088 kB Mapped: 113876 kB Shmem: 37704 kB KReclaimable: 85608 kB Slab: 181028 kB SReclaimable: 85608 kB SUnreclaim: 95420 kB KernelStack: 3932 kB PageTables: 10924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1092068 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51040 kB HardwareCorrupted: 0 kB AnonHugePages: 577536 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: 228168 kB DirectMap2M: 14356480 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 723756 MiB End job on nodeC003 at 2024-07-15 23:02:03