Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat 2025-06-04 | SAT (TO) | 64 | 3600.01 | 3611.11 |
| 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 | 3584.69 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.10 c Converting 4626 PB-constraints to clauses... 0.10/0.19 o 88 0.10/0.19 c ============================[ Problem Statistics ]============================ 0.10/0.19 c | Number of variables: 1632 | 0.10/0.19 c | Number of clauses: 14562 (incl. 72 soft in queue) | 0.10/0.19 c =============================================================================== 104.34/104.77 o 64 983.58/986.81 c Switching to binary search ... (after 983.339 s and 7400149 conflicts) with 180 goal literals and 0 assumptions 3600.00/3611.11 c *** TERMINATED by signal 15 *** 3600.00/3611.11 c _______________________________________________________________________________ 3600.00/3611.11 c 3600.00/3611.11 c _______________________________________________________________________________ 3600.00/3611.11 c 3600.00/3611.11 c =======================[ UWrMaxSat resources usage ]=========================== 3600.00/3611.11 c Memory used : 192.00 MB 3600.00/3611.11 c CPU time : 3599.17 s 3600.00/3611.11 c Constr Enc: Srt/BDD/Add: 1944 0 0 3600.00/3611.11 c OptExp Enc: Srt/BDD/Add: 49 0 0 3600.00/3611.11 c _______________________________________________________________________________ 3600.00/3611.11 c _______________________________________________________________________________ 3600.00/3611.11 3600.00/3611.11 v 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 x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 x76 -x112 -x148 -x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 x331 -x9 x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x118 -x154 x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 x158 -x194 -x230 -x266 -x302 -x338 x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 -x234 x270 -x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 -x236 -x272 x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 -x309 x345 -x23 -x59 -x95 x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 x168 -x204 -x240 -x276 -x312 -x348 -x25 x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 x98 -x134 -x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 x207 -x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 x244 -x280 -x316 -x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 x140 -x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 x8 -x44 x80 x116 x152 -x188 -x224 -x260 x296 -x332 -x15 x51 x87 x123 -x159 x195 -x231 -x267 -x303 x339 x22 x58 x94 -x130 -x166 x202 x238 -x274 -x310 -x346 -x29 -x65 -x101 x137 x173 -x209 -x245 x281 x317 x353 x36 -x72 -x108 -x144 x180 -x216 x252 x288 x324 -x360 -x1 x37 -x73 -x109 -x145 x181 x217 x253 -x289 x325 3600.00/3611.11 s SATISFIABLE
OK 64
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62881 MiB free)
memory of node 1: 64465 MiB (63438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486439-1751324587/watcher-4486439-1751324587 -o /tmp/evaluation-result-4486439-1751324587/solver-4486439-1751324587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56026 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486439-1751324587.opb -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56172, runsolver pid=56169
[startup+0.100054 s]*
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=8916 memory=7936 CPUtime=0.1 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 1632 0 0 0 10 0 0 0 20 0 1 0 48137823 9129984 1984 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 2229 1984 448 484 0 1640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 8916 KiB
Current children cumulated memory: 7936 KiB
[startup+0.213115 s]*
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=13724 memory=12600 CPUtime=0.21 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 3381 0 0 0 21 0 0 0 20 0 1 0 48137823 14053376 3150 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 3431 3150 512 484 0 2842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13724 KiB
Current children cumulated memory: 12600 KiB
[startup+0.313048 s]*
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=15516 memory=14392 CPUtime=0.32 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 3829 0 0 0 31 1 0 0 20 0 1 0 48137823 15888384 3598 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 3879 3598 512 484 0 3290 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15516 KiB
Current children cumulated memory: 14392 KiB
[startup+0.700317 s]
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=15516 memory=14392 CPUtime=0.69 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 3829 0 0 0 68 1 0 0 20 0 1 0 48137823 15888384 3598 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 3879 3598 512 484 0 3290 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 15516 KiB
Current children cumulated memory: 14392 KiB
[startup+1.5003 s]
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339632/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=15688 memory=14520 CPUtime=1.49 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 3872 0 0 0 148 1 0 0 20 0 1 0 48137823 16064512 3630 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 3922 3630 512 484 0 3333 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 15688 KiB
Current children cumulated memory: 14520 KiB
[startup+3.11307 s]
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339632/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=15552 memory=14472 CPUtime=3.09 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 6802 0 0 0 308 1 0 0 20 0 1 0 48137823 15925248 3618 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 3888 3618 512 484 0 3299 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 15552 KiB
Current children cumulated memory: 14472 KiB
[startup+6.3003 s]
/proc/loadavg: 2.48 3.72 5.08 5/251 56173
/proc/meminfo: memFree=129339632/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=18208 memory=17092 CPUtime=6.26 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 8030 0 0 0 625 1 0 0 20 0 1 0 48137823 18644992 4273 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 4552 4273 512 484 0 3963 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 18208 KiB
Current children cumulated memory: 17092 KiB
[startup+12.7003 s]
/proc/loadavg: 2.68 3.75 5.08 5/251 56173
/proc/meminfo: memFree=129339892/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=18464 memory=17528 CPUtime=12.65 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 12509 0 0 0 1263 2 0 0 20 0 1 0 48137823 18907136 4382 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 4616 4382 512 484 0 4027 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 18464 KiB
Current children cumulated memory: 17528 KiB
[startup+25.5003 s]
/proc/loadavg: 2.98 3.76 5.06 5/251 56173
/proc/meminfo: memFree=129319556/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=31736 memory=30420 CPUtime=25.42 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 18704 0 0 0 2538 4 0 0 20 0 1 0 48137823 32497664 7605 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 7934 7605 512 484 0 7345 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31736 KiB
Current children cumulated memory: 30420 KiB
[startup+51.1131 s]
/proc/loadavg: 3.33 3.78 5.03 5/251 56174
/proc/meminfo: memFree=129307304/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=35636 memory=34416 CPUtime=50.95 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 22827 0 0 0 5090 5 0 0 20 0 1 0 48137823 36491264 8604 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 8909 8604 512 484 0 8320 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 35636 KiB
Current children cumulated memory: 34416 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 3.88 5.00 5/251 56180
/proc/meminfo: memFree=129264644/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=39176 memory=37820 CPUtime=101.95 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 29669 0 0 0 10189 6 0 0 20 0 1 0 48137823 40116224 9455 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 9794 9455 512 484 0 9205 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 37820 KiB
[startup+162.3 s]
/proc/loadavg: 4.61 4.08 5.00 5/251 56182
/proc/meminfo: memFree=129185828/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=40392 memory=39456 CPUtime=161.73 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 34639 0 0 0 16165 8 0 0 20 0 1 0 48137823 41361408 9864 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 10098 9864 512 484 0 9509 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 40392 KiB
Current children cumulated memory: 39456 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.07 4.93 5/251 56184
/proc/meminfo: memFree=129199720/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=46660 memory=44852 CPUtime=221.52 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 40365 0 0 0 22141 11 0 0 20 0 1 0 48137823 47779840 11213 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 11665 11213 512 484 0 11076 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 46660 KiB
Current children cumulated memory: 44852 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.08 4.88 5/250 56186
/proc/meminfo: memFree=129207184/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=55624 memory=54512 CPUtime=281.29 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 43551 0 0 0 28117 12 0 0 20 0 1 0 48137823 56958976 13628 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 13906 13628 512 484 0 13317 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 55624 KiB
Current children cumulated memory: 54512 KiB
[startup+342.3 s]
/proc/loadavg: 5.00 4.32 4.92 5/250 56188
/proc/meminfo: memFree=129117908/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=58800 memory=57712 CPUtime=341.07 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 46588 0 0 0 34093 14 0 0 20 0 1 0 48137823 60211200 14428 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 14700 14428 512 484 0 14111 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 58800 KiB
Current children cumulated memory: 57712 KiB
[startup+402.3 s]
/proc/loadavg: 4.89 4.44 4.92 5/250 56190
/proc/meminfo: memFree=129021708/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=51904 memory=50396 CPUtime=400.84 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 51185 0 0 0 40068 16 0 0 20 0 1 0 48137823 53149696 12599 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 12976 12599 512 484 0 12387 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 51904 KiB
Current children cumulated memory: 50396 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 4.37 4.87 5/250 56192
/proc/meminfo: memFree=129027808/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=74144 memory=73140 CPUtime=460.66 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 53178 0 0 0 46049 17 0 0 20 0 1 0 48137823 75923456 18285 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 18536 18285 512 484 0 17947 0
Current children cumulated CPU time: 460.66 s
################
# More data... #
################
Current children cumulated memory: 127336 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.14 5/250 56304
/proc/meminfo: memFree=128805636/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=130684 memory=126532 CPUtime=2913.36 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 86999 0 0 0 291290 46 0 0 20 0 1 0 48137823 133820416 31633 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32671 31633 512 484 0 32082 0
Current children cumulated CPU time: 2913.36 s
Current children cumulated vsize: 130684 KiB
Current children cumulated memory: 126532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.14 5/250 56308
/proc/meminfo: memFree=128793232/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=128760 memory=124608 CPUtime=2973.19 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 87939 0 0 0 297271 48 0 0 20 0 1 0 48137823 131850240 31152 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32190 31152 512 484 0 31601 0
Current children cumulated CPU time: 2973.19 s
Current children cumulated vsize: 128760 KiB
Current children cumulated memory: 124608 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.13 5/249 56310
/proc/meminfo: memFree=128769484/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=130892 memory=126740 CPUtime=3033.02 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 89099 0 0 0 303252 50 0 0 20 0 1 0 48137823 134033408 31685 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32723 31685 512 484 0 32134 0
Current children cumulated CPU time: 3033.02 s
Current children cumulated vsize: 130892 KiB
Current children cumulated memory: 126740 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.13 5/250 56317
/proc/meminfo: memFree=128783616/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=130376 memory=126224 CPUtime=3092.84 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 90209 0 0 0 309232 52 0 0 20 0 1 0 48137823 133505024 31556 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32594 31556 512 484 0 32005 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 130376 KiB
Current children cumulated memory: 126224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.13 5/250 56318
/proc/meminfo: memFree=128777000/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=130468 memory=126316 CPUtime=3152.65 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 91531 0 0 0 315212 53 0 0 20 0 1 0 48137823 133599232 31579 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32617 31579 512 484 0 32028 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 130468 KiB
Current children cumulated memory: 126316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.12 5/250 56320
/proc/meminfo: memFree=128742848/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=136924 memory=132492 CPUtime=3212.48 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 93163 0 0 0 321192 56 0 0 20 0 1 0 48137823 140210176 33123 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 34231 33123 512 484 0 33642 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 136924 KiB
Current children cumulated memory: 132492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/250 56322
/proc/meminfo: memFree=128740368/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=127724 memory=125716 CPUtime=3272.31 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 94205 0 0 0 327173 58 0 0 20 0 1 0 48137823 130789376 31429 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 31931 31429 512 484 0 31342 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 127724 KiB
Current children cumulated memory: 125716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/250 56324
/proc/meminfo: memFree=128740236/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=129220 memory=127212 CPUtime=3332.13 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 96081 0 0 0 333153 60 0 0 20 0 1 0 48137823 132321280 31803 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32305 31803 512 484 0 31716 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 129220 KiB
Current children cumulated memory: 127212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/249 56326
/proc/meminfo: memFree=128735532/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=129108 memory=127100 CPUtime=3391.95 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 97025 0 0 0 339133 62 0 0 20 0 1 0 48137823 132206592 31775 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 32277 31775 512 484 0 31688 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 129108 KiB
Current children cumulated memory: 127100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/249 56328
/proc/meminfo: memFree=128742772/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=134996 memory=132988 CPUtime=3451.78 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 97738 0 0 0 345114 64 0 0 20 0 1 0 48137823 138235904 33247 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 33749 33247 512 484 0 33160 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 134996 KiB
Current children cumulated memory: 132988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/249 56345
/proc/meminfo: memFree=128778320/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=136664 memory=134656 CPUtime=3511.6 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 98618 0 0 0 351094 66 0 0 20 0 1 0 48137823 139943936 33664 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 34166 33664 512 484 0 33577 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 136664 KiB
Current children cumulated memory: 134656 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 56350
/proc/meminfo: memFree=128740836/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=139940 memory=137936 CPUtime=3571.43 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 99893 0 0 0 357075 68 0 0 20 0 1 0 48137823 143298560 34484 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 34985 34484 512 484 0 34396 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 139940 KiB
Current children cumulated memory: 137936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 3.95 4.06 4.08 4/247 56990
/proc/meminfo: memFree=129643568/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=137836 memory=135832 CPUtime=3600 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 100769 0 0 0 359917 83 0 0 20 0 1 0 48137823 141144064 33958 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 34459 33958 512 484 0 33870 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 137836 KiB
Current children cumulated memory: 135832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.11 s]
# the end of solver process 56172 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.17 s, system=0.837734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 3.95 4.06 4.08 4/247 56990
/proc/meminfo: memFree=129643568/131382112 swapFree=33010684/33010684
[pid=56172] ppid=56169 vsize=137836 memory=135832 CPUtime=3600 cores=1,3
/proc/56172/stat : 56172 (uwrmaxsat) R 56169 56172 56014 0 -1 4194304 100769 0 0 0 359917 83 0 0 20 0 1 0 48137823 141144064 33958 18446744073709551615 4198400 6176925 140734460653280 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 32665600 140734460655978 140734460656105 140734460656105 140734460661707 0
/proc/56172/statm: 34459 33958 512 484 0 33870 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 137836 KiB
Current children cumulated memory: 135832 KiB
Child status: 10
Real time (s): 3611.11
CPU time (s): 3600.01
CPU user time (s): 3599.17
CPU system time (s): 0.837734
CPU usage (%): 99.6925
Max. virtual memory (cumulated for all children) (KiB): 197400
Max. memory (cumulated for all children) (KiB): 196288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.837734
maximum resident set size= 196288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 1548
# summary of solver processes directly reported to runsolver:
# pid: 56172
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.17
# total CPU system time (s): 0.837734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2478 second user time and 35.334 second system time
The end
Begin job on nodeC007 at 2025-07-01 01:03:07 IDJOB=4486439 IDBENCH=147020 IDSOLVER=3372 FILE ID=nodeC007/4486439-1751324587 RUNJOBID= nodeC007-1751324575-56026 SLURM_JOB_ID= 9594346 Free space on /tmp= 433004 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486439-1751324587/watcher-4486439-1751324587 -o /tmp/evaluation-result-4486439-1751324587/solver-4486439-1751324587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56026 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486439-1751324587.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=382782314 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.705 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.483 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.492 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.204 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.426 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3517.740 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129351524 kB MemAvailable: 129537748 kB Buffers: 3280 kB Cached: 993148 kB SwapCached: 0 kB Active: 730672 kB Inactive: 746640 kB Active(anon): 498844 kB Inactive(anon): 0 kB Active(file): 231828 kB Inactive(file): 746640 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15536 kB Writeback: 0 kB AnonPages: 484020 kB Mapped: 109212 kB Shmem: 17960 kB KReclaimable: 94764 kB Slab: 177824 kB SReclaimable: 94764 kB SUnreclaim: 83060 kB KernelStack: 4112 kB PageTables: 3948 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 853864 kB VmallocTotal: 34359738367 kB VmallocUsed: 149352 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 433004 MiB End job on nodeC007 at 2025-07-01 02:03:18