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) | 192 | 3600.02 | 3610.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
| MD5SUM | b5aa25dccc2460ad32c358f07bd5c94a |
| 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 | 180 |
| Best CPU time to get the best result obtained on this benchmark | 3585.17 |
| 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 | 473 |
| Total number of constraints | 472 |
| 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 | 472 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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.00 c Converting 472 PB-constraints to clauses... 0.09/0.13 o 473 0.09/0.13 c ============================[ Problem Statistics ]============================ 0.09/0.13 c | Number of variables: 10841 | 0.09/0.13 c | Number of clauses: 36954 | 0.09/0.13 c =============================================================================== 551.10/552.75 c Switching to binary search ... (after 550.952 s and 5000001 conflicts) with 426 goal literals and 0 assumptions 551.91/553.59 o 223 552.30/553.91 o 222 646.63/648.53 o 193 1058.08/1061.14 o 192 3600.01/3610.30 c *** TERMINATED by signal 15 *** 3600.01/3610.30 c _______________________________________________________________________________ 3600.01/3610.30 c 3600.01/3610.30 c _______________________________________________________________________________ 3600.01/3610.30 c 3600.01/3610.30 c =======================[ UWrMaxSat resources usage ]=========================== 3600.01/3610.30 c Memory used : 286.00 MB 3600.01/3610.30 c CPU time : 3598.79 s 3600.01/3610.30 c Constr Enc: Srt/BDD/Add: 471 0 0 3600.01/3610.30 c OptExp Enc: Srt/BDD/Add: 308 0 0 3600.01/3610.30 c _______________________________________________________________________________ 3600.01/3610.30 c _______________________________________________________________________________ 3600.01/3610.30 3600.01/3610.30 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 3600.01/3610.30 s SATISFIABLE
OK 192
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 (61626 MiB free)
memory of node 1: 64507 MiB (63819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489107-1751332520/watcher-4489107-1751332520 -o /tmp/evaluation-result-4489107-1751332520/solver-4489107-1751332520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751325114-48341 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4489107-1751332520.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
solver pid=49509, runsolver pid=49506
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128462808/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=7236 memory=5844 CPUtime=0.09 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 1236 0 0 0 9 0 0 0 20 0 1 0 48929817 7409664 1461 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 1809 1461 480 484 0 1220 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 7236 KiB
Current children cumulated memory: 5844 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128453232/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=15000 memory=13548 CPUtime=0.2 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 3622 0 0 0 19 1 0 0 20 0 1 0 48929817 15360000 3387 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 3750 3387 512 484 0 3161 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 15000 KiB
Current children cumulated memory: 13548 KiB
[startup+0.305625 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128453232/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=15144 memory=13676 CPUtime=0.3 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 3643 0 0 0 29 1 0 0 20 0 1 0 48929817 15507456 3419 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 3786 3419 512 484 0 3197 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 15144 KiB
Current children cumulated memory: 13676 KiB
[startup+0.70018 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128453232/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=19388 memory=17964 CPUtime=0.69 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 5660 0 0 0 68 1 0 0 20 0 1 0 48929817 19853312 4491 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 4847 4491 544 484 0 4258 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19388 KiB
Current children cumulated memory: 17964 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128447652/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=19224 memory=18012 CPUtime=1.48 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 8352 0 0 0 147 1 0 0 20 0 1 0 48929817 19685376 4503 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 4806 4503 544 484 0 4217 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19224 KiB
Current children cumulated memory: 18012 KiB
[startup+3.10536 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 49510
/proc/meminfo: memFree=128448608/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=23156 memory=20736 CPUtime=3.08 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 10138 0 0 0 307 1 0 0 20 0 1 0 48929817 23711744 5184 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 5789 5184 544 484 0 5200 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23156 KiB
Current children cumulated memory: 20736 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 49510
/proc/meminfo: memFree=128451420/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=26724 memory=25576 CPUtime=6.27 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 14659 0 0 0 625 2 0 0 20 0 1 0 48929817 27365376 6394 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 6681 6394 544 484 0 6092 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26724 KiB
Current children cumulated memory: 25576 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 49510
/proc/meminfo: memFree=128434256/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=23836 memory=22740 CPUtime=12.65 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 18192 0 0 0 1262 3 0 0 20 0 1 0 48929817 24408064 5685 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 5959 5685 544 484 0 5370 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23836 KiB
Current children cumulated memory: 22740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 49511
/proc/meminfo: memFree=128412552/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=36040 memory=33432 CPUtime=25.42 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 23608 0 0 0 2537 5 0 0 20 0 1 0 48929817 36904960 8358 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 9010 8358 544 484 0 8421 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 36040 KiB
Current children cumulated memory: 33432 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.08 5/266 49511
/proc/meminfo: memFree=128389048/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=39472 memory=36968 CPUtime=50.95 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 29201 0 0 0 5088 7 0 0 20 0 1 0 48929817 40419328 9242 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 9868 9242 544 484 0 9279 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 39472 KiB
Current children cumulated memory: 36968 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/266 49513
/proc/meminfo: memFree=128378024/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=46932 memory=44660 CPUtime=102 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 35719 0 0 0 10192 8 0 0 20 0 1 0 48929817 48058368 11165 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 11733 11165 544 484 0 11144 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 46932 KiB
Current children cumulated memory: 44660 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 49517
/proc/meminfo: memFree=128348852/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=57820 memory=56788 CPUtime=161.83 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 39469 0 0 0 16174 9 0 0 20 0 1 0 48929817 59207680 14197 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 14455 14197 544 484 0 13866 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 57820 KiB
Current children cumulated memory: 56788 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 49523
/proc/meminfo: memFree=128344592/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=62328 memory=61372 CPUtime=221.66 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 46053 0 0 0 22154 12 0 0 20 0 1 0 48929817 63823872 15343 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 15582 15343 544 484 0 14993 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 62328 KiB
Current children cumulated memory: 61372 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 49526
/proc/meminfo: memFree=128331428/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=63676 memory=62720 CPUtime=281.5 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 49860 0 0 0 28136 14 0 0 20 0 1 0 48929817 65204224 15680 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 15919 15680 544 484 0 15330 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 63676 KiB
Current children cumulated memory: 62720 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 49529
/proc/meminfo: memFree=128305552/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=64996 memory=64040 CPUtime=341.33 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 55165 0 0 0 34116 17 0 0 20 0 1 0 48929817 66555904 16010 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 16249 16010 544 484 0 15660 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 64996 KiB
Current children cumulated memory: 64040 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 49531
/proc/meminfo: memFree=128341116/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=76632 memory=75728 CPUtime=401.14 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 57862 0 0 0 40096 18 0 0 20 0 1 0 48929817 78471168 18932 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 19158 18932 544 484 0 18569 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 76632 KiB
Current children cumulated memory: 75728 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 49533
/proc/meminfo: memFree=128303048/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=65920 memory=64852 CPUtime=460.95 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 59782 0 0 0 46076 19 0 0 20 0 1 0 48929817 67502080 16213 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 16480 16213 544 484 0 15891 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 192044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/264 49667
/proc/meminfo: memFree=127924456/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=193152 memory=192044 CPUtime=2913.93 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 119200 0 0 0 291321 72 0 0 20 0 1 0 48929817 197787648 48011 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 48288 48011 544 484 0 47699 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 193152 KiB
Current children cumulated memory: 192044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 49669
/proc/meminfo: memFree=127971468/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=199760 memory=198700 CPUtime=2973.75 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 119392 0 0 0 297302 73 0 0 20 0 1 0 48929817 204554240 49675 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 49940 49675 544 484 0 49351 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 199760 KiB
Current children cumulated memory: 198700 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.17 4.13 5/264 49671
/proc/meminfo: memFree=127941608/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=174284 memory=173024 CPUtime=3033.56 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 122159 0 0 0 303279 77 0 0 20 0 1 0 48929817 178466816 43256 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 43571 43256 544 484 0 42982 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 174284 KiB
Current children cumulated memory: 173024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.14 4.11 5/264 49673
/proc/meminfo: memFree=127920996/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=182928 memory=181680 CPUtime=3093.39 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 124276 0 0 0 309257 82 0 0 20 0 1 0 48929817 187318272 45420 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 45732 45420 544 484 0 45143 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 182928 KiB
Current children cumulated memory: 181680 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 49678
/proc/meminfo: memFree=127878732/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=189100 memory=187748 CPUtime=3153.22 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 126843 0 0 0 315236 86 0 0 20 0 1 0 48929817 193638400 46937 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 47275 46937 544 484 0 46686 0
Current children cumulated CPU time: 3153.22 s
Current children cumulated vsize: 189100 KiB
Current children cumulated memory: 187748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/265 49686
/proc/meminfo: memFree=127901344/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=187668 memory=186112 CPUtime=3213.06 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 129941 0 0 0 321216 90 0 0 20 0 1 0 48929817 192172032 46528 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 46917 46528 544 484 0 46328 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 187668 KiB
Current children cumulated memory: 186112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 49688
/proc/meminfo: memFree=127902696/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=192656 memory=191180 CPUtime=3272.89 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 132494 0 0 0 327193 96 0 0 20 0 1 0 48929817 197279744 47795 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 48164 47795 544 484 0 47575 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 192656 KiB
Current children cumulated memory: 191180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/265 49690
/proc/meminfo: memFree=127838644/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=212384 memory=211176 CPUtime=3332.73 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 134694 0 0 0 333174 99 0 0 20 0 1 0 48929817 217481216 52794 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 53096 52794 544 484 0 52507 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 212384 KiB
Current children cumulated memory: 211176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49692
/proc/meminfo: memFree=127853220/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=211460 memory=210192 CPUtime=3392.55 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 137706 0 0 0 339151 104 0 0 20 0 1 0 48929817 216535040 52548 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 52865 52548 544 484 0 52276 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 211460 KiB
Current children cumulated memory: 210192 KiB
[startup+3462.3 s]
/proc/loadavg: 3.24 3.91 4.02 2/248 49789
/proc/meminfo: memFree=128410612/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=209820 memory=208556 CPUtime=3452.37 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 139453 0 0 0 345128 109 0 0 20 0 1 0 48929817 214855680 52139 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 52455 52139 544 484 0 51866 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 209820 KiB
Current children cumulated memory: 208556 KiB
[startup+3522.3 s]
/proc/loadavg: 1.82 3.37 3.83 2/248 49792
/proc/meminfo: memFree=128429056/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=198384 memory=197120 CPUtime=3512.23 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 142415 0 0 0 351107 116 0 0 20 0 1 0 48929817 203145216 49280 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 49596 49280 544 484 0 49007 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 198384 KiB
Current children cumulated memory: 197120 KiB
[startup+3582.3 s]
/proc/loadavg: 1.34 2.95 3.66 2/248 49794
/proc/meminfo: memFree=128428128/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=199712 memory=198704 CPUtime=3572.08 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 144288 0 0 0 357088 120 0 0 20 0 1 0 48929817 204505088 49676 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 49928 49676 544 484 0 49339 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 199712 KiB
Current children cumulated memory: 198704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 1.28 2.81 3.59 2/248 49795
/proc/meminfo: memFree=128410800/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=214736 memory=213728 CPUtime=3600.01 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 145512 0 0 0 359879 122 0 0 20 0 1 0 48929817 219889664 53432 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 53684 53432 544 484 0 53095 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 214736 KiB
Current children cumulated memory: 213728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 49509 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.79 s, system=1.23009 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 1.28 2.81 3.59 2/248 49795
/proc/meminfo: memFree=128410800/131250000 swapFree=33010684/33010684
[pid=49509] ppid=49506 vsize=214736 memory=213728 CPUtime=3600.01 cores=1,3
/proc/49509/stat : 49509 (uwrmaxsat) R 49506 49509 48329 0 -1 4194304 145512 0 0 0 359879 122 0 0 20 0 1 0 48929817 219889664 53432 18446744073709551615 4198400 6176925 140732878397808 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 6553704 6596784 33755136 140732878399850 140732878399977 140732878399977 140732878405579 0
/proc/49509/statm: 53684 53432 544 484 0 53095 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 214736 KiB
Current children cumulated memory: 213728 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.02
CPU user time (s): 3598.79
CPU system time (s): 1.23009
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 292888
Max. memory (cumulated for all children) (KiB): 285308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.23009
maximum resident set size= 291504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145513
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= 53
involuntary context switches= 6514
# summary of solver processes directly reported to runsolver:
# pid: 49509
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.79
# total CPU system time (s): 1.23009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61195 second user time and 15.5093 second system time
The end
Begin job on nodeC018 at 2025-07-01 03:15:20 IDJOB=4489107 IDBENCH=147539 IDSOLVER=3372 FILE ID=nodeC018/4489107-1751332520 RUNJOBID= nodeC018-1751325114-48341 SLURM_JOB_ID= 9594349 Free space on /tmp= 432924 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489107-1751332520/watcher-4489107-1751332520 -o /tmp/evaluation-result-4489107-1751332520/solver-4489107-1751332520 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751325114-48341 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4489107-1751332520.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a RANDOM SEED=1713345515 nodeC018 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 : 3599.859 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.66 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 : 3508.629 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.66 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 : 3586.340 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.66 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 : 3599.831 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.66 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.867 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.66 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.831 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.820 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.66 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.845 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128456476 kB MemAvailable: 129601316 kB Buffers: 3280 kB Cached: 1945956 kB SwapCached: 0 kB Active: 464112 kB Inactive: 1688156 kB Active(anon): 221112 kB Inactive(anon): 0 kB Active(file): 243000 kB Inactive(file): 1688156 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 202496 kB Mapped: 110228 kB Shmem: 18076 kB KReclaimable: 105448 kB Slab: 193612 kB SReclaimable: 105448 kB SUnreclaim: 88164 kB KernelStack: 4320 kB PageTables: 3408 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 538884 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432932 MiB End job on nodeC018 at 2025-07-01 04:15:30