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) | 64 | 3600.06 | 3610.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | 01f07e427327757fda434ad4b1d2038d |
| 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 | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 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 | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| 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.02 o 84 0.31/0.33 o 68 2.48/2.57 o 66 5.77/5.84 o 64 3600.04/3610.50 c Program interrupted by user. 3600.04/3610.50 s SATISFIABLE 3600.04/3610.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 -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 64
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 (62845 MiB free)
memory of node 1: 64510 MiB (62778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433420-1721073701/watcher-4433420-1721073701 -o /tmp/evaluation-result-4433420-1721073701/solver-4433420-1721073701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810021 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=760742754 HOME/instance-4433420-1721073701.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=812083, runsolver pid=812080
[startup+0.100094 s]*
/proc/loadavg: 4.12 4.11 4.09 6/242 812095
/proc/meminfo: memFree=128633312/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=26772 memory=5544 CPUtime=0.1 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 670 0 0 0 10 0 0 0 20 0 1 0 159526224 27414528 1386 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 6693 1386 851 746 0 5757 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26772 KiB
Current children cumulated memory: 5544 KiB
[startup+0.212685 s]*
/proc/loadavg: 4.12 4.11 4.09 4/243 812101
/proc/meminfo: memFree=128627380/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=26904 memory=5808 CPUtime=0.21 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 729 0 0 0 21 0 0 0 20 0 1 0 159526224 27549696 1452 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 6726 1452 851 746 0 5790 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26904 KiB
Current children cumulated memory: 5808 KiB
[startup+0.312534 s]*
/proc/loadavg: 4.12 4.11 4.09 6/243 812115
/proc/meminfo: memFree=128627100/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=26904 memory=6072 CPUtime=0.31 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 780 0 0 0 31 0 0 0 20 0 1 0 159526224 27549696 1518 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 6726 1518 851 746 0 5790 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26904 KiB
Current children cumulated memory: 6072 KiB
[startup+0.700287 s]
/proc/loadavg: 4.12 4.11 4.09 4/239 812132
/proc/meminfo: memFree=128631224/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=27168 memory=8644 CPUtime=0.68 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 903 0 0 0 68 0 0 0 20 0 1 0 159526224 27820032 2161 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 6792 2161 851 746 0 5856 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27168 KiB
Current children cumulated memory: 8644 KiB
[startup+1.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/245 812147
/proc/meminfo: memFree=128616296/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=27696 memory=11220 CPUtime=1.48 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 1047 0 0 0 148 0 0 0 20 0 1 0 159526224 28360704 2805 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 6924 2805 851 746 0 5988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 11220 KiB
[startup+3.11259 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812149
/proc/meminfo: memFree=128601000/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=28708 memory=12240 CPUtime=3.09 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 1344 0 0 0 309 0 0 0 20 0 1 0 159526224 29396992 3060 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 7177 3060 851 746 0 6241 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28708 KiB
Current children cumulated memory: 12240 KiB
[startup+6.30028 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812195
/proc/meminfo: memFree=128966868/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=29804 memory=15240 CPUtime=6.27 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 1735 0 0 0 627 0 0 0 20 0 1 0 159526224 30519296 3810 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 7451 3810 851 746 0 6515 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29804 KiB
Current children cumulated memory: 15240 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 812195
/proc/meminfo: memFree=128936496/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=30232 memory=15848 CPUtime=12.64 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 2088 0 0 0 1264 0 0 0 20 0 1 0 159526224 30957568 3962 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 7558 3962 851 746 0 6622 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 30232 KiB
Current children cumulated memory: 15848 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 812198
/proc/meminfo: memFree=128904632/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=30836 memory=16388 CPUtime=25.41 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 2842 0 0 0 2540 1 0 0 20 0 1 0 159526224 31576064 4097 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 7709 4097 851 746 0 6773 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30836 KiB
Current children cumulated memory: 16388 KiB
[startup+51.1127 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 812202
/proc/meminfo: memFree=128879860/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=31544 memory=19180 CPUtime=50.94 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 4346 0 0 0 5093 1 0 0 20 0 1 0 159526224 32301056 4795 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 7886 4795 851 746 0 6950 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 31544 KiB
Current children cumulated memory: 19180 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 812210
/proc/meminfo: memFree=128860684/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=32176 memory=19820 CPUtime=101.97 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 7052 0 0 0 10195 2 0 0 20 0 1 0 159526224 32948224 4955 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8044 4955 851 746 0 7108 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 32176 KiB
Current children cumulated memory: 19820 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 812220
/proc/meminfo: memFree=128844684/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=32944 memory=20592 CPUtime=161.78 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 10105 0 0 0 16176 2 0 0 20 0 1 0 159526224 33734656 5148 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8236 5148 851 746 0 7300 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 32944 KiB
Current children cumulated memory: 20592 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 812231
/proc/meminfo: memFree=128829828/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=33328 memory=20980 CPUtime=221.59 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 13062 0 0 0 22156 3 0 0 20 0 1 0 159526224 34127872 5245 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8332 5245 851 746 0 7396 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 33328 KiB
Current children cumulated memory: 20980 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/242 812243
/proc/meminfo: memFree=128812324/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=33944 memory=23644 CPUtime=281.4 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 15735 0 0 0 28137 3 0 0 20 0 1 0 159526224 34758656 5911 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8486 5911 851 746 0 7550 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 33944 KiB
Current children cumulated memory: 23644 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/242 812253
/proc/meminfo: memFree=128805284/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=34152 memory=23856 CPUtime=341.21 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 18426 0 0 0 34117 4 0 0 20 0 1 0 159526224 34971648 5964 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8538 5964 851 746 0 7602 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 34152 KiB
Current children cumulated memory: 23856 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/242 812264
/proc/meminfo: memFree=128796032/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=34424 memory=24172 CPUtime=401.02 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 21020 0 0 0 40098 4 0 0 20 0 1 0 159526224 35250176 6043 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 8606 6043 851 746 0 7670 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 34424 KiB
Current children cumulated memory: 24172 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 812275
/proc/meminfo: memFree=128790932/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=34684 memory=24432 CPUtime=460.87 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 23574 0 0 0 46082 5 0 0 20 0 1 0 159526224 35516416 6108 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
################
# More data... #
################
Current children cumulated memory: 31916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 813339
/proc/meminfo: memFree=128628632/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40368 memory=32164 CPUtime=2913.76 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 111355 0 0 0 291353 23 0 0 20 0 1 0 159526224 41336832 8041 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10092 8041 851 746 0 9156 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 32164 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 813349
/proc/meminfo: memFree=128628408/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40496 memory=32292 CPUtime=2973.62 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 113280 0 0 0 297338 24 0 0 20 0 1 0 159526224 41467904 8073 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10124 8073 851 746 0 9188 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 40496 KiB
Current children cumulated memory: 32292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/243 813360
/proc/meminfo: memFree=128627632/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40656 memory=32452 CPUtime=3033.46 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 115153 0 0 0 303322 24 0 0 20 0 1 0 159526224 41631744 8113 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10164 8113 851 746 0 9228 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 40656 KiB
Current children cumulated memory: 32452 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 813370
/proc/meminfo: memFree=128626344/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40752 memory=32548 CPUtime=3093.31 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 116900 0 0 0 309307 24 0 0 20 0 1 0 159526224 41730048 8137 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10188 8137 851 746 0 9252 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 40752 KiB
Current children cumulated memory: 32548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/243 813380
/proc/meminfo: memFree=128625132/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40848 memory=32644 CPUtime=3153.17 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 118741 0 0 0 315292 25 0 0 20 0 1 0 159526224 41828352 8161 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10212 8161 851 746 0 9276 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 40848 KiB
Current children cumulated memory: 32644 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/245 813775
/proc/meminfo: memFree=128623160/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40912 memory=32708 CPUtime=3213.02 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 120574 0 0 0 321277 25 0 0 20 0 1 0 159526224 41893888 8177 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10228 8177 851 746 0 9292 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 40912 KiB
Current children cumulated memory: 32708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/243 813786
/proc/meminfo: memFree=128622148/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=40944 memory=32740 CPUtime=3272.87 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 122399 0 0 0 327262 25 0 0 20 0 1 0 159526224 41926656 8185 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10236 8185 851 746 0 9300 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 40944 KiB
Current children cumulated memory: 32740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/243 813796
/proc/meminfo: memFree=128621084/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41040 memory=32836 CPUtime=3332.7 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 124335 0 0 0 333244 26 0 0 20 0 1 0 159526224 42024960 8209 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10260 8209 851 746 0 9324 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 32836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.11 5/245 813976
/proc/meminfo: memFree=128604724/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41040 memory=32836 CPUtime=3392.51 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 126128 0 0 0 339225 26 0 0 20 0 1 0 159526224 42024960 8209 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10260 8209 851 746 0 9324 0
Current children cumulated CPU time: 3392.51 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 32836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/246 813988
/proc/meminfo: memFree=128602420/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41072 memory=32868 CPUtime=3452.32 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 127904 0 0 0 345205 27 0 0 20 0 1 0 159526224 42057728 8217 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10268 8217 851 746 0 9332 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 41072 KiB
Current children cumulated memory: 32868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/247 814001
/proc/meminfo: memFree=128599880/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41104 memory=32900 CPUtime=3512.13 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 129730 0 0 0 351186 27 0 0 20 0 1 0 159526224 42090496 8225 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10276 8225 851 746 0 9340 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 32900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 814022
/proc/meminfo: memFree=128598484/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41168 memory=32964 CPUtime=3571.94 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 131563 0 0 0 357167 27 0 0 20 0 1 0 159526224 42156032 8241 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10292 8241 851 746 0 9356 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 32964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.17 4.12 4.10 4/239 814050
/proc/meminfo: memFree=128811996/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41232 memory=33028 CPUtime=3600.04 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 132434 0 0 0 359977 27 0 0 20 0 1 0 159526224 42221568 8257 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10308 8257 851 746 0 9372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 33028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 812083 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.78 s, system=0.279218 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.17 4.12 4.10 4/239 814050
/proc/meminfo: memFree=128811996/131655788 swapFree=131071996/131071996
[pid=812083] ppid=812080 vsize=41232 memory=33028 CPUtime=3600.04 cores=1,3
/proc/812083/stat : 812083 (Exact_nosoplex) R 812080 812083 810009 0 -1 4194304 132434 0 0 0 359977 27 0 0 20 0 1 0 159526224 42221568 8257 134679101440 4194304 7248369 140732219258144 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 18538496 140732219261869 140732219262047 140732219262047 140732219269062 0
/proc/812083/statm: 10308 8257 851 746 0 9372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 33028 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.06
CPU user time (s): 3599.78
CPU system time (s): 0.279218
CPU usage (%): 99.7108
Max. virtual memory (cumulated for all children) (KiB): 41516
Max. memory (cumulated for all children) (KiB): 33096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.279218
maximum resident set size= 33288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132435
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= 9
involuntary context switches= 3728
# summary of solver processes directly reported to runsolver:
# pid: 812083
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.78
# total CPU system time (s): 0.279218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8332 second user time and 34.3676 second system time
The end
Begin job on nodeC003 at 2024-07-15 22:01:53 IDJOB=4433420 IDBENCH=147020 IDSOLVER=3061 FILE ID=nodeC003/4433420-1721073701 RUNJOBID= nodeC003-1721070103-810021 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-circ6_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-4433420-1721073701/watcher-4433420-1721073701 -o /tmp/evaluation-result-4433420-1721073701/solver-4433420-1721073701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721070103-810021 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=760742754 HOME/instance-4433420-1721073701.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=760742754 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 : 3649.658 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 : 3491.902 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.385 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.222 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 : 3619.567 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 : 3492.192 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.218 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.216 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: 128639592 kB MemAvailable: 129510092 kB Buffers: 391800 kB Cached: 1313616 kB SwapCached: 0 kB Active: 606608 kB Inactive: 1872632 kB Active(anon): 1436 kB Inactive(anon): 810084 kB Active(file): 605172 kB Inactive(file): 1062548 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12724 kB Writeback: 0 kB AnonPages: 773832 kB Mapped: 109984 kB Shmem: 37704 kB KReclaimable: 85624 kB Slab: 180936 kB SReclaimable: 85624 kB SUnreclaim: 95312 kB KernelStack: 3904 kB PageTables: 10584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1165152 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51040 kB HardwareCorrupted: 0 kB AnonHugePages: 602112 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= 723760 MiB End job on nodeC003 at 2024-07-15 23:02:04