Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PRINTEMPS 2025-05-28 | SAT (TO) | 24 | 3600.11 | 1827.12 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-count.b.opb |
| MD5SUM | 7051ff5e8584c37bae1654b406532f5e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.085085 |
| 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 | 466 |
| Total number of constraints | 694 |
| Number of constraints which are clauses | 694 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 78 |
| Number of terms in the objective function | 466 |
| 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 | 466 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 466 |
| 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 PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/) 0.00/0.01 c #variable: 466 0.00/0.01 c #constraint: 694 0.00/0.01 c #equal: 0 0.00/0.01 c intsize: 9 0.00/0.01 c sizeproduct: 0 0.00/0.01 c #soft: 0 0.00/0.01 c mincost: 0 0.00/0.01 c maxcost: 0 0.00/0.01 c sumcost: 0 0.00/0.01 c iteration_max: -1 0.00/0.01 c time_max: -1 0.00/0.01 c number_of_threads(move update): 2 0.00/0.01 c number_of_threads(move evaluation): 2 0.00/0.01 c seed: 2047586205 0.00/0.02 o 28 0.00/0.02 o 26 0.00/0.03 o 25 0.00/0.05 o 24 3600.08/1827.11 s SATISFIABLE 3600.08/1827.11 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x19 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x43 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x8 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 24
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: 63708 MiB (61527 MiB free)
memory of node 1: 64465 MiB (62556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487526-1751322480/watcher-4487526-1751322480 -o /tmp/evaluation-result-4487526-1751322480/solver-4487526-1751322480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751318514-52072 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2047586205 HOME/instance-4487526-1751322480.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52668, runsolver pid=52665
[startup+0.100057 s]*
/proc/loadavg: 6.58 6.99 7.13 7/266 52670
/proc/meminfo: memFree=127058320/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=85272 memory=11904 CPUtime=0.17 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 2429 0 0 0 17 0 0 0 20 0 2 0 47926798 87318528 2976 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21318 2976 672 633 0 4455 0
[pid=52668/tid=52670] ppid=52665 vsize=85272 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) S 52665 52668 52060 0 -1 4194368 309 0 0 0 8 0 0 0 20 0 2 0 47926798 87318528 2976 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85272 KiB
Current children cumulated memory: 11904 KiB
[startup+0.205123 s]*
/proc/loadavg: 6.58 6.99 7.13 7/266 52670
/proc/meminfo: memFree=127054288/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=85340 memory=12032 CPUtime=0.32 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 2481 0 0 0 32 0 0 0 20 0 2 0 47926798 87388160 3008 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21335 3008 672 633 0 4472 0
[pid=52668/tid=52670] ppid=52665 vsize=85340 memory=664958721904869660 CPUtime=0.12 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) S 52665 52668 52060 0 -1 4194368 309 0 0 0 12 0 0 0 20 0 2 0 47926798 87388160 3008 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 85340 KiB
Current children cumulated memory: 12032 KiB
[startup+0.304574 s]*
/proc/loadavg: 6.58 6.99 7.13 8/266 52670
/proc/meminfo: memFree=127054288/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=85620 memory=12160 CPUtime=0.47 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) S 52665 52668 52060 0 -1 4194304 2513 0 0 0 47 0 0 0 20 0 2 0 47926798 87674880 3040 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21405 3040 672 633 0 4542 0
[pid=52668/tid=52670] ppid=52665 vsize=85620 memory=-7023778974748675946 CPUtime=0.18 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 309 0 0 0 18 0 0 0 20 0 2 0 47926798 87674880 3040 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 85620 KiB
Current children cumulated memory: 12160 KiB
[startup+0.700121 s]
/proc/loadavg: 6.58 6.99 7.13 8/266 52670
/proc/meminfo: memFree=127054288/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=85928 memory=12544 CPUtime=1.14 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 2607 0 0 0 113 1 0 0 20 0 2 0 47926798 87990272 3136 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21482 3136 672 633 0 4619 0
[pid=52668/tid=52670] ppid=52665 vsize=85928 memory=17792 CPUtime=0.46 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 309 0 0 0 46 0 0 0 20 0 2 0 47926798 87990272 3136 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 85928 KiB
Current children cumulated memory: 12544 KiB
[startup+1.50012 s]
/proc/loadavg: 6.58 6.99 7.13 8/266 52670
/proc/meminfo: memFree=127054288/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=86224 memory=12928 CPUtime=2.73 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 4368 0 0 0 271 2 0 0 20 0 2 0 47926798 88293376 3232 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21556 3232 672 633 0 4693 0
[pid=52668/tid=52670] ppid=52665 vsize=86224 memory=17792 CPUtime=1.25 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 473 0 0 0 125 0 0 0 20 0 2 0 47926798 88293376 3232 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 86224 KiB
Current children cumulated memory: 12928 KiB
[startup+3.10508 s]
/proc/loadavg: 6.61 6.99 7.13 9/266 52670
/proc/meminfo: memFree=127054556/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=86684 memory=13184 CPUtime=5.9 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 6174 0 0 0 587 3 0 0 20 0 2 0 47926798 88764416 3296 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21671 3296 672 633 0 4808 0
[pid=52668/tid=52670] ppid=52665 vsize=86684 memory=12928 CPUtime=2.84 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 789 0 0 0 283 1 0 0 20 0 2 0 47926798 88764416 3296 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 13184 KiB
[startup+6.30012 s]
/proc/loadavg: 6.61 6.99 7.13 8/266 52670
/proc/meminfo: memFree=127054556/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=87116 memory=13696 CPUtime=12.26 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 8228 0 0 0 1220 6 0 0 20 0 2 0 47926798 89206784 3424 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21779 3424 672 633 0 4916 0
[pid=52668/tid=52670] ppid=52665 vsize=87116 memory=17792 CPUtime=6.01 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 1515 0 0 0 599 2 0 0 20 0 2 0 47926798 89206784 3424 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 87116 KiB
Current children cumulated memory: 13696 KiB
[startup+12.7001 s]
/proc/loadavg: 6.64 6.99 7.13 8/266 52670
/proc/meminfo: memFree=127054768/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=87396 memory=14080 CPUtime=24.86 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 10335 0 0 0 2477 9 0 0 20 0 2 0 47926798 89493504 3520 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 21849 3520 672 633 0 4986 0
[pid=52668/tid=52670] ppid=52665 vsize=87396 memory=13952 CPUtime=12.26 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 1950 0 0 0 1224 2 0 0 20 0 2 0 47926798 89493504 3520 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 24.86 s
Current children cumulated vsize: 87396 KiB
Current children cumulated memory: 14080 KiB
[startup+25.5001 s]
/proc/loadavg: 6.72 6.99 7.13 8/267 52671
/proc/meminfo: memFree=127055024/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=88308 memory=14712 CPUtime=50.29 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 12561 0 0 0 5013 16 0 0 20 0 2 0 47926798 90427392 3678 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 22077 3678 672 633 0 5214 0
[pid=52668/tid=52670] ppid=52665 vsize=88308 memory=14456 CPUtime=24.96 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 2973 0 0 0 2491 5 0 0 20 0 2 0 47926798 90427392 3678 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 50.29 s
Current children cumulated vsize: 88308 KiB
Current children cumulated memory: 14712 KiB
[startup+51.1053 s]
/proc/loadavg: 6.89 7.01 7.13 8/267 52672
/proc/meminfo: memFree=127055080/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=89368 memory=15992 CPUtime=100.82 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 15159 0 0 0 10056 26 0 0 20 0 2 0 47926798 91512832 3998 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 22342 3998 672 633 0 5479 0
[pid=52668/tid=52670] ppid=52665 vsize=89368 memory=17792 CPUtime=50.05 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 3438 0 0 0 4998 7 0 0 20 0 2 0 47926798 91512832 3998 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 100.82 s
Current children cumulated vsize: 89368 KiB
Current children cumulated memory: 15992 KiB
[startup+102.3 s]
/proc/loadavg: 7.02 7.02 7.12 8/267 52674
/proc/meminfo: memFree=127054832/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=91352 memory=17912 CPUtime=202.37 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 17287 0 0 0 20190 47 0 0 20 0 2 0 47926798 93544448 4478 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 22838 4478 672 633 0 5975 0
[pid=52668/tid=52670] ppid=52665 vsize=91352 memory=17792 CPUtime=100.78 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 3997 0 0 0 10065 13 0 0 20 0 2 0 47926798 93544448 4478 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 202.37 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 17912 KiB
[startup+162.3 s]
/proc/loadavg: 7.71 7.22 7.19 9/267 52677
/proc/meminfo: memFree=127055200/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=94180 memory=20300 CPUtime=321.15 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 20523 0 0 0 32045 70 0 0 20 0 2 0 47926798 96440320 5075 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 23545 5075 672 633 0 6682 0
[pid=52668/tid=52670] ppid=52665 vsize=94180 memory=5632 CPUtime=159.94 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 4550 0 0 0 15975 19 0 0 20 0 2 0 47926798 96440320 5075 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 321.15 s
Current children cumulated vsize: 94180 KiB
Current children cumulated memory: 20300 KiB
[startup+222.3 s]
/proc/loadavg: 8.00 7.39 7.25 9/268 52686
/proc/meminfo: memFree=127049800/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=95128 memory=21452 CPUtime=439.92 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 22160 0 0 0 43901 91 0 0 20 0 2 0 47926798 97411072 5363 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 23782 5363 672 633 0 6919 0
[pid=52668/tid=52670] ppid=52665 vsize=95128 memory=17792 CPUtime=219.05 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 5068 0 0 0 21881 24 0 0 20 0 2 0 47926798 97411072 5363 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 439.92 s
Current children cumulated vsize: 95128 KiB
Current children cumulated memory: 21452 KiB
[startup+282.3 s]
/proc/loadavg: 8.06 7.52 7.31 9/268 52688
/proc/meminfo: memFree=127049248/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=95912 memory=22348 CPUtime=558.67 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 22850 0 0 0 55757 110 0 0 20 0 2 0 47926798 98213888 5587 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 23978 5587 672 633 0 7115 0
[pid=52668/tid=52670] ppid=52665 vsize=95912 memory=22092 CPUtime=278.15 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 5146 0 0 0 27787 28 0 0 20 0 2 0 47926798 98213888 5587 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 558.67 s
Current children cumulated vsize: 95912 KiB
Current children cumulated memory: 22348 KiB
################
# More data... #
################
/proc/meminfo: memFree=127037632/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=105388 memory=32220 CPUtime=2450.35 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 29125 0 0 0 244691 344 0 0 20 0 2 0 47926798 107917312 8055 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26347 8055 672 633 0 9484 0
[pid=52668/tid=52670] ppid=52665 vsize=105388 memory=14692 CPUtime=1215.76 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6142 0 0 0 121491 85 0 0 20 0 2 0 47926798 107917312 8055 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2450.35 s
Current children cumulated vsize: 105388 KiB
Current children cumulated memory: 32220 KiB
[startup+1302.3 s]
/proc/loadavg: 7.98 7.89 7.76 9/267 52775
/proc/meminfo: memFree=127031008/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=106180 memory=32860 CPUtime=2568.32 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 29294 0 0 0 256473 359 0 0 20 0 2 0 47926798 108728320 8215 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26545 8215 672 633 0 9682 0
[pid=52668/tid=52670] ppid=52665 vsize=106180 memory=32604 CPUtime=1274.12 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6142 0 0 0 127323 89 0 0 20 0 2 0 47926798 108728320 8215 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2568.32 s
Current children cumulated vsize: 106180 KiB
Current children cumulated memory: 32860 KiB
[startup+1362.3 s]
/proc/loadavg: 8.05 7.93 7.78 9/267 52777
/proc/meminfo: memFree=127033104/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=106512 memory=33116 CPUtime=2686.41 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 30463 0 0 0 268270 371 0 0 20 0 2 0 47926798 109068288 8279 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26628 8279 672 633 0 9765 0
[pid=52668/tid=52670] ppid=52665 vsize=106512 memory=32988 CPUtime=1332.56 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6454 0 0 0 133164 92 0 0 20 0 2 0 47926798 109068288 8279 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2686.41 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 33116 KiB
[startup+1422.3 s]
/proc/loadavg: 7.93 7.93 7.79 9/266 52779
/proc/meminfo: memFree=127031996/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=106800 memory=33500 CPUtime=2804.45 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 30542 0 0 0 280061 384 0 0 20 0 2 0 47926798 109363200 8375 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26700 8375 672 633 0 9837 0
[pid=52668/tid=52670] ppid=52665 vsize=106800 memory=7970956301589888880 CPUtime=1390.96 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6454 0 0 0 139001 95 0 0 20 0 2 0 47926798 109363200 8375 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2804.45 s
Current children cumulated vsize: 106800 KiB
Current children cumulated memory: 33500 KiB
[startup+1482.3 s]
/proc/loadavg: 7.98 7.95 7.81 9/268 52835
/proc/meminfo: memFree=127018344/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=107208 memory=33884 CPUtime=2922.09 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 31866 0 0 0 291811 398 0 0 20 0 2 0 47926798 109780992 8471 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26802 8471 672 633 0 9939 0
[pid=52668/tid=52670] ppid=52665 vsize=107208 memory=33756 CPUtime=1448.97 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6755 0 0 0 144798 99 0 0 20 0 2 0 47926798 109780992 8471 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 2922.09 s
Current children cumulated vsize: 107208 KiB
Current children cumulated memory: 33884 KiB
[startup+1542.3 s]
/proc/loadavg: 8.04 7.98 7.83 9/269 52838
/proc/meminfo: memFree=127012892/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=107364 memory=34140 CPUtime=3040.1 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 31906 0 0 0 303602 408 0 0 20 0 2 0 47926798 109940736 8535 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26841 8535 672 633 0 9978 0
[pid=52668/tid=52670] ppid=52665 vsize=107364 memory=34140 CPUtime=1507.37 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6756 0 0 0 150635 102 0 0 20 0 2 0 47926798 109940736 8535 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3040.1 s
Current children cumulated vsize: 107364 KiB
Current children cumulated memory: 34140 KiB
[startup+1602.3 s]
/proc/loadavg: 8.27 8.05 7.86 9/269 52840
/proc/meminfo: memFree=127020720/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=107804 memory=34524 CPUtime=3157.96 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 32856 0 0 0 315376 420 0 0 20 0 2 0 47926798 110391296 8631 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26951 8631 672 633 0 10088 0
[pid=52668/tid=52670] ppid=52665 vsize=107804 memory=34140 CPUtime=1565.62 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6967 0 0 0 156457 105 0 0 20 0 2 0 47926798 110391296 8631 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3157.96 s
Current children cumulated vsize: 107804 KiB
Current children cumulated memory: 34524 KiB
[startup+1662.3 s]
/proc/loadavg: 8.26 8.10 7.90 9/269 52887
/proc/meminfo: memFree=127029376/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=107936 memory=34652 CPUtime=3275.99 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 32910 0 0 0 327169 430 0 0 20 0 2 0 47926798 110526464 8663 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 26984 8663 672 633 0 10121 0
[pid=52668/tid=52670] ppid=52665 vsize=107936 memory=34140 CPUtime=1624 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 6969 0 0 0 162293 107 0 0 20 0 2 0 47926798 110526464 8663 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3275.99 s
Current children cumulated vsize: 107936 KiB
Current children cumulated memory: 34652 KiB
[startup+1722.3 s]
/proc/loadavg: 8.16 8.09 7.91 9/269 52889
/proc/meminfo: memFree=127031740/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=108232 memory=34908 CPUtime=3394.05 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 33440 0 0 0 338964 441 0 0 20 0 2 0 47926798 110829568 8727 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 27058 8727 672 633 0 10195 0
[pid=52668/tid=52670] ppid=52665 vsize=108232 memory=34140 CPUtime=1682.41 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 7095 0 0 0 168130 111 0 0 20 0 2 0 47926798 110829568 8727 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 108232 KiB
Current children cumulated memory: 34908 KiB
[startup+1782.3 s]
/proc/loadavg: 8.12 8.09 7.92 9/267 52891
/proc/meminfo: memFree=127031380/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=108520 memory=35164 CPUtime=3511.98 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 33526 0 0 0 350745 453 0 0 20 0 2 0 47926798 111124480 8791 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 27130 8791 672 633 0 10267 0
[pid=52668/tid=52670] ppid=52665 vsize=108520 memory=14692 CPUtime=1740.71 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 7096 0 0 0 173957 114 0 0 20 0 2 0 47926798 111124480 8791 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 108520 KiB
Current children cumulated memory: 35164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1827.11 s]
/proc/loadavg: 8.12 8.09 7.93 9/266 52893
/proc/meminfo: memFree=127031016/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=108684 memory=35292 CPUtime=3600.08 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 33564 0 0 0 359547 461 0 0 20 0 2 0 47926798 111292416 8823 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 27171 8823 672 633 0 10308 0
[pid=52668/tid=52670] ppid=52665 vsize=108684 memory=35292 CPUtime=1784.27 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 7096 0 0 0 178312 115 0 0 20 0 2 0 47926798 111292416 8823 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 108684 KiB
Current children cumulated memory: 35292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1827.12 s]
# the end of solver process 52668 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.5 s, system=4.61191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1827.11 s]
/proc/loadavg: 8.12 8.09 7.93 9/266 52893
/proc/meminfo: memFree=127031016/131249992 swapFree=33010684/33010684
[pid=52668] ppid=52665 vsize=108684 memory=35292 CPUtime=3600.08 cores=1,3
/proc/52668/stat : 52668 (pb_competition_) R 52665 52668 52060 0 -1 4194304 33564 0 0 0 359547 461 0 0 20 0 2 0 47926798 111292416 8823 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
/proc/52668/statm: 27171 8823 672 633 0 10308 0
[pid=52668/tid=52670] ppid=52665 vsize=108684 memory=35292 CPUtime=1784.27 cores=1,3
/proc/52668/task/52670/stat : 52670 (pb_competition_) R 52665 52668 52060 0 -1 4194368 7096 0 0 0 178312 115 0 0 20 0 2 0 47926798 111292416 8823 18446744073709551615 4198400 6788177 140734339482864 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 34476032 140734339492185 140734339492312 140734339492312 140734339497914 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 108684 KiB
Current children cumulated memory: 35292 KiB
Child status: 0
Real time (s): 1827.12
CPU time (s): 3600.11
CPU user time (s): 3595.5
CPU system time (s): 4.61191
CPU usage (%): 197.037
Max. virtual memory (cumulated for all children) (KiB): 108684
Max. memory (cumulated for all children) (KiB): 35292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.5
system time used= 4.61191
maximum resident set size= 35292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33944
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= 22374
involuntary context switches= 159001
# summary of solver processes directly reported to runsolver:
# pid: 52668
# total CPU time (s): 3600.11
# total CPU user time (s): 3595.5
# total CPU system time (s): 4.61191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55877 second user time and 7.45363 second system time
The end
Begin job on nodeC025 at 2025-07-01 00:28:00 IDJOB=4487526 IDBENCH=147195 IDSOLVER=3347 FILE ID=nodeC025/4487526-1751322480 RUNJOBID= nodeC025-1751318514-52072 SLURM_JOB_ID= 9594343 Free space on /tmp= 433048 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487526-1751322480/watcher-4487526-1751322480 -o /tmp/evaluation-result-4487526-1751322480/solver-4487526-1751322480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751318514-52072 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2047586205 HOME/instance-4487526-1751322480.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7051ff5e8584c37bae1654b406532f5e RANDOM SEED=2047586205 nodeC025 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.835 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.862 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.594 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.67 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 : 3600.026 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.67 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.842 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.67 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.67 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 : 3599.838 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.67 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 : 3599.852 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 127062276 kB MemAvailable: 129742820 kB Buffers: 3280 kB Cached: 3479448 kB SwapCached: 0 kB Active: 440960 kB Inactive: 3140396 kB Active(anon): 116712 kB Inactive(anon): 0 kB Active(file): 324248 kB Inactive(file): 3140396 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5180 kB Writeback: 12 kB AnonPages: 101740 kB Mapped: 111280 kB Shmem: 18084 kB KReclaimable: 110280 kB Slab: 198980 kB SReclaimable: 110280 kB SUnreclaim: 88700 kB KernelStack: 4256 kB PageTables: 3220 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 453148 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433044 MiB End job on nodeC025 at 2025-07-01 00:58:28