Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | 66 | 3493.44 | 3700.61 |
| 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/3.39 o 84 0.03/3.40 o 80 0.03/3.41 o 78 0.03/3.42 o 76 0.03/3.47 o 72 0.32/3.75 o 70 9.79/13.25 o 68 21.67/25.11 o 66 3493.41/3700.00 c Program interrupted by user. 3493.41/3700.00 s SATISFIABLE 3493.41/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 66
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 (54391 MiB free)
memory of node 1: 64473 MiB (53428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440674-1721755511/watcher-4440674-1721755511 -o /tmp/evaluation-result-4440674-1721755511/solver-4440674-1721755511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721751757-111604 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440674-1721755511 --seed=1145517143 HOME/instance-4440674-1721755511.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=114128, runsolver pid=114125
Starting watchdog thread
[startup+0.100093 s]*
/proc/loadavg: 4.26 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110402500/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.205554 s]*
/proc/loadavg: 4.26 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110400148/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.304572 s]*
/proc/loadavg: 4.26 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110397460/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+0.700246 s]
/proc/loadavg: 4.26 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110387656/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+1.50024 s]
/proc/loadavg: 4.26 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110369036/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
[startup+3.10502 s]
/proc/loadavg: 4.24 4.17 4.11 3/264 114131
/proc/meminfo: memFree=110297784/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=25224 memory=2476 CPUtime=0 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 12080794 25829376 619 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB
heavy processes:
[startup+6.30018 s]
/proc/loadavg: 4.24 4.17 4.11 5/264 114131
/proc/meminfo: memFree=110102192/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=31340 memory=16860 CPUtime=2.92 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 2274 0 0 0 291 1 0 0 20 0 1 0 12080794 32092160 4215 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 7835 4215 850 747 0 6898 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 31340 KiB
Current children cumulated memory: 16860 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 114133
/proc/meminfo: memFree=109854156/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=33252 memory=18684 CPUtime=9.3 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 2739 0 0 0 927 3 0 0 20 0 1 0 12080794 34050048 4671 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 8313 4671 850 747 0 7376 0
Current children cumulated CPU time: 9.3 s
Current children cumulated vsize: 33252 KiB
Current children cumulated memory: 18684 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.17 4.16 4.10 5/260 114134
/proc/meminfo: memFree=109335008/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=34728 memory=20244 CPUtime=22.06 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 3127 0 0 0 2197 9 0 0 20 0 1 0 12080794 35561472 5061 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 8682 5061 850 747 0 7745 0
Current children cumulated CPU time: 22.06 s
Current children cumulated vsize: 34728 KiB
Current children cumulated memory: 20244 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 4.16 4.10 5/261 114140
/proc/meminfo: memFree=108300788/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=36476 memory=24096 CPUtime=47.33 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 3604 0 0 0 4712 21 0 0 20 0 1 0 12080794 37351424 6024 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 26 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 9119 6024 850 747 0 8182 0
Current children cumulated CPU time: 47.33 s
Current children cumulated vsize: 36476 KiB
Current children cumulated memory: 24096 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/261 114150
/proc/meminfo: memFree=106452772/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=36976 memory=24844 CPUtime=97.67 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 3765 0 0 0 9725 42 0 0 20 0 1 0 12080794 37863424 6211 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 96 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 9244 6211 850 747 0 8307 0
Current children cumulated CPU time: 97.67 s
Current children cumulated vsize: 36976 KiB
Current children cumulated memory: 24844 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/263 114162
/proc/meminfo: memFree=103358980/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=39220 memory=28964 CPUtime=154.78 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 4307 0 0 0 15410 68 0 0 20 0 1 0 12080794 40161280 7241 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 369 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 9805 7241 850 747 0 8868 0
Current children cumulated CPU time: 154.78 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 28964 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 114342
/proc/meminfo: memFree=101221744/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=39624 memory=29228 CPUtime=213.45 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 4413 0 0 0 21254 91 0 0 20 0 1 0 12080794 40574976 7307 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 486 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 9906 7307 850 747 0 8969 0
Current children cumulated CPU time: 213.45 s
Current children cumulated vsize: 39624 KiB
Current children cumulated memory: 29228 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 114353
/proc/meminfo: memFree=98385280/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=39756 memory=29476 CPUtime=271.11 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 4476 0 0 0 26996 115 0 0 20 0 1 0 12080794 40710144 7369 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 703 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 9939 7369 850 747 0 9002 0
Current children cumulated CPU time: 271.11 s
Current children cumulated vsize: 39756 KiB
Current children cumulated memory: 29476 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/264 114424
/proc/meminfo: memFree=96207184/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=40716 memory=30504 CPUtime=328.1 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 4706 0 0 0 32672 138 0 0 20 0 1 0 12080794 41693184 7626 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 987 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 10179 7626 850 747 0 9242 0
Current children cumulated CPU time: 328.1 s
Current children cumulated vsize: 40716 KiB
Current children cumulated memory: 30504 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 114435
/proc/meminfo: memFree=94296304/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=40716 memory=30504 CPUtime=382.38 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 4710 0 0 0 38078 160 0 0 20 0 1 0 12080794 41693184 7626 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1542 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 10179 7626 850 747 0 9242 0
Current children cumulated CPU time: 382.38 s
Current children cumulated vsize: 40716 KiB
Current children cumulated memory: 30504 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 114446
/proc/meminfo: memFree=91978148/131524600 swapFree=131071996/131071996
################
# More data... #
################
Current children cumulated memory: 40724 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.22 4.17 5/260 115513
/proc/meminfo: memFree=1923200/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51172 memory=40928 CPUtime=2855.69 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 7729 0 0 0 284476 1093 0 0 20 0 1 0 12080794 52400128 10232 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17515 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12793 10232 850 747 0 11856 0
Current children cumulated CPU time: 2855.69 s
Current children cumulated vsize: 51172 KiB
Current children cumulated memory: 40928 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.22 4.18 6/260 115523
/proc/meminfo: memFree=566900/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51172 memory=40928 CPUtime=2914.37 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 7743 0 0 0 290324 1113 0 0 20 0 1 0 12080794 52400128 10232 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17630 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12793 10232 850 747 0 11856 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 51172 KiB
Current children cumulated memory: 40928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.19 4.17 6/259 115534
/proc/meminfo: memFree=684332/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51172 memory=41216 CPUtime=2973.13 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 7763 0 0 0 296177 1136 0 0 20 0 1 0 12080794 52400128 10304 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17738 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12793 10304 850 747 0 11856 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 51172 KiB
Current children cumulated memory: 41216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.17 6/259 115545
/proc/meminfo: memFree=565768/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51904 memory=41984 CPUtime=3031.71 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8093 0 0 0 302013 1158 0 0 20 0 1 0 12080794 53149696 10496 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 17865 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12976 10496 850 747 0 12039 0
Current children cumulated CPU time: 3031.71 s
Current children cumulated vsize: 51904 KiB
Current children cumulated memory: 41984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.16 3/259 115555
/proc/meminfo: memFree=530700/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51904 memory=41984 CPUtime=3088.5 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8113 0 0 0 307670 1180 0 0 20 0 1 0 12080794 53149696 10496 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18171 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12976 10496 850 747 0 12039 0
Current children cumulated CPU time: 3088.5 s
Current children cumulated vsize: 51904 KiB
Current children cumulated memory: 41984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/260 115568
/proc/meminfo: memFree=547464/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51904 memory=41984 CPUtime=3146.53 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8130 0 0 0 313450 1203 0 0 20 0 1 0 12080794 53149696 10496 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18352 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12976 10496 850 747 0 12039 0
Current children cumulated CPU time: 3146.53 s
Current children cumulated vsize: 51904 KiB
Current children cumulated memory: 41984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/260 115580
/proc/meminfo: memFree=506688/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=51904 memory=41984 CPUtime=3204.47 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8148 0 0 0 319224 1223 0 0 20 0 1 0 12080794 53149696 10496 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18541 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 12976 10496 850 747 0 12039 0
Current children cumulated CPU time: 3204.47 s
Current children cumulated vsize: 51904 KiB
Current children cumulated memory: 41984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/259 115590
/proc/meminfo: memFree=673360/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=52068 memory=41984 CPUtime=3263.75 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8172 0 0 0 325133 1242 0 0 20 0 1 0 12080794 53317632 10496 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18596 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 13017 10496 850 747 0 12080 0
Current children cumulated CPU time: 3263.75 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 41984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.23 4.19 4/258 115600
/proc/meminfo: memFree=503284/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=52068 memory=42024 CPUtime=3322.71 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8194 0 0 0 331010 1261 0 0 20 0 1 0 12080794 53317632 10506 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18683 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 13017 10506 850 747 0 12080 0
Current children cumulated CPU time: 3322.71 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 42024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.22 4.18 5/261 115614
/proc/meminfo: memFree=525636/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=52068 memory=42024 CPUtime=3382.23 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8235 0 0 0 336939 1284 0 0 20 0 1 0 12080794 53317632 10506 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18715 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 13017 10506 850 747 0 12080 0
Current children cumulated CPU time: 3382.23 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 42024 KiB
[startup+3642.3 s]
/proc/loadavg: 4.17 4.20 4.18 4/260 116054
/proc/meminfo: memFree=24816776/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=52068 memory=42140 CPUtime=3441.6 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8258 0 0 0 342855 1305 0 0 20 0 1 0 12080794 53317632 10535 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18760 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 13017 10535 850 747 0 12080 0
Current children cumulated CPU time: 3441.6 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 42140 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.18 4.20 4.18 5/256 116135
/proc/meminfo: memFree=69528836/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=52228 memory=42140 CPUtime=3493.41 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) R 114125 114128 111591 0 -1 4194304 8269 0 0 0 348016 1325 0 0 20 0 1 0 12080794 53481472 10535 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19333 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 13057 10535 850 747 0 12120 0
Current children cumulated CPU time: 3493.41 s
Current children cumulated vsize: 52228 KiB
Current children cumulated memory: 42140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.61 s]
# the end of solver process 114128 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3480.17 s, system=13.2746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.4 s]
/proc/loadavg: 4.18 4.20 4.18 5/256 116135
/proc/meminfo: memFree=69528836/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=34972 memory=30328 CPUtime=3493.42 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 8269 0 0 0 348016 1326 0 0 20 0 1 0 12080794 35811328 7582 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19333 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 8743 7582 850 747 0 7806 0
Current children cumulated CPU time: 3493.42 s
Current children cumulated vsize: 34972 KiB
Current children cumulated memory: 30328 KiB
[startup+3700.6 s]
/proc/loadavg: 4.18 4.20 4.18 5/256 116135
/proc/meminfo: memFree=69528836/131524600 swapFree=131071996/131071996
[pid=114128] ppid=114125 vsize=34972 memory=30328 CPUtime=3493.43 cores=5,7
/proc/114128/stat : 114128 (Exact_veripb2_n) D 114125 114128 111591 0 -1 4194304 8269 0 0 0 348016 1327 0 0 20 0 1 0 12080794 35811328 7582 134679101440 4194304 7250417 140723993444176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19444 0 0 7950792 8015128 33058816 140723993453366 140723993453655 140723993453655 140723993460670 0
/proc/114128/statm: 8743 7582 850 747 0 7806 0
Current children cumulated CPU time: 3493.43 s
Current children cumulated vsize: 34972 KiB
Current children cumulated memory: 30328 KiB
Child status: 10
Real time (s): 3700.61
CPU time (s): 3493.44
CPU user time (s): 3480.17
CPU system time (s): 13.2746
CPU usage (%): 94.4019
Max. virtual memory (cumulated for all children) (KiB): 52228
Max. memory (cumulated for all children) (KiB): 42140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3480.17
system time used= 13.2746
maximum resident set size= 42140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8269
page faults= 1
swaps= 0
block input operations= 2512
block output operations= 30772696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1585
involuntary context switches= 4692
# summary of solver processes directly reported to runsolver:
# pid: 114128
# total CPU time (s): 3493.44
# total CPU user time (s): 3480.17
# total CPU system time (s): 13.2746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89027 second user time and 16.128 second system time
The end
Begin job on nodeC033 at 2024-07-23 19:25:11 IDJOB=4440674 IDBENCH=147020 IDSOLVER=3080 FILE ID=nodeC033/4440674-1721755511 RUNJOBID= nodeC033-1721751757-111604 SLURM_JOB_ID= 7770651 Free space on /tmp= 890064 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4440674-1721755511/watcher-4440674-1721755511 -o /tmp/evaluation-result-4440674-1721755511/solver-4440674-1721755511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721751757-111604 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440674-1721755511 --seed=1145517143 HOME/instance-4440674-1721755511.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=1145517143 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.331 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.99 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 : 2911.324 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.76 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.027 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.99 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 : 3180.131 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.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.825 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.99 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 : 3421.720 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.76 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 : 3600.500 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.99 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 : 3642.618 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.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110408372 kB MemAvailable: 129169180 kB Buffers: 172476 kB Cached: 19335268 kB SwapCached: 0 kB Active: 1078472 kB Inactive: 19309708 kB Active(anon): 1532 kB Inactive(anon): 916344 kB Active(file): 1076940 kB Inactive(file): 18393364 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 109336 kB Writeback: 8 kB AnonPages: 878336 kB Mapped: 113196 kB Shmem: 37720 kB KReclaimable: 260656 kB Slab: 371756 kB SReclaimable: 260656 kB SUnreclaim: 111100 kB KernelStack: 4288 kB PageTables: 11280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1320632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20800 kB HardwareCorrupted: 0 kB AnonHugePages: 477184 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: 316116 kB DirectMap2M: 23574528 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 890060 MiB End job on nodeC033 at 2024-07-23 20:26:52