Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PRINTEMPS 2025-05-28 | MSAT (TO) | 3600.21 | 1823.91 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 70531ee5749151dad1953cdd0a25cead |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.051019 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 480 |
| Total number of constraints | 62 |
| Number of soft constraints | 62 |
| Number of constraints which are clauses | 32 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 16 |
| Top cost | 2961 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 2960 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 17 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.00 c #variable: 480 0.00/0.00 c #constraint: 62 0.00/0.00 c #equal: 0 0.00/0.00 c intsize: 5 0.00/0.00 c sizeproduct: 0 0.00/0.00 c #soft: 62 0.00/0.00 c mincost: 1 0.00/0.00 c maxcost: 97 0.00/0.00 c sumcost: 2960 0.00/0.00 c iteration_max: -1 0.00/0.00 c time_max: -1 0.00/0.00 c number_of_threads(move update): 2 0.00/0.00 c number_of_threads(move evaluation): 2 0.00/0.00 c seed: 716544472 0.00/0.01 o 124 0.00/0.01 o 20 0.00/0.01 o 13 0.00/0.01 o 8 3600.19/1823.90 s SATISFIABLE 3600.19/1823.90 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 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x48 -x480 -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 8
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63257 MiB free)
memory of node 1: 64465 MiB (63695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524622-1751616353/watcher-4524622-1751616353 -o /tmp/evaluation-result-4524622-1751616353/solver-4524622-1751616353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751616352-88508 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 716544472 HOME/instance-4524622-1751616353.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88557, runsolver pid=88547
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.06 1.48 2.38 9/257 88569
/proc/meminfo: memFree=129995652/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=78628 memory=4096 CPUtime=0.17 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 497 0 0 0 17 0 0 0 20 0 2 0 77314659 80515072 1024 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19657 1024 672 633 0 2521 0
[pid=88557/tid=88559] ppid=88547 vsize=78628 memory=4026532124 CPUtime=0.08 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 23 0 0 0 8 0 0 0 20 0 2 0 77314659 80515072 1024 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78628 KiB
Current children cumulated memory: 4096 KiB
[startup+0.216995 s]*
/proc/loadavg: 1.06 1.48 2.38 8/257 88569
/proc/meminfo: memFree=129995720/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=78788 memory=4352 CPUtime=0.35 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 573 0 0 0 35 0 0 0 20 0 2 0 77314659 80678912 1088 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19697 1088 672 633 0 2561 0
[pid=88557/tid=88559] ppid=88547 vsize=78788 memory=5983648042466672924 CPUtime=0.15 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 23 0 0 0 15 0 0 0 20 0 2 0 77314659 80678912 1088 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 78788 KiB
Current children cumulated memory: 4352 KiB
[startup+0.313227 s]*
/proc/loadavg: 1.06 1.48 2.38 9/257 88569
/proc/meminfo: memFree=129995720/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=78944 memory=4480 CPUtime=0.53 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 592 0 0 0 52 1 0 0 20 0 2 0 77314659 80838656 1120 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19736 1120 672 633 0 2600 0
[pid=88557/tid=88559] ppid=88547 vsize=78944 memory=7972079998279303023 CPUtime=0.24 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 23 0 0 0 24 0 0 0 20 0 2 0 77314659 80838656 1120 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 78944 KiB
Current children cumulated memory: 4480 KiB
[startup+0.700187 s]
/proc/loadavg: 1.06 1.48 2.38 8/257 88569
/proc/meminfo: memFree=129995468/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=78944 memory=4480 CPUtime=1.21 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 607 0 0 0 119 2 0 0 20 0 2 0 77314659 80838656 1120 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19736 1120 672 633 0 2600 0
[pid=88557/tid=88559] ppid=88547 vsize=78944 memory=14464 CPUtime=0.56 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 23 0 0 0 56 0 0 0 20 0 2 0 77314659 80838656 1120 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 78944 KiB
Current children cumulated memory: 4480 KiB
[startup+1.50015 s]
/proc/loadavg: 1.06 1.48 2.38 10/257 88569
/proc/meminfo: memFree=129994460/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79396 memory=4724 CPUtime=2.79 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 1187 0 0 0 273 6 0 0 20 0 2 0 77314659 81301504 1181 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19849 1181 672 633 0 2713 0
[pid=88557/tid=88559] ppid=88547 vsize=79396 memory=14464 CPUtime=1.34 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 103 0 0 0 133 1 0 0 20 0 2 0 77314659 81301504 1181 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 79396 KiB
Current children cumulated memory: 4724 KiB
[startup+3.10484 s]
/proc/loadavg: 1.06 1.48 2.38 10/257 88569
/proc/meminfo: memFree=130017392/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79528 memory=4852 CPUtime=5.98 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 1731 0 0 0 585 13 0 0 20 0 2 0 77314659 81436672 1213 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19882 1213 672 633 0 2746 0
[pid=88557/tid=88559] ppid=88547 vsize=79528 memory=14848 CPUtime=2.94 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 208 0 0 0 291 3 0 0 20 0 2 0 77314659 81436672 1213 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 4852 KiB
[startup+6.30011 s]
/proc/loadavg: 1.62 1.59 2.41 10/257 88569
/proc/meminfo: memFree=130017472/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79660 memory=4980 CPUtime=12.34 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 2278 0 0 0 1212 22 0 0 20 0 2 0 77314659 81571840 1245 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19915 1245 672 633 0 2779 0
[pid=88557/tid=88559] ppid=88547 vsize=79660 memory=4852 CPUtime=6.12 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 409 0 0 0 606 6 0 0 20 0 2 0 77314659 81571840 1245 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 79660 KiB
Current children cumulated memory: 4980 KiB
[startup+12.7001 s]
/proc/loadavg: 2.13 1.70 2.44 10/257 88569
/proc/meminfo: memFree=130015980/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79660 memory=5108 CPUtime=25.07 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 2760 0 0 0 2466 41 0 0 20 0 2 0 77314659 81571840 1277 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19915 1277 672 633 0 2779 0
[pid=88557/tid=88559] ppid=88547 vsize=79660 memory=7971517048325881455 CPUtime=12.49 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 636 0 0 0 1239 10 0 0 20 0 2 0 77314659 81571840 1277 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 79660 KiB
Current children cumulated memory: 5108 KiB
[startup+25.5001 s]
/proc/loadavg: 3.36 1.99 2.53 10/254 88569
/proc/meminfo: memFree=130013284/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79792 memory=5236 CPUtime=50.54 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 3351 0 0 0 4978 76 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19948 1309 672 633 0 2812 0
[pid=88557/tid=88559] ppid=88547 vsize=79792 memory=5236 CPUtime=25.22 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 885 0 0 0 2503 19 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 79792 KiB
Current children cumulated memory: 5236 KiB
[startup+51.1047 s]
/proc/loadavg: 4.88 2.46 2.67 10/254 88570
/proc/meminfo: memFree=130011908/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79792 memory=5236 CPUtime=101.47 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 4432 0 0 0 9997 150 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19948 1309 672 633 0 2812 0
[pid=88557/tid=88559] ppid=88547 vsize=79792 memory=14848 CPUtime=50.69 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 988 0 0 0 5033 36 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 101.47 s
Current children cumulated vsize: 79792 KiB
Current children cumulated memory: 5236 KiB
[startup+102.3 s]
/proc/loadavg: 6.55 3.29 2.94 9/255 88574
/proc/meminfo: memFree=130008148/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79792 memory=5236 CPUtime=203.31 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 5212 0 0 0 20039 292 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19948 1309 672 633 0 2812 0
[pid=88557/tid=88559] ppid=88547 vsize=79792 memory=14848 CPUtime=101.62 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 1359 0 0 0 10094 68 0 0 20 0 2 0 77314659 81707008 1309 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 203.31 s
Current children cumulated vsize: 79792 KiB
Current children cumulated memory: 5236 KiB
[startup+162.3 s]
/proc/loadavg: 7.23 4.07 3.23 10/256 88577
/proc/meminfo: memFree=130010068/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79792 memory=5364 CPUtime=322.65 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 5833 0 0 0 31811 454 0 0 20 0 2 0 77314659 81707008 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19948 1341 672 633 0 2812 0
[pid=88557/tid=88559] ppid=88547 vsize=79792 memory=5236 CPUtime=161.3 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 1544 0 0 0 16032 98 0 0 20 0 2 0 77314659 81707008 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 322.65 s
Current children cumulated vsize: 79792 KiB
Current children cumulated memory: 5364 KiB
[startup+222.3 s]
/proc/loadavg: 7.60 4.76 3.52 10/256 88579
/proc/meminfo: memFree=130005224/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79792 memory=5364 CPUtime=442.01 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 6330 0 0 0 43582 619 0 0 20 0 2 0 77314659 81707008 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19948 1341 672 633 0 2812 0
[pid=88557/tid=88559] ppid=88547 vsize=79792 memory=5364 CPUtime=220.97 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 1727 0 0 0 21965 132 0 0 20 0 2 0 77314659 81707008 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 442.01 s
Current children cumulated vsize: 79792 KiB
Current children cumulated memory: 5364 KiB
[startup+282.3 s]
/proc/loadavg: 7.72 5.32 3.80 10/256 88581
/proc/meminfo: memFree=130005544/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=79924 memory=5364 CPUtime=561.33 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 6805 0 0 0 55357 776 0 0 20 0 2 0 77314659 81842176 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 19981 1341 672 633 0 2845 0
[pid=88557/tid=88559] ppid=88547 vsize=79924 memory=5364 CPUtime=280.63 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 1770 0 0 0 27900 163 0 0 20 0 2 0 77314659 81842176 1341 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 561.33 s
Current children cumulated vsize: 79924 KiB
################
# More data... #
################
/proc/meminfo: memFree=129989124/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5760 CPUtime=2459.67 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 10477 0 0 0 242911 3056 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1440 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=5760 CPUtime=1224.2 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 2833 0 0 0 121824 596 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2459.67 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5760 KiB
[startup+1302.3 s]
/proc/loadavg: 7.67 7.68 6.48 10/254 88631
/proc/meminfo: memFree=129988916/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5760 CPUtime=2577.61 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 11233 0 0 0 254573 3188 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1440 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=5760 CPUtime=1282.47 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3096 0 0 0 127630 617 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2577.61 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5760 KiB
[startup+1362.3 s]
/proc/loadavg: 7.83 7.74 6.58 10/254 88633
/proc/meminfo: memFree=129988184/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5760 CPUtime=2695.51 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 11991 0 0 0 266232 3319 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1440 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=5760 CPUtime=1340.69 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3126 0 0 0 133428 641 0 0 20 0 2 0 77314659 82776064 1440 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2695.51 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5760 KiB
[startup+1422.3 s]
/proc/loadavg: 7.88 7.77 6.67 9/254 88635
/proc/meminfo: memFree=129987048/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5888 CPUtime=2813.28 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 12755 0 0 0 277882 3446 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1472 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=5760 CPUtime=1398.79 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3374 0 0 0 139219 660 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2813.28 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5888 KiB
[startup+1482.3 s]
/proc/loadavg: 7.77 7.77 6.74 10/254 88637
/proc/meminfo: memFree=129986424/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5888 CPUtime=2931.03 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 13521 0 0 0 289520 3583 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1472 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=5888 CPUtime=1456.88 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3509 0 0 0 145004 684 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 2931.03 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5888 KiB
[startup+1542.3 s]
/proc/loadavg: 7.67 7.73 6.79 10/254 88639
/proc/meminfo: memFree=129985468/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5888 CPUtime=3048.71 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 13531 0 0 0 301153 3718 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1472 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=14848 CPUtime=1514.89 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3509 0 0 0 150780 709 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3048.71 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5888 KiB
[startup+1602.3 s]
/proc/loadavg: 7.92 7.79 6.87 10/254 88641
/proc/meminfo: memFree=129984268/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80836 memory=5888 CPUtime=3166.29 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 14310 0 0 0 312780 3849 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20209 1472 672 633 0 3073 0
[pid=88557/tid=88559] ppid=88547 vsize=80836 memory=14848 CPUtime=1572.78 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3657 0 0 0 156551 727 0 0 20 0 2 0 77314659 82776064 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3166.29 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 5888 KiB
[startup+1662.3 s]
/proc/loadavg: 7.71 7.75 6.92 10/254 88643
/proc/meminfo: memFree=129983616/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80968 memory=5888 CPUtime=3283.82 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 14324 0 0 0 324404 3978 0 0 20 0 2 0 77314659 82911232 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20242 1472 672 633 0 3106 0
[pid=88557/tid=88559] ppid=88547 vsize=80968 memory=5888 CPUtime=1630.64 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3657 0 0 0 162315 749 0 0 20 0 2 0 77314659 82911232 1472 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3283.82 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 5888 KiB
[startup+1722.3 s]
/proc/loadavg: 7.88 7.80 6.99 9/254 88645
/proc/meminfo: memFree=129982488/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80968 memory=6016 CPUtime=3401.31 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 14331 0 0 0 336022 4109 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20242 1504 672 633 0 3106 0
[pid=88557/tid=88559] ppid=88547 vsize=80968 memory=5888 CPUtime=1688.47 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3657 0 0 0 168074 773 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3401.31 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 6016 KiB
[startup+1782.3 s]
/proc/loadavg: 7.96 7.84 7.05 10/254 88647
/proc/meminfo: memFree=129982464/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80968 memory=6016 CPUtime=3518.79 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 15122 0 0 0 347645 4234 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20242 1504 672 633 0 3106 0
[pid=88557/tid=88559] ppid=88547 vsize=80968 memory=6016 CPUtime=1746.29 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3966 0 0 0 173836 793 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3518.79 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 6016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1823.9 s]
/proc/loadavg: 7.98 7.86 7.10 10/254 88652
/proc/meminfo: memFree=129991220/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80968 memory=6016 CPUtime=3600.19 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 15127 0 0 0 355696 4323 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20242 1504 672 633 0 3106 0
[pid=88557/tid=88559] ppid=88547 vsize=80968 memory=6016 CPUtime=1786.31 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3966 0 0 0 177823 808 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 6016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1823.91 s]
# the end of solver process 88557 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.98 s, system=43.2321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1823.9 s]
/proc/loadavg: 7.98 7.86 7.10 10/254 88652
/proc/meminfo: memFree=129991220/131382112 swapFree=33002444/33010684
[pid=88557] ppid=88547 vsize=80968 memory=6016 CPUtime=3600.19 cores=5,7
/proc/88557/stat : 88557 (pb_competition_) R 88547 88557 87502 0 -1 4194304 15127 0 0 0 355696 4323 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
/proc/88557/statm: 20242 1504 672 633 0 3106 0
[pid=88557/tid=88559] ppid=88547 vsize=80968 memory=6016 CPUtime=1786.31 cores=5,7
/proc/88557/task/88559/stat : 88559 (pb_competition_) R 88547 88557 87502 0 -1 4194368 3966 0 0 0 177823 808 0 0 20 0 2 0 77314659 82911232 1504 18446744073709551615 4198400 6788177 140731482053744 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 38899712 140731482061144 140731482061270 140731482061270 140731482066874 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 6016 KiB
Child status: 0
Real time (s): 1823.91
CPU time (s): 3600.21
CPU user time (s): 3556.98
CPU system time (s): 43.2321
CPU usage (%): 197.39
Max. virtual memory (cumulated for all children) (KiB): 80968
Max. memory (cumulated for all children) (KiB): 6016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.98
system time used= 43.2321
maximum resident set size= 6260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15192
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= 162737
involuntary context switches= 69671
# summary of solver processes directly reported to runsolver:
# pid: 88557
# total CPU time (s): 3600.21
# total CPU user time (s): 3556.98
# total CPU system time (s): 43.2321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.25411 second user time and 6.37524 second system time
The end
Begin job on nodeC005 at 2025-07-04 10:05:53 IDJOB=4524622 IDBENCH=143142 IDSOLVER=3379 FILE ID=nodeC005/4524622-1751616353 RUNJOBID= nodeC005-1751616352-88508 SLURM_JOB_ID= 9598896 Free space on /tmp= 429488 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo 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-4524622-1751616353/watcher-4524622-1751616353 -o /tmp/evaluation-result-4524622-1751616353/solver-4524622-1751616353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751616352-88508 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 716544472 HOME/instance-4524622-1751616353.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 70531ee5749151dad1953cdd0a25cead RANDOM SEED=716544472 nodeC005 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.240 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.761 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.388 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.239 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.383 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.457 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.715 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 130000928 kB MemAvailable: 129892496 kB Buffers: 12 kB Cached: 678972 kB SwapCached: 240 kB Active: 318720 kB Inactive: 423972 kB Active(anon): 35752 kB Inactive(anon): 40824 kB Active(file): 282968 kB Inactive(file): 383148 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33002444 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20756 kB Writeback: 8 kB AnonPages: 66572 kB Mapped: 98196 kB Shmem: 12868 kB KReclaimable: 130160 kB Slab: 216380 kB SReclaimable: 130160 kB SUnreclaim: 86220 kB KernelStack: 3824 kB PageTables: 2784 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 339500 kB VmallocTotal: 34359738367 kB VmallocUsed: 149240 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429468 MiB End job on nodeC005 at 2025-07-04 10:36:17