Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NuPBO-DeepOptS+ 2025-06-02 | SAT (TO) | 183 | 3600.06 | 3608.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| 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 | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3583.9 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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 |
3.36/3.47 c Filename:instance-4489408-1751369366.opb, Cutoff_time:3600, memory_limit_gb:500000 3.36/3.47 c Scip time: 1800 3.36/3.47 c Use Presolve 3.36/3.47 c Parse finsih 3.36/3.47 c Start Presolve 3.36/3.47 c After Reduce Vars: 476 Clauses: 952 Top clause weight: 477 Hard Clauses: 476 3600.04/3608.50 c Use LS-small 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 188 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 187 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 186 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 185 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 184 3600.04/3608.50 c Use postsolve 3600.04/3608.50 o 183 3600.04/3608.50 s SATISFIABLE 3600.04/3608.50 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 3600.04/3608.50 c Use postsolve 3600.04/3608.50 c Done 1815.07s
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: 63794 MiB (63110 MiB free)
memory of node 1: 64507 MiB (63807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489408-1751369366/watcher-4489408-1751369366 -o /tmp/evaluation-result-4489408-1751369366/solver-4489408-1751369366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751362144-53694 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4489408-1751369366.opb -t 3600 -s 1036789754
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54481, runsolver pid=54477
[startup+0.10007 s]*
/proc/loadavg: 4.20 4.12 4.10 4/249 54485
/proc/meminfo: memFree=129963612/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=26808 memory=17792 CPUtime=0.1 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 1995 0 0 0 9 1 0 0 20 0 1 0 52616356 27451392 4448 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 6702 4448 2720 2752 0 3355 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26808 KiB
Current children cumulated memory: 17792 KiB
[startup+0.221239 s]*
/proc/loadavg: 4.20 4.12 4.10 5/250 54487
/proc/meminfo: memFree=129959520/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=29636 memory=20736 CPUtime=0.2 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 2695 0 0 0 19 1 0 0 20 0 1 0 52616356 30347264 5184 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 7409 5184 2784 2752 0 4062 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 20736 KiB
[startup+0.314591 s]*
/proc/loadavg: 4.20 4.12 4.10 5/250 54487
/proc/meminfo: memFree=129955800/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=29812 memory=20864 CPUtime=0.29 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 2726 0 0 0 28 1 0 0 20 0 1 0 52616356 30527488 5216 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 7453 5216 2784 2752 0 4106 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29812 KiB
Current children cumulated memory: 20864 KiB
[startup+0.700251 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 54487
/proc/meminfo: memFree=129953028/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=29812 memory=20864 CPUtime=0.66 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 2738 0 0 0 65 1 0 0 20 0 1 0 52616356 30527488 5216 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 7453 5216 2784 2752 0 4106 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 29812 KiB
Current children cumulated memory: 20864 KiB
[startup+1.50035 s]
/proc/loadavg: 4.20 4.12 4.10 5/253 54497
/proc/meminfo: memFree=129880824/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=37900 memory=28772 CPUtime=1.47 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 4722 0 0 0 145 2 0 0 20 0 1 0 52616356 38809600 7193 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 9475 7193 2816 2752 0 6128 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 28772 KiB
[startup+3.11449 s]
/proc/loadavg: 4.19 4.12 4.10 5/253 54497
/proc/meminfo: memFree=129489508/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=158572 memory=146736 CPUtime=3.07 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 35971 0 0 0 300 7 0 0 20 0 1 0 52616356 162377728 36684 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 39643 36684 2816 2752 0 36296 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 158572 KiB
Current children cumulated memory: 146736 KiB
[startup+6.30024 s]
/proc/loadavg: 4.19 4.12 4.10 5/253 54497
/proc/meminfo: memFree=129226988/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=162104 memory=149936 CPUtime=6.25 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 36796 0 0 0 618 7 0 0 20 0 1 0 52616356 165994496 37484 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 40526 37484 2816 2752 0 37179 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 162104 KiB
Current children cumulated memory: 149936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/253 54497
/proc/meminfo: memFree=129218924/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=162104 memory=149936 CPUtime=12.63 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 36796 0 0 0 1256 7 0 0 20 0 1 0 52616356 165994496 37484 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 40526 37484 2816 2752 0 37179 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 162104 KiB
Current children cumulated memory: 149936 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.09 5/253 54497
/proc/meminfo: memFree=129130976/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=191292 memory=178288 CPUtime=25.4 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 45153 0 0 0 2531 9 0 0 20 0 1 0 52616356 195883008 44572 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 47823 44572 2816 2752 0 44476 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 191292 KiB
Current children cumulated memory: 178288 KiB
[startup+51.1143 s]
/proc/loadavg: 4.09 4.10 4.09 5/252 54498
/proc/meminfo: memFree=128934732/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=235108 memory=220508 CPUtime=50.94 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 55814 0 0 0 5084 10 0 0 20 0 1 0 52616356 240750592 55127 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 58777 55127 2816 2752 0 55430 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 235108 KiB
Current children cumulated memory: 220508 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/253 54502
/proc/meminfo: memFree=128894984/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=239180 memory=225628 CPUtime=102 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 57124 0 0 0 10189 11 0 0 20 0 1 0 52616356 244920320 56407 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 59795 56407 2816 2752 0 56448 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 239180 KiB
Current children cumulated memory: 225628 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/252 54508
/proc/meminfo: memFree=128633512/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=263420 memory=251456 CPUtime=161.86 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 63707 0 0 0 16173 13 0 0 20 0 1 0 52616356 269742080 62864 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 65855 62864 2816 2752 0 62508 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 263420 KiB
Current children cumulated memory: 251456 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/252 54510
/proc/meminfo: memFree=128609484/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=275340 memory=262848 CPUtime=221.7 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 66544 0 0 0 22157 13 0 0 20 0 1 0 52616356 281948160 65712 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68835 65712 2816 2752 0 65488 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 275340 KiB
Current children cumulated memory: 262848 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/252 54512
/proc/meminfo: memFree=128573744/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=281252 memory=268480 CPUtime=281.55 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 67935 0 0 0 28141 14 0 0 20 0 1 0 52616356 288002048 67120 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 70313 67120 2816 2752 0 66966 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 281252 KiB
Current children cumulated memory: 268480 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 54515
/proc/meminfo: memFree=128565428/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=288784 memory=276160 CPUtime=341.36 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 69872 0 0 0 34121 15 0 0 20 0 1 0 52616356 295714816 69040 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 72196 69040 2816 2752 0 68849 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 288784 KiB
Current children cumulated memory: 276160 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 54517
/proc/meminfo: memFree=128551296/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=290136 memory=277312 CPUtime=401.17 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 70163 0 0 0 40102 15 0 0 20 0 1 0 52616356 297099264 69328 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 72534 69328 2816 2752 0 69187 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 290136 KiB
Current children cumulated memory: 277312 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 54519
/proc/meminfo: memFree=128538856/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=292680 memory=279872 CPUtime=460.98 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 70822 0 0 0 46083 15 0 0 20 0 1 0 52616356 299704320 69968 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 73170 69968 2816 2752 0 69823 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 266684 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 54650
/proc/meminfo: memFree=128553416/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=2915.27 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 291510 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 54652
/proc/meminfo: memFree=128553704/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=2975.14 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 297497 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 2975.14 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 54654
/proc/meminfo: memFree=128555232/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3035.02 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 303485 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3035.02 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/251 54658
/proc/meminfo: memFree=128558932/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3094.89 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 309472 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3094.89 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 54664
/proc/meminfo: memFree=128560208/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3154.77 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 315460 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 54667
/proc/meminfo: memFree=128561972/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3214.64 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 321447 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 54669
/proc/meminfo: memFree=128564996/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3274.52 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 327435 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/251 54672
/proc/meminfo: memFree=128566508/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3334.39 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 333422 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 54674
/proc/meminfo: memFree=128570484/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3394.27 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 339410 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3394.27 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 54676
/proc/meminfo: memFree=128570760/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3454.14 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 345397 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3454.14 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 54678
/proc/meminfo: memFree=128571284/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3514.02 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 351385 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 54680
/proc/meminfo: memFree=128571812/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3573.89 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 357372 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3573.89 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 54682
/proc/meminfo: memFree=128572576/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3600.04 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 359987 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 54481 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.88 s, system=0.176382 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 54682
/proc/meminfo: memFree=128572576/131382116 swapFree=33010684/33010684
[pid=54481] ppid=54477 vsize=274412 memory=266684 CPUtime=3600.04 cores=4,6
/proc/54481/stat : 54481 (NuPBO-DeepOptS+) R 54477 54481 53683 0 -1 4194304 78396 0 0 0 359987 17 0 0 20 0 1 0 52616356 280997888 66671 18446744073709551615 4198400 15468185 140735600023728 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 27631616 140735600032150 140735600032260 140735600032260 140735600037862 0
/proc/54481/statm: 68603 66671 2816 2752 0 65256 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 274412 KiB
Current children cumulated memory: 266684 KiB
Child status: 10
Real time (s): 3608.5
CPU time (s): 3600.06
CPU user time (s): 3599.88
CPU system time (s): 0.176382
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 320040
Max. memory (cumulated for all children) (KiB): 309824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.176382
maximum resident set size= 309824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78421
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= 33
involuntary context switches= 1607
# summary of solver processes directly reported to runsolver:
# pid: 54481
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.88
# total CPU system time (s): 0.176382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.812 second user time and 33.1992 second system time
The end
Begin job on nodeC011 at 2025-07-01 13:29:26 IDJOB=4489408 IDBENCH=147547 IDSOLVER=3343 FILE ID=nodeC011/4489408-1751369366 RUNJOBID= nodeC011-1751362144-53694 SLURM_JOB_ID= 9598176 Free space on /tmp= 433012 MiB SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb COMMAND LINE= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489408-1751369366/watcher-4489408-1751369366 -o /tmp/evaluation-result-4489408-1751369366/solver-4489408-1751369366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751362144-53694 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4489408-1751369366.opb -t 3600 -s 1036789754 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1036789754 nodeC011 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 : 1197.294 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.291 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 : 6984.20 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.191 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 : 6984.20 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.971 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 : 6984.20 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.148 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 : 6984.20 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 : 1197.302 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 : 6984.20 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.300 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 : 6984.20 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.204 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 129964020 kB MemAvailable: 129942236 kB Buffers: 3280 kB Cached: 785652 kB SwapCached: 0 kB Active: 394940 kB Inactive: 486652 kB Active(anon): 110620 kB Inactive(anon): 0 kB Active(file): 284320 kB Inactive(file): 486652 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48684 kB Writeback: 4 kB AnonPages: 95600 kB Mapped: 124680 kB Shmem: 17960 kB KReclaimable: 93360 kB Slab: 174520 kB SReclaimable: 93360 kB SUnreclaim: 81160 kB KernelStack: 4048 kB PageTables: 3172 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 417356 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432980 MiB End job on nodeC011 at 2025-07-01 14:29:35