Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | SAT (TO) | 23916 | 3487.82 | 3700.06 |
| 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.08/0.12 o 31418 0.08/0.13 o 30678 0.08/0.14 o 30446 0.08/0.15 o 30169 0.08/0.16 o 30041 0.08/0.17 o 29984 0.08/0.19 o 29500 0.08/0.20 o 29253 0.29/0.32 o 28857 0.29/0.38 o 27945 0.29/0.38 o 27844 0.39/0.41 o 27462 0.39/0.44 o 26884 0.39/0.48 o 26774 0.39/0.48 o 26539 0.39/0.49 o 26109 0.49/0.51 o 26097 0.58/0.60 o 25996 1.18/1.21 o 25487 1.67/1.73 o 25453 1.67/1.74 o 25450 4.17/4.20 o 25445 4.37/4.41 o 24980 61.28/64.72 o 24946 64.08/67.52 o 24702 125.81/132.59 o 24611 125.81/132.59 o 24538 555.64/576.95 o 24511 561.92/583.27 o 24289 572.43/665.98 o 24073 612.70/709.39 o 24016 612.70/709.39 o 23978 772.09/894.55 o 23916 3487.81/3700.00 c Program interrupted by user. 3487.81/3700.00 s SATISFIABLE 3487.81/3700.00 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 23916
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: 63968 MiB (41843 MiB free)
memory of node 1: 64473 MiB (45007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441081-1721755503/watcher-4441081-1721755503 -o /tmp/evaluation-result-4441081-1721755503/solver-4441081-1721755503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721751754-115150 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441081-1721755503 --seed=1089136443 HOME/instance-4441081-1721755503.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=117453, runsolver pid=117450
[startup+0.100081 s]*
/proc/loadavg: 4.22 4.31 4.19 5/261 117454
/proc/meminfo: memFree=88927076/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=32076 memory=10308 CPUtime=0.08 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 1924 0 0 0 8 0 0 0 20 0 1 0 12078594 32845824 2577 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8019 2577 1075 1006 0 6780 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32076 KiB
Current children cumulated memory: 10308 KiB
[startup+0.20518 s]*
/proc/loadavg: 4.22 4.31 4.19 5/261 117454
/proc/meminfo: memFree=88922028/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=32076 memory=12356 CPUtime=0.19 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 1967 0 0 0 18 1 0 0 20 0 1 0 12078594 32845824 3089 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8019 3089 1075 1006 0 6780 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32076 KiB
Current children cumulated memory: 12356 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.22 4.31 4.19 5/261 117454
/proc/meminfo: memFree=88916480/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=32212 memory=12916 CPUtime=0.29 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 2002 0 0 0 28 1 0 0 20 0 1 0 12078594 32985088 3229 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8053 3229 1155 1006 0 6814 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32212 KiB
Current children cumulated memory: 12916 KiB
[startup+0.700187 s]
/proc/loadavg: 4.22 4.31 4.19 5/261 117454
/proc/meminfo: memFree=88905940/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=32648 memory=13180 CPUtime=0.68 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 2097 0 0 0 67 1 0 0 20 0 1 0 12078594 33431552 3295 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8162 3295 1155 1006 0 6923 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 13180 KiB
[startup+1.5002 s]
/proc/loadavg: 4.22 4.31 4.19 5/261 117454
/proc/meminfo: memFree=88895500/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=33980 memory=18592 CPUtime=1.47 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 2425 0 0 0 146 1 0 0 20 0 1 0 12078594 34795520 4648 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8495 4648 1155 1006 0 7256 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 18592 KiB
[startup+3.10562 s]
/proc/loadavg: 4.22 4.31 4.19 5/259 117837
/proc/meminfo: memFree=88850224/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=34796 memory=19368 CPUtime=3.08 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 2620 0 0 0 305 3 0 0 20 0 1 0 12078594 35631104 4842 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 8699 4842 1155 1006 0 7460 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 19368 KiB
[startup+6.3002 s]
/proc/loadavg: 4.20 4.31 4.19 5/259 117837
/proc/meminfo: memFree=88796432/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=36620 memory=20940 CPUtime=6.27 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 3032 0 0 0 621 6 0 0 20 0 1 0 12078594 37498880 5235 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 9155 5235 1155 1006 0 7916 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36620 KiB
Current children cumulated memory: 20940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.30 4.19 5/259 117839
/proc/meminfo: memFree=88664844/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=37508 memory=24016 CPUtime=12.65 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 3278 0 0 0 1255 10 0 0 20 0 1 0 12078594 38408192 6004 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 9377 6004 1155 1006 0 8138 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 37508 KiB
Current children cumulated memory: 24016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.30 4.19 5/259 117840
/proc/meminfo: memFree=88407336/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=39304 memory=25832 CPUtime=25.41 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 3739 0 0 0 2522 19 0 0 20 0 1 0 12078594 40247296 6458 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 9826 6458 1155 1006 0 8587 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 25832 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.28 4.18 5/259 117843
/proc/meminfo: memFree=87957492/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=42028 memory=28440 CPUtime=47.72 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 4392 0 0 0 4733 39 0 0 20 0 1 0 12078594 43036672 7110 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 322 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 10507 7110 1155 1006 0 9268 0
Current children cumulated CPU time: 47.72 s
Current children cumulated vsize: 42028 KiB
Current children cumulated memory: 28440 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.25 4.18 5/259 117854
/proc/meminfo: memFree=87046268/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=45024 memory=33340 CPUtime=96.59 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 5130 0 0 0 9583 76 0 0 20 0 1 0 12078594 46104576 8335 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 543 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 11256 8335 1155 1006 0 10017 0
Current children cumulated CPU time: 96.59 s
Current children cumulated vsize: 45024 KiB
Current children cumulated memory: 33340 KiB
[startup+162.3 s]
/proc/loadavg: 4.48 4.31 4.20 5/257 117910
/proc/meminfo: memFree=95205556/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=47032 memory=35160 CPUtime=154.39 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 5612 0 0 0 15320 119 0 0 20 0 1 0 12078594 48160768 8790 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 748 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 11758 8790 1155 1006 0 10519 0
Current children cumulated CPU time: 154.39 s
Current children cumulated vsize: 47032 KiB
Current children cumulated memory: 35160 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.28 4.20 4/258 118091
/proc/meminfo: memFree=93931988/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=48308 memory=36460 CPUtime=212.54 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) D 117450 117453 115139 0 -1 4194304 5915 0 0 0 21084 170 0 0 20 0 1 0 12078594 49467392 9115 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 852 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 12077 9115 1155 1006 0 10838 0
Current children cumulated CPU time: 212.54 s
Current children cumulated vsize: 48308 KiB
Current children cumulated memory: 36460 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.26 4.19 5/257 118194
/proc/meminfo: memFree=99472396/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=48928 memory=37212 CPUtime=269.9 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 6107 0 0 0 26774 216 0 0 20 0 1 0 12078594 50102272 9303 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1165 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 12232 9303 1155 1006 0 10993 0
Current children cumulated CPU time: 269.9 s
Current children cumulated vsize: 48928 KiB
Current children cumulated memory: 37212 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.27 4.20 4/257 118261
/proc/meminfo: memFree=97802296/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=49432 memory=38256 CPUtime=328.67 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 6234 0 0 0 32604 263 0 0 20 0 1 0 12078594 50618368 9564 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1274 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 12358 9564 1155 1006 0 11119 0
Current children cumulated CPU time: 328.67 s
Current children cumulated vsize: 49432 KiB
Current children cumulated memory: 38256 KiB
[startup+402.301 s]
/proc/loadavg: 4.13 4.23 4.19 5/257 118272
/proc/meminfo: memFree=96603896/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=50008 memory=38784 CPUtime=387.46 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 6393 0 0 0 38435 311 0 0 20 0 1 0 12078594 51208192 9696 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 6 0 0 1360 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 12502 9696 1155 1006 0 11263 0
Current children cumulated CPU time: 387.46 s
Current children cumulated vsize: 50008 KiB
Current children cumulated memory: 38784 KiB
[startup+462.301 s]
/proc/loadavg: 4.14 4.22 4.18 5/257 118283
/proc/meminfo: memFree=95215892/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=50196 memory=41036 CPUtime=445.04 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 6466 0 0 0 44148 356 0 0 20 0 1 0 12078594 51400704 10259 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 6 0 0 1549 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 12549 10259 1155 1006 0 11310 0
################
# More data... #
################
Current children cumulated memory: 48140 KiB
[startup+2922.3 s]
/proc/loadavg: 4.37 4.24 4.15 5/257 119309
/proc/meminfo: memFree=41917648/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57272 memory=48252 CPUtime=2730.79 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 8871 0 0 0 270996 2083 0 0 20 0 1 0 12078594 58646528 12063 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18347 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14318 12063 1155 1006 0 13079 0
Current children cumulated CPU time: 2730.79 s
Current children cumulated vsize: 57272 KiB
Current children cumulated memory: 48252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.20 4.13 4/256 119319
/proc/meminfo: memFree=40188588/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57272 memory=48252 CPUtime=2790.03 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 8891 0 0 0 276881 2122 0 0 20 0 1 0 12078594 58646528 12063 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18409 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14318 12063 1155 1006 0 13079 0
Current children cumulated CPU time: 2790.03 s
Current children cumulated vsize: 57272 KiB
Current children cumulated memory: 48252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/255 119331
/proc/meminfo: memFree=39327508/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57272 memory=48284 CPUtime=2849.63 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 8922 0 0 0 282798 2165 0 0 20 0 1 0 12078594 58646528 12071 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18434 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14318 12071 1155 1006 0 13079 0
Current children cumulated CPU time: 2849.63 s
Current children cumulated vsize: 57272 KiB
Current children cumulated memory: 48284 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/255 119341
/proc/meminfo: memFree=38500244/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57412 memory=48468 CPUtime=2908.2 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 8984 0 0 0 288613 2207 0 0 20 0 1 0 12078594 58789888 12117 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18561 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14353 12117 1155 1006 0 13114 0
Current children cumulated CPU time: 2908.2 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 48468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/256 119353
/proc/meminfo: memFree=37629432/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57412 memory=48468 CPUtime=2966.05 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9011 0 0 0 294353 2252 0 0 20 0 1 0 12078594 58789888 12117 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18762 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14353 12117 1155 1006 0 13114 0
Current children cumulated CPU time: 2966.05 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 48468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.14 4.12 3/257 119365
/proc/meminfo: memFree=36728800/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57412 memory=48468 CPUtime=3024.89 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) D 117450 117453 115139 0 -1 4194304 9031 0 0 0 300190 2299 0 0 20 0 1 0 12078594 58789888 12117 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18831 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14353 12117 1155 1006 0 13114 0
Current children cumulated CPU time: 3024.89 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 48468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/257 119375
/proc/meminfo: memFree=35926436/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57412 memory=48508 CPUtime=3083.82 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9051 0 0 0 306036 2346 0 0 20 0 1 0 12078594 58789888 12127 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18956 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14353 12127 1155 1006 0 13114 0
Current children cumulated CPU time: 3083.82 s
Current children cumulated vsize: 57412 KiB
Current children cumulated memory: 48508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/258 119389
/proc/meminfo: memFree=35074376/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57548 memory=48508 CPUtime=3141.21 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9073 0 0 0 311732 2389 0 0 20 0 1 0 12078594 58929152 12127 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19202 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14387 12127 1155 1006 0 13148 0
Current children cumulated CPU time: 3141.21 s
Current children cumulated vsize: 57548 KiB
Current children cumulated memory: 48508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/258 119401
/proc/meminfo: memFree=34226096/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57548 memory=48508 CPUtime=3199.76 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9109 0 0 0 317540 2436 0 0 20 0 1 0 12078594 58929152 12127 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19333 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14387 12127 1155 1006 0 13148 0
Current children cumulated CPU time: 3199.76 s
Current children cumulated vsize: 57548 KiB
Current children cumulated memory: 48508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.13 4.11 5/257 119411
/proc/meminfo: memFree=33327560/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57680 memory=48592 CPUtime=3258.35 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9145 0 0 0 323353 2482 0 0 20 0 1 0 12078594 59064320 12148 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19458 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14420 12148 1155 1006 0 13181 0
Current children cumulated CPU time: 3258.35 s
Current children cumulated vsize: 57680 KiB
Current children cumulated memory: 48592 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/256 119421
/proc/meminfo: memFree=32453780/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=57852 memory=48776 CPUtime=3317.18 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9191 0 0 0 329182 2536 0 0 20 0 1 0 12078594 59240448 12194 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19560 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14463 12194 1155 1006 0 13224 0
Current children cumulated CPU time: 3317.18 s
Current children cumulated vsize: 57852 KiB
Current children cumulated memory: 48776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 119431
/proc/meminfo: memFree=31545304/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=58960 memory=49752 CPUtime=3376.04 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9448 0 0 0 335016 2588 0 0 20 0 1 0 12078594 60375040 12438 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19657 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14740 12438 1155 1006 0 13501 0
Current children cumulated CPU time: 3376.04 s
Current children cumulated vsize: 58960 KiB
Current children cumulated memory: 49752 KiB
[startup+3642.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 119829
/proc/meminfo: memFree=30799692/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=59172 memory=49752 CPUtime=3435.27 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9490 0 0 0 340894 2633 0 0 20 0 1 0 12078594 60592128 12438 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 19721 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14793 12438 1155 1006 0 13554 0
Current children cumulated CPU time: 3435.27 s
Current children cumulated vsize: 59172 KiB
Current children cumulated memory: 49752 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.09 4.11 4.09 4/251 119864
/proc/meminfo: memFree=30149560/131524600 swapFree=131071996/131071996
[pid=117453] ppid=117450 vsize=59172 memory=49752 CPUtime=3487.81 cores=4,6
/proc/117453/stat : 117453 (Exact_veripb2) R 117450 117453 115139 0 -1 4194304 9509 0 0 0 346108 2673 0 0 20 0 1 0 12078594 60592128 12438 134679101440 4194304 8311665 140726644486320 0 0 0 0 0 8404994 0 0 0 17 4 0 0 20223 0 0 9173656 9252184 22831104 140726644495180 140726644495460 140726644495460 140726644502471 0
/proc/117453/statm: 14793 12438 1155 1006 0 13554 0
Current children cumulated CPU time: 3487.81 s
Current children cumulated vsize: 59172 KiB
Current children cumulated memory: 49752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.06 s]
# the end of solver process 117453 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3461.08 s, system=26.7404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3700.06
CPU time (s): 3487.82
CPU user time (s): 3461.08
CPU system time (s): 26.7404
CPU usage (%): 94.2639
Max. virtual memory (cumulated for all children) (KiB): 59172
Max. memory (cumulated for all children) (KiB): 49752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.08
system time used= 26.7403
maximum resident set size= 49864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35181312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1144
involuntary context switches= 6400
# summary of solver processes directly reported to runsolver:
# pid: 117453
# total CPU time (s): 3487.82
# total CPU user time (s): 3461.08
# total CPU system time (s): 26.7404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96448 second user time and 16.8054 second system time
The end
Begin job on nodeC027 at 2024-07-23 19:25:03 IDJOB=4441081 IDBENCH=147022 IDSOLVER=3081 FILE ID=nodeC027/4441081-1721755503 RUNJOBID= nodeC027-1721751754-115150 SLURM_JOB_ID= 7770644 Free space on /tmp= 890060 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441081-1721755503/watcher-4441081-1721755503 -o /tmp/evaluation-result-4441081-1721755503/solver-4441081-1721755503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721751754-115150 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441081-1721755503 --seed=1089136443 HOME/instance-4441081-1721755503.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1089136443 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.012 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.094 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.397 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.668 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.240 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.088 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3646.568 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.155 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 88934848 kB MemAvailable: 129109868 kB Buffers: 175308 kB Cached: 40706852 kB SwapCached: 0 kB Active: 1146940 kB Inactive: 40630624 kB Active(anon): 1552 kB Inactive(anon): 931368 kB Active(file): 1145388 kB Inactive(file): 39699256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 36228 kB Writeback: 72 kB AnonPages: 894676 kB Mapped: 117672 kB Shmem: 37712 kB KReclaimable: 340396 kB Slab: 456400 kB SReclaimable: 340396 kB SUnreclaim: 116004 kB KernelStack: 4208 kB PageTables: 11004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1236472 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 724992 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: 293588 kB DirectMap2M: 28839936 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890056 MiB End job on nodeC027 at 2024-07-23 20:26:43