Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| ExactPR 2025-06-01 | SAT (TO) | 183 | 3600.08 | 3610.6 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| 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 | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| 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 | 478 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 478 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 478 |
| 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.09 c 478 constraints 0.00/0.09 c after presolve 478 0.00/0.09 c Finish cloning data from SAT to LS 0.00/0.09 c intsize: 9 60.06/60.21 c Use LS-small 60.06/60.21 o 235 60.06/60.21 o 199 60.06/60.21 o 198 60.06/60.21 o 196 60.06/60.21 o 195 60.06/60.21 o 194 60.06/60.21 o 193 60.06/60.21 o 192 60.06/60.21 o 191 60.06/60.21 o 190 60.06/60.21 o 189 60.06/60.21 o 188 60.06/60.21 o 187 60.06/60.21 o 186 60.06/60.21 o 185 60.06/60.21 o 184 60.06/60.21 o 183 60.06/60.21 c SAT by LS-small 60.06/60.21 o 183 3600.06/3610.60 c Program interrupted by user. 3600.06/3610.60 s SATISFIABLE 3600.06/3610.60 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
OK 183
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: 63665 MiB (62401 MiB free)
memory of node 1: 64507 MiB (63611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489023-1751349476/watcher-4489023-1751349476 -o /tmp/evaluation-result-4489023-1751349476/solver-4489023-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751349476-48650 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4489023-1751349476.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=48702, runsolver pid=48690
[startup+0.100059 s]*
/proc/loadavg: 2.33 3.66 3.94 5/265 48707
/proc/meminfo: memFree=129024392/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=0.08 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 8 0 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+0.205408 s]*
/proc/loadavg: 2.33 3.66 3.94 5/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=0.18 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 17 1 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+0.304746 s]*
/proc/loadavg: 2.33 3.66 3.94 5/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=0.28 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 25 3 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+0.700099 s]
/proc/loadavg: 2.33 3.66 3.94 5/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=0.67 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 57 10 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+1.50009 s]
/proc/loadavg: 2.33 3.66 3.94 5/265 48707
/proc/meminfo: memFree=129024980/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=1.47 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 121 26 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+3.10458 s]
/proc/loadavg: 2.46 3.67 3.94 5/265 48707
/proc/meminfo: memFree=129025104/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=3.08 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 252 56 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+6.30009 s]
/proc/loadavg: 2.46 3.67 3.94 5/265 48707
/proc/meminfo: memFree=129025128/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=6.27 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 515 112 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+12.7001 s]
/proc/loadavg: 2.67 3.69 3.95 5/265 48707
/proc/meminfo: memFree=129025248/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=12.65 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 1029 236 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+25.5001 s]
/proc/loadavg: 2.96 3.71 3.95 5/265 48707
/proc/meminfo: memFree=129025208/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=25.43 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 2054 489 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+51.1046 s]
/proc/loadavg: 3.32 3.73 3.95 5/265 48709
/proc/meminfo: memFree=129025208/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=50868 memory=10368 CPUtime=50.99 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 995 0 0 0 4106 993 0 0 20 0 1 0 50625364 52088832 2592 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 12717 2592 1824 2271 0 7355 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 50868 KiB
Current children cumulated memory: 10368 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.81 3.97 5/266 48718
/proc/meminfo: memFree=128747668/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=68652 memory=41776 CPUtime=102.04 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 5830 0 0 0 8991 1213 0 0 20 0 1 0 50625364 70299648 10444 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 17163 10444 1856 2271 0 11801 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 68652 KiB
Current children cumulated memory: 41776 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.86 3.98 5/267 48722
/proc/meminfo: memFree=128674140/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=73716 memory=48656 CPUtime=161.83 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 7454 0 0 0 14914 1269 0 0 20 0 1 0 50625364 75485184 12164 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 18429 12164 1856 2271 0 13067 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 73716 KiB
Current children cumulated memory: 48656 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.90 3.99 5/267 48735
/proc/meminfo: memFree=128609372/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=89968 memory=55936 CPUtime=221.63 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 8626 0 0 0 20832 1331 0 0 20 0 1 0 50625364 92127232 13984 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 22492 13984 1856 2271 0 17130 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 89968 KiB
Current children cumulated memory: 55936 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.94 4.00 5/267 48737
/proc/meminfo: memFree=128599636/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=95084 memory=62104 CPUtime=281.47 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 9873 0 0 0 26756 1391 0 0 20 0 1 0 50625364 97366016 15526 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 23771 15526 1856 2271 0 18409 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 95084 KiB
Current children cumulated memory: 62104 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.97 4.00 5/267 48739
/proc/meminfo: memFree=128583676/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=98668 memory=65304 CPUtime=341.3 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 10683 0 0 0 32683 1447 0 0 20 0 1 0 50625364 101036032 16326 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 24667 16326 1856 2271 0 19305 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 98668 KiB
Current children cumulated memory: 65304 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.99 4.00 5/265 48740
/proc/meminfo: memFree=128575428/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=101744 memory=71660 CPUtime=401.14 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 11246 0 0 0 38611 1503 0 0 20 0 1 0 50625364 104185856 17915 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 25436 17915 1856 2271 0 20074 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 101744 KiB
Current children cumulated memory: 71660 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.00 4.00 5/265 48742
/proc/meminfo: memFree=128559312/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=103728 memory=73452 CPUtime=460.98 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 11715 0 0 0 44537 1561 0 0 20 0 1 0 50625364 106217472 18363 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 25932 18363 1856 2271 0 20570 0
################
# More data... #
################
Current children cumulated memory: 108000 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 48864
/proc/meminfo: memFree=128350040/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=132460 memory=108384 CPUtime=2854.23 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18593 0 0 0 281544 3879 0 0 20 0 1 0 50625364 135639040 27096 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33115 27096 1856 2271 0 27753 0
Current children cumulated CPU time: 2854.23 s
Current children cumulated vsize: 132460 KiB
Current children cumulated memory: 108384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 48868
/proc/meminfo: memFree=128341888/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=132780 memory=108768 CPUtime=2914.04 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18672 0 0 0 287470 3934 0 0 20 0 1 0 50625364 135966720 27192 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33195 27192 1856 2271 0 27833 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 132780 KiB
Current children cumulated memory: 108768 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 48869
/proc/meminfo: memFree=128338056/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=132780 memory=108768 CPUtime=2973.84 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18673 0 0 0 293396 3988 0 0 20 0 1 0 50625364 135966720 27192 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33195 27192 1856 2271 0 27833 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 132780 KiB
Current children cumulated memory: 108768 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 48872
/proc/meminfo: memFree=128329876/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133228 memory=109280 CPUtime=3033.64 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18789 0 0 0 299318 4046 0 0 20 0 1 0 50625364 136425472 27320 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33307 27320 1856 2271 0 27945 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 133228 KiB
Current children cumulated memory: 109280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 48880
/proc/meminfo: memFree=128339448/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133548 memory=109664 CPUtime=3093.45 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18870 0 0 0 305238 4107 0 0 20 0 1 0 50625364 136753152 27416 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33387 27416 1856 2271 0 28025 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 133548 KiB
Current children cumulated memory: 109664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/265 48882
/proc/meminfo: memFree=128335608/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133548 memory=109664 CPUtime=3153.25 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18871 0 0 0 311158 4167 0 0 20 0 1 0 50625364 136753152 27416 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33387 27416 1856 2271 0 28025 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 133548 KiB
Current children cumulated memory: 109664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 48885
/proc/meminfo: memFree=128335668/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133740 memory=109792 CPUtime=3213.05 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18917 0 0 0 317081 4224 0 0 20 0 1 0 50625364 136949760 27448 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33435 27448 1856 2271 0 28073 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 109792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 48887
/proc/meminfo: memFree=128333528/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133740 memory=109920 CPUtime=3272.85 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18948 0 0 0 323005 4280 0 0 20 0 1 0 50625364 136949760 27480 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33435 27480 1856 2271 0 28073 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 109920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 48889
/proc/meminfo: memFree=128325248/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=133740 memory=109920 CPUtime=3332.65 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 18949 0 0 0 328921 4344 0 0 20 0 1 0 50625364 136949760 27480 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33435 27480 1856 2271 0 28073 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 133740 KiB
Current children cumulated memory: 109920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 48891
/proc/meminfo: memFree=128321280/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=134892 memory=110816 CPUtime=3392.45 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 19179 0 0 0 334843 4402 0 0 20 0 1 0 50625364 138129408 27704 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33723 27704 1856 2271 0 28361 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 134892 KiB
Current children cumulated memory: 110816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 48893
/proc/meminfo: memFree=128317584/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=134892 memory=110816 CPUtime=3452.26 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 19179 0 0 0 340769 4457 0 0 20 0 1 0 50625364 138129408 27704 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33723 27704 1856 2271 0 28361 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 134892 KiB
Current children cumulated memory: 110816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 48895
/proc/meminfo: memFree=128317244/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=134892 memory=110944 CPUtime=3512.06 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 19207 0 0 0 346689 4517 0 0 20 0 1 0 50625364 138129408 27736 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33723 27736 1856 2271 0 28361 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 134892 KiB
Current children cumulated memory: 110944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 48898
/proc/meminfo: memFree=128317300/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=135340 memory=111328 CPUtime=3571.86 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 19304 0 0 0 352615 4571 0 0 20 0 1 0 50625364 138588160 27832 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33835 27832 1856 2271 0 28473 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 135340 KiB
Current children cumulated memory: 111328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.09 4.10 4.09 2/255 48936
/proc/meminfo: memFree=128921268/131249996 swapFree=33010684/33010684
[pid=48702] ppid=48690 vsize=135340 memory=111328 CPUtime=3600.06 cores=5,7
/proc/48702/stat : 48702 (ExactPR) R 48690 48702 48637 0 -1 4194304 19304 0 0 0 355412 4594 0 0 20 0 1 0 50625364 138588160 27832 18446744073709551615 94774901788672 94774911088517 140723172845760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94774912874816 94774912913896 94774945452032 140723172850053 140723172850188 140723172850188 140723172855790 0
/proc/48702/statm: 33835 27832 1856 2271 0 28473 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 135340 KiB
Current children cumulated memory: 111328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 48702 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3554.13 s, system=45.9487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.08
CPU user time (s): 3554.13
CPU system time (s): 45.9487
CPU usage (%): 99.7086
Max. virtual memory (cumulated for all children) (KiB): 135340
Max. memory (cumulated for all children) (KiB): 111328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.13
system time used= 45.9487
maximum resident set size= 111840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19321
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= 153
involuntary context switches= 19100
# summary of solver processes directly reported to runsolver:
# pid: 48702
# total CPU time (s): 3600.08
# total CPU user time (s): 3554.13
# total CPU system time (s): 45.9487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88377 second user time and 15.9495 second system time
The end
Begin job on nodeC021 at 2025-07-01 07:57:56 IDJOB=4489023 IDBENCH=147538 IDSOLVER=3324 FILE ID=nodeC021/4489023-1751349476 RUNJOBID= nodeC021-1751349476-48650 SLURM_JOB_ID= 9598129 Free space on /tmp= 432592 MiB SOLVER NAME= ExactPR 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489023-1751349476/watcher-4489023-1751349476 -o /tmp/evaluation-result-4489023-1751349476/solver-4489023-1751349476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751349476-48650 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4489023-1751349476.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=1153213269 nodeC021 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 : 0xb00002a cpu MHz : 3598.990 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.785 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.793 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3584.189 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.765 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3599.774 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 pti ibrs ibpb stibp 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 : 6999.56 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 : 3594.696 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 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.422 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 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129039984 kB MemAvailable: 129760156 kB Buffers: 3280 kB Cached: 1526204 kB SwapCached: 0 kB Active: 348172 kB Inactive: 1257180 kB Active(anon): 93928 kB Inactive(anon): 0 kB Active(file): 254244 kB Inactive(file): 1257180 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 47952 kB Writeback: 0 kB AnonPages: 78900 kB Mapped: 103084 kB Shmem: 18060 kB KReclaimable: 95572 kB Slab: 184376 kB SReclaimable: 95572 kB SUnreclaim: 88804 kB KernelStack: 4024 kB PageTables: 2712 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 348456 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432544 MiB End job on nodeC021 at 2025-07-01 08:58:08