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) | 23916 | 3441.35 | 3703.67 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | 9e6692c80f11b0068f23fe5849cf8b25 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23916 |
| Best CPU time to get the best result obtained on this benchmark | 3441.35 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 o 31031 0.00/0.06 o 29493 0.00/0.06 o 29456 0.00/0.07 o 29018 0.00/0.08 o 28846 0.00/0.09 o 28439 0.07/0.10 o 28341 0.07/0.10 o 28228 0.07/0.12 o 27581 0.07/0.13 o 27341 0.07/0.15 o 27331 0.07/0.16 o 26694 0.17/0.22 o 26447 0.17/0.27 o 26169 0.27/0.33 o 25927 0.37/0.43 o 25920 1.65/1.70 o 25706 5.82/5.95 o 25001 115.92/123.42 o 24830 116.42/123.93 o 24489 140.22/148.86 o 24160 140.22/148.86 o 24133 140.32/148.92 o 24122 338.09/358.63 o 24032 1377.83/1561.16 o 23954 1381.11/1564.45 o 23916 3441.32/3700.00 c Program interrupted by user. 3441.32/3700.00 s SATISFIABLE 3441.32/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 (60812 MiB free)
memory of node 1: 64473 MiB (58366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440678-1721755516/watcher-4440678-1721755516 -o /tmp/evaluation-result-4440678-1721755516/solver-4440678-1721755516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721751754-116752 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440678-1721755516 --seed=1089136443 HOME/instance-4440678-1721755516.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
solver pid=119064, runsolver pid=119061
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121916004/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=27612 memory=6512 CPUtime=0.07 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 1198 0 0 0 7 0 0 0 20 0 1 0 12081083 28274688 1628 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 6903 1628 850 747 0 5966 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 6512 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121969680/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=27612 memory=6776 CPUtime=0.17 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 1287 0 0 0 17 0 0 0 20 0 1 0 12081083 28274688 1694 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 6903 1694 850 747 0 5966 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 6776 KiB
[startup+0.304967 s]*
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121955440/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=27612 memory=7040 CPUtime=0.27 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 1354 0 0 0 27 0 0 0 20 0 1 0 12081083 28274688 1760 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 6903 1760 850 747 0 5966 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 7040 KiB
[startup+0.700176 s]
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121948080/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=28148 memory=9876 CPUtime=0.66 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 1519 0 0 0 66 0 0 0 20 0 1 0 12081083 28823552 2469 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 7037 2469 850 747 0 6100 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 9876 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121934248/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=29028 memory=12452 CPUtime=1.45 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 1703 0 0 0 145 0 0 0 20 0 1 0 12081083 29724672 3113 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 7257 3113 850 747 0 6320 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 29028 KiB
Current children cumulated memory: 12452 KiB
[startup+3.10584 s]
/proc/loadavg: 4.13 4.13 4.12 5/263 119065
/proc/meminfo: memFree=121762200/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=31076 memory=14288 CPUtime=3.04 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 2146 0 0 0 300 4 0 0 20 0 1 0 12081083 31821824 3572 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 7769 3572 850 747 0 6832 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 31076 KiB
Current children cumulated memory: 14288 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.13 4.12 5/263 119066
/proc/meminfo: memFree=121560212/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=32248 memory=17640 CPUtime=6.21 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 2435 0 0 0 615 6 0 0 20 0 1 0 12081083 33021952 4410 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 8062 4410 850 747 0 7125 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 32248 KiB
Current children cumulated memory: 17640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.12 5/261 119066
/proc/meminfo: memFree=120968088/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=34604 memory=19728 CPUtime=12.6 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 2985 0 0 0 1251 9 0 0 20 0 1 0 12081083 35434496 4932 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 8651 4932 850 747 0 7714 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 34604 KiB
Current children cumulated memory: 19728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.12 5/262 119452
/proc/meminfo: memFree=119918796/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=35704 memory=20764 CPUtime=25.32 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 3265 0 0 0 2515 17 0 0 20 0 1 0 12081083 36560896 5191 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 8926 5191 850 747 0 7989 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 35704 KiB
Current children cumulated memory: 20764 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.12 5/256 119482
/proc/meminfo: memFree=118440712/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=38136 memory=25416 CPUtime=47.18 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 3907 0 0 0 4684 34 0 0 20 0 1 0 12081083 39051264 6354 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 364 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 9534 6354 850 747 0 8597 0
Current children cumulated CPU time: 47.18 s
Current children cumulated vsize: 38136 KiB
Current children cumulated memory: 25416 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/261 119512
/proc/meminfo: memFree=115544736/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=40192 memory=27232 CPUtime=94.89 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 4407 0 0 0 9425 64 0 0 20 0 1 0 12081083 41156608 6808 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 690 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 10048 6808 850 747 0 9111 0
Current children cumulated CPU time: 94.89 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 27232 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.11 4/260 119522
/proc/meminfo: memFree=111196308/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=42040 memory=31344 CPUtime=151.1 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 4900 0 0 0 15012 98 0 0 20 0 1 0 12081083 43048960 7836 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1038 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 10510 7836 850 747 0 9573 0
Current children cumulated CPU time: 151.1 s
Current children cumulated vsize: 42040 KiB
Current children cumulated memory: 31344 KiB
[startup+222.301 s]
/proc/loadavg: 4.28 4.16 4.12 7/261 119704
/proc/meminfo: memFree=106811316/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=42888 memory=32376 CPUtime=207.76 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 5141 0 0 0 20636 140 0 0 20 0 1 0 12081083 43917312 8094 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 1339 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 10722 8094 850 747 0 9785 0
Current children cumulated CPU time: 207.76 s
Current children cumulated vsize: 42888 KiB
Current children cumulated memory: 32376 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.18 4.13 5/262 119717
/proc/meminfo: memFree=102492516/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=43864 memory=33148 CPUtime=265.91 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 5387 0 0 0 26418 173 0 0 20 0 1 0 12081083 44916736 8287 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1500 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 10966 8287 850 747 0 10029 0
Current children cumulated CPU time: 265.91 s
Current children cumulated vsize: 43864 KiB
Current children cumulated memory: 33148 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 4.22 4.15 5/263 119785
/proc/meminfo: memFree=98406344/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=44792 memory=34180 CPUtime=323.33 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 5627 0 0 0 32127 206 0 0 20 0 1 0 12081083 45867008 8545 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1734 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 11198 8545 850 747 0 10261 0
Current children cumulated CPU time: 323.33 s
Current children cumulated vsize: 44792 KiB
Current children cumulated memory: 34180 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/263 119796
/proc/meminfo: memFree=94683664/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=45880 memory=35236 CPUtime=379.41 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 5909 0 0 0 37711 230 0 0 20 0 1 0 12081083 46981120 8809 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2112 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 11470 8809 850 747 0 10533 0
Current children cumulated CPU time: 379.41 s
Current children cumulated vsize: 45880 KiB
Current children cumulated memory: 35236 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/263 119808
/proc/meminfo: memFree=91794732/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=46204 memory=35480 CPUtime=429.99 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 5991 0 0 0 42743 256 0 0 20 0 1 0 12081083 47312896 8870 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3035 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 11551 8870 850 747 0 10614 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/258 120876
/proc/meminfo: memFree=2751696/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=54220 memory=44016 CPUtime=2923.93 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8600 0 0 0 291123 1270 0 0 20 0 1 0 12081083 55521280 11004 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 22802 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13555 11004 850 747 0 12618 0
Current children cumulated CPU time: 2923.93 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 44016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.18 4/258 120888
/proc/meminfo: memFree=1010012/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=54220 memory=44016 CPUtime=2983 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8616 0 0 0 297009 1291 0 0 20 0 1 0 12081083 55521280 11004 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 22840 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13555 11004 850 747 0 12618 0
Current children cumulated CPU time: 2983 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 44016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/258 120898
/proc/meminfo: memFree=664504/131524600 swapFree=131071996/131071996
[pid=119064] ppid=119061 vsize=54220 memory=44016 CPUtime=3041.32 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8633 0 0 0 302821 1311 0 0 20 0 1 0 12081083 55521280 11004 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 22956 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13555 11004 850 747 0 12618 0
Current children cumulated CPU time: 3041.32 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 44016 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.21 4.19 5/261 120914
/proc/meminfo: memFree=545044/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54220 memory=44068 CPUtime=3099.16 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8651 0 0 0 308587 1329 0 0 20 0 1 0 12081083 55521280 11017 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23124 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13555 11017 850 747 0 12618 0
Current children cumulated CPU time: 3099.16 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 44068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.52 4.26 4.21 5/261 120925
/proc/meminfo: memFree=682848/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54220 memory=44068 CPUtime=3158.6 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8696 0 0 0 314512 1348 0 0 20 0 1 0 12081083 55521280 11017 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23166 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13555 11017 850 747 0 12618 0
Current children cumulated CPU time: 3158.6 s
Current children cumulated vsize: 54220 KiB
Current children cumulated memory: 44068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.48 4.31 4.22 5/262 120937
/proc/meminfo: memFree=660244/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54364 memory=44204 CPUtime=3217.52 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8728 0 0 0 320383 1369 0 0 20 0 1 0 12081083 55668736 11051 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23258 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13591 11051 850 747 0 12654 0
Current children cumulated CPU time: 3217.52 s
Current children cumulated vsize: 54364 KiB
Current children cumulated memory: 44204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.26 4.21 5/262 120947
/proc/meminfo: memFree=525476/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54512 memory=44340 CPUtime=3276.77 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8772 0 0 0 326286 1391 0 0 20 0 1 0 12081083 55820288 11085 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23317 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13628 11085 850 747 0 12691 0
Current children cumulated CPU time: 3276.77 s
Current children cumulated vsize: 54512 KiB
Current children cumulated memory: 44340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.69 4.36 4.24 5/262 120958
/proc/meminfo: memFree=638764/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54656 memory=44340 CPUtime=3335.99 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8826 0 0 0 332185 1414 0 0 20 0 1 0 12081083 55967744 11085 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23378 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13664 11085 850 747 0 12727 0
Current children cumulated CPU time: 3335.99 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 44340 KiB
[startup+3642.3 s]
/proc/loadavg: 4.30 4.31 4.23 1/260 121352
/proc/meminfo: memFree=1376704/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54656 memory=44504 CPUtime=3388.05 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) D 119061 119064 116741 0 -1 4194304 8844 0 0 0 337373 1432 0 0 20 0 1 0 12081083 55967744 11126 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23467 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13664 11126 850 747 0 12727 0
Current children cumulated CPU time: 3388.05 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 44504 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.22 4.28 4.23 4/261 121454
/proc/meminfo: memFree=94094564/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=54656 memory=44504 CPUtime=3441.32 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) R 119061 119064 116741 0 -1 4194304 8886 0 0 0 342684 1448 0 0 20 0 1 0 12081083 55967744 11126 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24588 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 13664 11126 850 747 0 12727 0
Current children cumulated CPU time: 3441.32 s
Current children cumulated vsize: 54656 KiB
Current children cumulated memory: 44504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.22 4.28 4.23 3/261 121454
/proc/meminfo: memFree=94093224/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=37400 memory=32916 CPUtime=3441.34 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) D 119061 119064 116741 0 -1 4194304 8886 0 0 0 342685 1449 0 0 20 0 1 0 12081083 38297600 8229 134679101440 4194304 7250417 140726632166240 0 0 256 0 0 8404994 0 0 0 17 4 0 0 24588 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 9350 8229 850 747 0 8413 0
??? kill 119064 sig 9
??? end of watcher thread
[startup+3703.67 s]
# the end of solver process 119064 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3426.85 s, system=14.4968 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.22 4.28 4.23 4/261 121454
/proc/meminfo: memFree=94094564/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=37400 memory=32916 CPUtime=3441.34 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) D 119061 119064 116741 0 -1 4194304 8886 0 0 0 342685 1449 0 0 20 0 1 0 12081083 38297600 8229 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24588 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 9350 8229 850 747 0 8413 0
Current children cumulated CPU time: 3441.34 s
Current children cumulated vsize: 37400 KiB
Current children cumulated memory: 32916 KiB
[startup+3701.6 s]
/proc/loadavg: 4.22 4.28 4.23 3/261 121454
/proc/meminfo: memFree=94098964/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=37400 memory=32916 CPUtime=3441.34 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) D 119061 119064 116741 0 -1 4194304 8886 0 0 0 342685 1449 0 0 20 0 1 0 12081083 38297600 8229 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24588 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 9350 8229 850 747 0 8413 0
Current children cumulated CPU time: 3441.34 s
Current children cumulated vsize: 37400 KiB
Current children cumulated memory: 32916 KiB
[startup+3702 s]*
/proc/loadavg: 4.22 4.28 4.23 3/261 121454
/proc/meminfo: memFree=94093224/131524600 swapFree=131071728/131071996
[pid=119064] ppid=119061 vsize=37400 memory=32916 CPUtime=3441.34 cores=4,6
/proc/119064/stat : 119064 (Exact_veripb2_n) D 119061 119064 116741 0 -1 4194304 8886 0 0 0 342685 1449 0 0 20 0 1 0 12081083 38297600 8229 134679101440 4194304 7250417 140726632166240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24588 0 0 7950792 8015128 42856448 140726632170294 140726632170583 140726632170583 140726632177598 0
/proc/119064/statm: 9350 8229 850 747 0 8413 0
Current children cumulated CPU time: 3441.34 s
Current children cumulated vsize: 37400 KiB
Current children cumulated memory: 32916 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3703.67
CPU time (s): 3441.35
CPU user time (s): 3426.85
CPU system time (s): 14.4968
CPU usage (%): 92.9173
Max. virtual memory (cumulated for all children) (KiB): 54656
Max. memory (cumulated for all children) (KiB): 44504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3426.85
system time used= 14.4968
maximum resident set size= 44504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32494344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1763
involuntary context switches= 9445
# summary of solver processes directly reported to runsolver:
# pid: 119064
# total CPU time (s): 3441.35
# total CPU user time (s): 3426.85
# total CPU system time (s): 14.4968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37174 second user time and 15.969 second system time
The end
Begin job on nodeC029 at 2024-07-23 19:25:16 IDJOB=4440678 IDBENCH=147022 IDSOLVER=3080 FILE ID=nodeC029/4440678-1721755516 RUNJOBID= nodeC029-1721751754-116752 SLURM_JOB_ID= 7770645 Free space on /tmp= 890044 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_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-4440678-1721755516/watcher-4440678-1721755516 -o /tmp/evaluation-result-4440678-1721755516/solver-4440678-1721755516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721751754-116752 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440678-1721755516 --seed=1089136443 HOME/instance-4440678-1721755516.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25 RANDOM SEED=1089136443 nodeC029.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 : 3658.062 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.50 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 : 3685.939 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.34 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 : 3607.707 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.50 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 : 3601.497 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.34 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 : 3654.542 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.50 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 : 3686.014 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.34 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 : 3653.826 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.50 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 : 3599.986 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122039472 kB MemAvailable: 129021444 kB Buffers: 173384 kB Cached: 7551688 kB SwapCached: 0 kB Active: 1157428 kB Inactive: 7559208 kB Active(anon): 1576 kB Inactive(anon): 1027516 kB Active(file): 1155852 kB Inactive(file): 6531692 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 855172 kB Writeback: 8 kB AnonPages: 989452 kB Mapped: 113996 kB Shmem: 37720 kB KReclaimable: 268500 kB Slab: 409208 kB SReclaimable: 268500 kB SUnreclaim: 140708 kB KernelStack: 4288 kB PageTables: 10964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1461636 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20864 kB HardwareCorrupted: 0 kB AnonHugePages: 714752 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: 297684 kB DirectMap2M: 28835840 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890048 MiB End job on nodeC029 at 2024-07-23 20:27:00