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) | 200 | 3600.03 | 3610.2 |
| 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.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.02 c Converting 478 PB-constraints to clauses... 0.31/0.40 o 476 0.31/0.41 c ============================[ Problem Statistics ]============================ 0.31/0.41 c | Number of variables: 11613 | 0.31/0.41 c | Number of clauses: 39918 | 0.31/0.41 c =============================================================================== 1894.11/1899.81 c Switching to binary search ... (after 1893.77 s and 11312602 conflicts) with 432 goal literals and 0 assumptions 1899.31/1905.05 o 237 1899.70/1905.41 o 233 2121.01/2127.39 o 201 2261.75/2268.49 o 200 3600.03/3610.20 c *** TERMINATED by signal 15 *** 3600.03/3610.20 c _______________________________________________________________________________ 3600.03/3610.20 c 3600.03/3610.20 c _______________________________________________________________________________ 3600.03/3610.20 c 3600.03/3610.20 c =======================[ UWrMaxSat resources usage ]=========================== 3600.03/3610.20 c Memory used : 331.00 MB 3600.03/3610.20 c CPU time : 3598.96 s 3600.03/3610.20 c Constr Enc: Srt/BDD/Add: 474 0 0 3600.03/3610.20 c OptExp Enc: Srt/BDD/Add: 345 0 0 3600.03/3610.20 c _______________________________________________________________________________ 3600.03/3610.20 c _______________________________________________________________________________ 3600.03/3610.20 3600.03/3610.20 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 3600.03/3610.20 s SATISFIABLE
OK 200
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 (62924 MiB free)
memory of node 1: 64465 MiB (63529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489061-1751332457/watcher-4489061-1751332457 -o /tmp/evaluation-result-4489061-1751332457/solver-4489061-1751332457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56025 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4489061-1751332457.opb -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=58271, runsolver pid=58268
[startup+0.100041 s]*
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129489884/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=4552 memory=3840 CPUtime=0.1 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 581 0 0 0 10 0 0 0 20 0 1 0 48924844 4661248 960 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 1138 960 480 484 0 549 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 4552 KiB
Current children cumulated memory: 3840 KiB
[startup+0.213179 s]*
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129489884/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=5952 memory=5004 CPUtime=0.21 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 1018 0 0 0 21 0 0 0 20 0 1 0 48924844 6094848 1251 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 1488 1251 480 484 0 899 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 5952 KiB
Current children cumulated memory: 5004 KiB
[startup+0.312996 s]*
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129489884/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=7908 memory=6696 CPUtime=0.31 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 1596 0 0 0 31 0 0 0 20 0 1 0 48924844 8097792 1674 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 1977 1674 480 484 0 1388 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 7908 KiB
Current children cumulated memory: 6696 KiB
[startup+0.700353 s]
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129482072/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=15988 memory=14408 CPUtime=0.68 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 3806 0 0 0 68 0 0 0 20 0 1 0 48924844 16371712 3602 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 3997 3602 512 484 0 3408 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 15988 KiB
Current children cumulated memory: 14408 KiB
[startup+1.50034 s]
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129482072/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=19236 memory=17520 CPUtime=1.48 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 4959 0 0 0 148 0 0 0 20 0 1 0 48924844 19697664 4380 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 4809 4380 544 484 0 4220 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19236 KiB
Current children cumulated memory: 17520 KiB
[startup+3.11287 s]
/proc/loadavg: 4.21 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129477112/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=20844 memory=19608 CPUtime=3.09 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 7280 0 0 0 308 1 0 0 20 0 1 0 48924844 21344256 4902 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 5211 4902 544 484 0 4622 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 20844 KiB
Current children cumulated memory: 19608 KiB
[startup+6.30033 s]
/proc/loadavg: 4.20 4.23 4.15 5/251 58272
/proc/meminfo: memFree=129486344/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=25552 memory=22792 CPUtime=6.27 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 8486 0 0 0 626 1 0 0 20 0 1 0 48924844 26165248 5698 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 6388 5698 544 484 0 5799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 25552 KiB
Current children cumulated memory: 22792 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.22 4.15 5/251 58272
/proc/meminfo: memFree=129482832/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=27420 memory=24840 CPUtime=12.64 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 8982 0 0 0 1263 1 0 0 20 0 1 0 48924844 28078080 6210 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 6855 6210 544 484 0 6266 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 27420 KiB
Current children cumulated memory: 24840 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.23 4.15 5/251 58273
/proc/meminfo: memFree=129483336/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=28388 memory=27196 CPUtime=25.41 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 11420 0 0 0 2539 2 0 0 20 0 1 0 48924844 29069312 6799 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 7097 6799 544 484 0 6508 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 28388 KiB
Current children cumulated memory: 27196 KiB
[startup+51.1129 s]
/proc/loadavg: 4.14 4.21 4.15 5/251 58273
/proc/meminfo: memFree=129470552/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=39508 memory=38188 CPUtime=50.94 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 17854 0 0 0 5090 4 0 0 20 0 1 0 48924844 40456192 9547 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 9877 9547 544 484 0 9288 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 39508 KiB
Current children cumulated memory: 38188 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/251 58275
/proc/meminfo: memFree=129452596/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=43620 memory=42412 CPUtime=101.97 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 25464 0 0 0 10191 6 0 0 20 0 1 0 48924844 44666880 10603 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 10905 10603 544 484 0 10316 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 43620 KiB
Current children cumulated memory: 42412 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.18 4.15 5/251 58281
/proc/meminfo: memFree=129436516/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=45924 memory=44516 CPUtime=161.78 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 31770 0 0 0 16169 9 0 0 20 0 1 0 48924844 47026176 11129 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 11481 11129 544 484 0 10892 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 45924 KiB
Current children cumulated memory: 44516 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/251 58283
/proc/meminfo: memFree=129395556/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=58640 memory=57388 CPUtime=221.6 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 38651 0 0 0 22148 12 0 0 20 0 1 0 48924844 60047360 14347 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 14660 14347 544 484 0 14071 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 58640 KiB
Current children cumulated memory: 57388 KiB
[startup+282.3 s]
/proc/loadavg: 4.67 4.31 4.19 5/251 58285
/proc/meminfo: memFree=129349688/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=61900 memory=60592 CPUtime=281.42 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 39655 0 0 0 28129 13 0 0 20 0 1 0 48924844 63385600 15148 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 15475 15148 544 484 0 14886 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 61900 KiB
Current children cumulated memory: 60592 KiB
[startup+342.3 s]
/proc/loadavg: 4.45 4.32 4.20 5/251 58287
/proc/meminfo: memFree=129328592/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=75520 memory=74288 CPUtime=341.26 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 40498 0 0 0 34113 13 0 0 20 0 1 0 48924844 77332480 18572 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 18880 18572 544 484 0 18291 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 75520 KiB
Current children cumulated memory: 74288 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.29 4.20 5/251 58289
/proc/meminfo: memFree=129300196/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=84212 memory=82992 CPUtime=401.1 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 40659 0 0 0 40097 13 0 0 20 0 1 0 48924844 86233088 20748 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 21053 20748 544 484 0 20464 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 84212 KiB
Current children cumulated memory: 82992 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.25 4.19 5/251 58291
/proc/meminfo: memFree=129306096/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=88380 memory=87088 CPUtime=460.94 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 41736 0 0 0 46081 13 0 0 20 0 1 0 48924844 90501120 21772 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 22095 21772 544 484 0 21506 0
################
# More data... #
################
Current children cumulated memory: 195372 KiB
[startup+2862.3 s]
/proc/loadavg: 4.20 4.23 4.15 5/250 58415
/proc/meminfo: memFree=129061856/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=196568 memory=195372 CPUtime=2853.96 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 95875 0 0 0 285326 70 0 0 20 0 1 0 48924844 201285632 48843 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49142 48843 544 484 0 48553 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 196568 KiB
Current children cumulated memory: 195372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/250 58417
/proc/meminfo: memFree=129051556/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=189540 memory=187100 CPUtime=2913.76 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 98843 0 0 0 291302 74 0 0 20 0 1 0 48924844 194088960 46775 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 47385 46775 544 484 0 46796 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 189540 KiB
Current children cumulated memory: 187100 KiB
[startup+2982.3 s]
/proc/loadavg: 3.78 4.11 4.12 2/237 58502
/proc/meminfo: memFree=129583152/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=160560 memory=158120 CPUtime=2973.58 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 100332 0 0 0 297281 77 0 0 20 0 1 0 48924844 164413440 39530 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 40140 39530 544 484 0 39551 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 160560 KiB
Current children cumulated memory: 158120 KiB
[startup+3042.3 s]
/proc/loadavg: 2.08 3.56 3.93 2/233 58514
/proc/meminfo: memFree=129566900/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=188876 memory=186436 CPUtime=3033.45 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 102667 0 0 0 303261 84 0 0 20 0 1 0 48924844 193409024 46609 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 47219 46609 544 484 0 46630 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 188876 KiB
Current children cumulated memory: 186436 KiB
[startup+3102.3 s]
/proc/loadavg: 1.44 3.10 3.75 2/232 58518
/proc/meminfo: memFree=129565312/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=188612 memory=186172 CPUtime=3093.31 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 104717 0 0 0 309240 91 0 0 20 0 1 0 48924844 193138688 46543 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 47153 46543 544 484 0 46564 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 188612 KiB
Current children cumulated memory: 186172 KiB
[startup+3162.3 s]
/proc/loadavg: 1.28 2.75 3.58 2/232 58520
/proc/meminfo: memFree=129550716/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=201116 memory=198792 CPUtime=3153.19 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 106552 0 0 0 315223 96 0 0 20 0 1 0 48924844 205942784 49698 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 50279 49698 544 484 0 49690 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 201116 KiB
Current children cumulated memory: 198792 KiB
[startup+3222.3 s]
/proc/loadavg: 1.10 2.43 3.42 2/233 58527
/proc/meminfo: memFree=129564484/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=188732 memory=187556 CPUtime=3213.05 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 109208 0 0 0 321203 102 0 0 20 0 1 0 48924844 193261568 46889 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 47183 46889 544 484 0 46594 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 188732 KiB
Current children cumulated memory: 187556 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 2.18 3.27 2/232 58529
/proc/meminfo: memFree=129585336/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=169136 memory=166876 CPUtime=3272.91 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 115667 0 0 0 327186 105 0 0 20 0 1 0 48924844 173195264 41719 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 42284 41719 544 484 0 41695 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 169136 KiB
Current children cumulated memory: 166876 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.99 3.13 2/232 58531
/proc/meminfo: memFree=129585216/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=182984 memory=181712 CPUtime=3332.75 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 116966 0 0 0 333169 106 0 0 20 0 1 0 48924844 187375616 45428 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 45746 45428 544 484 0 45157 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 182984 KiB
Current children cumulated memory: 181712 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.82 3.00 2/232 58533
/proc/meminfo: memFree=129552088/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=199404 memory=198228 CPUtime=3392.6 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 117566 0 0 0 339153 107 0 0 20 0 1 0 48924844 204189696 49557 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49851 49557 544 484 0 49262 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 199404 KiB
Current children cumulated memory: 198228 KiB
[startup+3462.3 s]
/proc/loadavg: 1.18 1.72 2.89 2/232 58535
/proc/meminfo: memFree=129554252/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=199404 memory=198228 CPUtime=3452.46 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 117571 0 0 0 345139 107 0 0 20 0 1 0 48924844 204189696 49557 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49851 49557 544 484 0 49262 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 199404 KiB
Current children cumulated memory: 198228 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.60 2.77 2/231 58537
/proc/meminfo: memFree=129577952/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=199404 memory=198228 CPUtime=3512.33 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 117572 0 0 0 351126 107 0 0 20 0 1 0 48924844 204189696 49557 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49851 49557 544 484 0 49262 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 199404 KiB
Current children cumulated memory: 198228 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.50 2.67 2/231 58539
/proc/meminfo: memFree=129578724/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=199404 memory=198228 CPUtime=3572.19 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 117572 0 0 0 357112 107 0 0 20 0 1 0 48924844 204189696 49557 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49851 49557 544 484 0 49262 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 199404 KiB
Current children cumulated memory: 198228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 1.12 1.48 2.62 2/231 58541
/proc/meminfo: memFree=129578976/131382112 swapFree=33010684/33010684
[pid=58271] ppid=58268 vsize=199404 memory=198228 CPUtime=3600.03 cores=4,6
/proc/58271/stat : 58271 (uwrmaxsat) R 58268 58271 56014 0 -1 4194304 117572 0 0 0 359896 107 0 0 20 0 1 0 48924844 204189696 49557 18446744073709551615 4198400 6176925 140730685285168 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 6553704 6596784 7806976 140730685286762 140730685286889 140730685286889 140730685292491 0
/proc/58271/statm: 49851 49557 544 484 0 49262 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 199404 KiB
Current children cumulated memory: 198228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 58271 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.96 s, system=1.07244 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.2
CPU time (s): 3600.03
CPU user time (s): 3598.96
CPU system time (s): 1.07244
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 298908
Max. memory (cumulated for all children) (KiB): 297664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.07244
maximum resident set size= 338148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117573
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= 39
involuntary context switches= 2348
# summary of solver processes directly reported to runsolver:
# pid: 58271
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.96
# total CPU system time (s): 1.07244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1448 second user time and 34.2136 second system time
The end
Begin job on nodeC007 at 2025-07-01 03:14:17 IDJOB=4489061 IDBENCH=147538 IDSOLVER=3372 FILE ID=nodeC007/4489061-1751332457 RUNJOBID= nodeC007-1751324575-56025 SLURM_JOB_ID= 9594346 Free space on /tmp= 433008 MiB SOLVER NAME= UWrMaxSat 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489061-1751332457/watcher-4489061-1751332457 -o /tmp/evaluation-result-4489061-1751332457/solver-4489061-1751332457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56025 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4489061-1751332457.opb -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=800805248 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 : 3660.616 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 : 3493.850 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.671 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.682 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 : 1197.206 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 : 3593.744 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 : 1197.777 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 : 1197.532 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: 129490076 kB MemAvailable: 129675836 kB Buffers: 3280 kB Cached: 992544 kB SwapCached: 0 kB Active: 536108 kB Inactive: 746028 kB Active(anon): 304272 kB Inactive(anon): 0 kB Active(file): 231836 kB Inactive(file): 746028 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2644 kB Writeback: 0 kB AnonPages: 287272 kB Mapped: 109328 kB Shmem: 17960 kB KReclaimable: 95048 kB Slab: 178220 kB SReclaimable: 95048 kB SUnreclaim: 83172 kB KernelStack: 4080 kB PageTables: 3544 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 621108 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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= 433016 MiB End job on nodeC007 at 2025-07-01 04:14:28