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.19 | 1855.82 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo |
| MD5SUM | 51383473035946e98f28657b2920aa2c |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 0.047431 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 500 |
| Total number of constraints | 45 |
| Number of soft constraints | 45 |
| Number of constraints which are clauses | 25 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 25 |
| Top cost | 1950 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 1949 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| 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: 500 0.00/0.00 c #constraint: 45 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: 45 0.00/0.00 c mincost: 1 0.00/0.00 c maxcost: 99 0.00/0.00 c sumcost: 1949 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: 1780564274 0.00/0.00 o 158 0.00/0.00 o 80 0.00/0.01 o 17 0.00/0.02 o 4 3600.17/1855.80 s SATISFIABLE 3600.17/1855.80 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 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -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 4
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 (63029 MiB free)
memory of node 1: 64465 MiB (63581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524694-1751616901/watcher-4524694-1751616901 -o /tmp/evaluation-result-4524694-1751616901/solver-4524694-1751616901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86962 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524694-1751616901.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87324, runsolver pid=87321
[startup+0.100068 s]*
/proc/loadavg: 5.58 5.30 4.94 7/254 87326
/proc/meminfo: memFree=129649380/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=78576 memory=3968 CPUtime=0.17 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 480 0 0 0 17 0 0 0 20 0 2 0 77369197 80461824 992 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19644 992 672 633 0 2508 0
[pid=87324/tid=87326] ppid=87321 vsize=78576 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 26 0 0 0 7 0 0 0 20 0 2 0 77369198 80461824 992 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78576 KiB
Current children cumulated memory: 3968 KiB
[startup+0.216015 s]*
/proc/loadavg: 5.58 5.30 4.94 8/254 87326
/proc/meminfo: memFree=129649380/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=78736 memory=4188 CPUtime=0.36 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 549 0 0 0 35 1 0 0 20 0 2 0 77369197 80625664 1047 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19684 1047 672 633 0 2548 0
[pid=87324/tid=87326] ppid=87321 vsize=78736 memory=664958721904869660 CPUtime=0.16 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) S 87321 87324 86557 0 -1 4194368 26 0 0 0 16 0 0 0 20 0 2 0 77369198 80625664 1047 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 78736 KiB
Current children cumulated memory: 4188 KiB
[startup+0.312341 s]*
/proc/loadavg: 5.58 5.30 4.94 8/254 87326
/proc/meminfo: memFree=129649380/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=78868 memory=4316 CPUtime=0.52 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 590 0 0 0 51 1 0 0 20 0 2 0 77369197 80760832 1079 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19717 1079 672 633 0 2581 0
[pid=87324/tid=87326] ppid=87321 vsize=78868 memory=7969825990835452781 CPUtime=0.24 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) S 87321 87324 86557 0 -1 4194368 26 0 0 0 24 0 0 0 20 0 2 0 77369198 80760832 1079 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 78868 KiB
Current children cumulated memory: 4316 KiB
[startup+0.70019 s]
/proc/loadavg: 5.58 5.30 4.94 8/254 87326
/proc/meminfo: memFree=129649380/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=79000 memory=4444 CPUtime=1.2 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 615 0 0 0 117 3 0 0 20 0 2 0 77369197 80896000 1111 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19750 1111 672 633 0 2614 0
[pid=87324/tid=87326] ppid=87321 vsize=79000 memory=18432 CPUtime=0.56 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 26 0 0 0 56 0 0 0 20 0 2 0 77369198 80896000 1111 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 79000 KiB
Current children cumulated memory: 4444 KiB
[startup+1.50016 s]
/proc/loadavg: 5.58 5.30 4.94 8/254 87326
/proc/meminfo: memFree=129649380/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=79452 memory=4612 CPUtime=2.78 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 1171 0 0 0 272 6 0 0 20 0 2 0 77369197 81358848 1153 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19863 1153 672 633 0 2727 0
[pid=87324/tid=87326] ppid=87321 vsize=79452 memory=18432 CPUtime=1.35 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 167 0 0 0 135 0 0 0 20 0 2 0 77369198 81358848 1153 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 4612 KiB
[startup+3.10486 s]
/proc/loadavg: 5.77 5.34 4.95 8/254 87326
/proc/meminfo: memFree=129649788/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=79588 memory=4868 CPUtime=5.96 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 1749 0 0 0 585 11 0 0 20 0 2 0 77369197 81498112 1217 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19897 1217 672 633 0 2761 0
[pid=87324/tid=87326] ppid=87321 vsize=79588 memory=4612 CPUtime=2.95 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 289 0 0 0 294 1 0 0 20 0 2 0 77369198 81498112 1217 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 79588 KiB
Current children cumulated memory: 4868 KiB
[startup+6.30013 s]
/proc/loadavg: 5.77 5.34 4.95 8/254 87326
/proc/meminfo: memFree=129649716/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=79720 memory=5124 CPUtime=12.3 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 2377 0 0 0 1212 18 0 0 20 0 2 0 77369197 81633280 1281 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 19930 1281 672 633 0 2794 0
[pid=87324/tid=87326] ppid=87321 vsize=79720 memory=18432 CPUtime=6.12 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 568 0 0 0 609 3 0 0 20 0 2 0 77369198 81633280 1281 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 79720 KiB
Current children cumulated memory: 5124 KiB
[startup+12.7001 s]
/proc/loadavg: 5.87 5.37 4.96 8/254 87326
/proc/meminfo: memFree=129649756/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80492 memory=5424 CPUtime=24.98 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 2621 0 0 0 2465 33 0 0 20 0 2 0 77369197 82423808 1356 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20123 1356 672 633 0 2987 0
[pid=87324/tid=87326] ppid=87321 vsize=80492 memory=5380 CPUtime=12.43 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 570 0 0 0 1236 7 0 0 20 0 2 0 77369198 82423808 1356 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 24.98 s
Current children cumulated vsize: 80492 KiB
Current children cumulated memory: 5424 KiB
[startup+25.5002 s]
/proc/loadavg: 6.12 5.45 5.00 8/254 87326
/proc/meminfo: memFree=129649612/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80624 memory=5680 CPUtime=50.17 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 3307 0 0 0 4954 63 0 0 20 0 2 0 77369197 82558976 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20156 1420 672 633 0 3020 0
[pid=87324/tid=87326] ppid=87321 vsize=80624 memory=5552 CPUtime=24.91 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 872 0 0 0 2474 17 0 0 20 0 2 0 77369198 82558976 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 50.17 s
Current children cumulated vsize: 80624 KiB
Current children cumulated memory: 5680 KiB
[startup+51.105 s]
/proc/loadavg: 6.29 5.54 5.04 7/254 87327
/proc/meminfo: memFree=129648720/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80756 memory=5680 CPUtime=100.34 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 5242 0 0 0 9917 117 0 0 20 0 2 0 77369197 82694144 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20189 1420 672 633 0 3053 0
[pid=87324/tid=87326] ppid=87321 vsize=80756 memory=18432 CPUtime=49.65 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 1686 0 0 0 4933 32 0 0 20 0 2 0 77369198 82694144 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 100.34 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 5680 KiB
[startup+102.3 s]
/proc/loadavg: 6.31 5.66 5.11 8/254 87328
/proc/meminfo: memFree=129650052/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80756 memory=5680 CPUtime=200.56 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 6735 0 0 0 19836 220 0 0 20 0 2 0 77369197 82694144 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20189 1420 672 633 0 3053 0
[pid=87324/tid=87326] ppid=87321 vsize=80756 memory=18432 CPUtime=99.06 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 2142 0 0 0 9843 63 0 0 20 0 2 0 77369198 82694144 1420 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 200.56 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 5680 KiB
[startup+162.3 s]
/proc/loadavg: 6.57 5.85 5.21 8/254 87330
/proc/meminfo: memFree=129648328/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80756 memory=5936 CPUtime=317.9 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 7295 0 0 0 31447 343 0 0 20 0 2 0 77369197 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20189 1484 672 633 0 3053 0
[pid=87324/tid=87326] ppid=87321 vsize=80756 memory=5936 CPUtime=156.81 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 2425 0 0 0 15580 101 0 0 20 0 2 0 77369198 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 317.9 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 5936 KiB
[startup+222.3 s]
/proc/loadavg: 6.85 6.06 5.33 6/254 87332
/proc/meminfo: memFree=129647544/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80756 memory=5936 CPUtime=435.15 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 7524 0 0 0 43046 469 0 0 20 0 2 0 77369197 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20189 1484 672 633 0 3053 0
[pid=87324/tid=87326] ppid=87321 vsize=80756 memory=18432 CPUtime=214.51 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 2532 0 0 0 21313 138 0 0 20 0 2 0 77369198 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 435.15 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 5936 KiB
[startup+282.3 s]
/proc/loadavg: 6.71 6.15 5.40 7/253 87336
/proc/meminfo: memFree=129649172/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=80756 memory=5936 CPUtime=552.38 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 8842 0 0 0 54647 591 0 0 20 0 2 0 77369197 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20189 1484 672 633 0 3053 0
[pid=87324/tid=87326] ppid=87321 vsize=80756 memory=5936 CPUtime=272.19 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) S 87321 87324 86557 0 -1 4194368 3127 0 0 0 27045 174 0 0 20 0 2 0 77369198 82694144 1484 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 552.38 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 5936 KiB
################
# More data... #
################
/proc/meminfo: memFree=129738812/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81152 memory=6448 CPUtime=2417.4 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 13073 0 0 0 239353 2387 0 0 20 0 2 0 77369197 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20288 1612 672 633 0 3152 0
[pid=87324/tid=87326] ppid=87321 vsize=81152 memory=6448 CPUtime=1184.05 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4368 0 0 0 117702 703 0 0 20 0 2 0 77369198 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2417.4 s
Current children cumulated vsize: 81152 KiB
Current children cumulated memory: 6448 KiB
[startup+1302.3 s]
/proc/loadavg: 7.45 7.41 6.76 8/254 87430
/proc/meminfo: memFree=129738736/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81152 memory=6448 CPUtime=2533.33 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 13080 0 0 0 250837 2496 0 0 20 0 2 0 77369197 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20288 1612 672 633 0 3152 0
[pid=87324/tid=87326] ppid=87321 vsize=81152 memory=6448 CPUtime=1240.41 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4368 0 0 0 123314 727 0 0 20 0 2 0 77369198 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2533.33 s
Current children cumulated vsize: 81152 KiB
Current children cumulated memory: 6448 KiB
[startup+1362.3 s]
/proc/loadavg: 7.22 7.36 6.79 8/254 87432
/proc/meminfo: memFree=129738432/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81152 memory=6448 CPUtime=2649.19 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 14001 0 0 0 262326 2593 0 0 20 0 2 0 77369197 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20288 1612 672 633 0 3152 0
[pid=87324/tid=87326] ppid=87321 vsize=81152 memory=6448 CPUtime=1296.7 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) S 87321 87324 86557 0 -1 4194368 4544 0 0 0 128917 753 0 0 20 0 2 0 77369198 83099648 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2649.19 s
Current children cumulated vsize: 81152 KiB
Current children cumulated memory: 6448 KiB
[startup+1422.3 s]
/proc/loadavg: 7.39 7.39 6.83 7/255 87435
/proc/meminfo: memFree=129738080/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6448 CPUtime=2764.97 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 14008 0 0 0 273797 2700 0 0 20 0 2 0 77369197 83238912 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1612 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6448 CPUtime=1352.91 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4544 0 0 0 134512 779 0 0 20 0 2 0 77369198 83238912 1612 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2764.97 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6448 KiB
[startup+1482.3 s]
/proc/loadavg: 6.97 7.28 6.83 9/255 87484
/proc/meminfo: memFree=129746348/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6576 CPUtime=2880.62 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 14923 0 0 0 285270 2792 0 0 20 0 2 0 77369197 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1644 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6448 CPUtime=1409.02 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4710 0 0 0 140101 801 0 0 20 0 2 0 77369198 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2880.62 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6576 KiB
[startup+1542.3 s]
/proc/loadavg: 7.47 7.35 6.89 9/254 87486
/proc/meminfo: memFree=129754220/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6576 CPUtime=2996.25 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 14937 0 0 0 296733 2892 0 0 20 0 2 0 77369197 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1644 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6576 CPUtime=1465.06 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4710 0 0 0 145680 826 0 0 20 0 2 0 77369198 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 2996.25 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6576 KiB
[startup+1602.3 s]
/proc/loadavg: 7.81 7.47 6.96 9/254 87488
/proc/meminfo: memFree=129756112/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6576 CPUtime=3111.88 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 14948 0 0 0 308196 2992 0 0 20 0 2 0 77369197 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1644 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6576 CPUtime=1521.1 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4710 0 0 0 151263 847 0 0 20 0 2 0 77369198 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3111.88 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6576 KiB
[startup+1662.3 s]
/proc/loadavg: 7.79 7.53 7.01 9/254 87490
/proc/meminfo: memFree=129744520/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6576 CPUtime=3227.42 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 15901 0 0 0 319648 3094 0 0 20 0 2 0 77369197 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1644 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6576 CPUtime=1577.09 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4916 0 0 0 156835 874 0 0 20 0 2 0 77369198 83238912 1644 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3227.42 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6576 KiB
[startup+1722.3 s]
/proc/loadavg: 7.86 7.60 7.07 9/255 87498
/proc/meminfo: memFree=129744740/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6704 CPUtime=3342.93 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 15906 0 0 0 331101 3192 0 0 20 0 2 0 77369197 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1676 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6576 CPUtime=1633.06 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 4916 0 0 0 162407 899 0 0 20 0 2 0 77369198 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3342.93 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6704 KiB
[startup+1782.3 s]
/proc/loadavg: 7.75 7.62 7.11 9/255 87500
/proc/meminfo: memFree=129745672/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6704 CPUtime=3458.35 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 16854 0 0 0 342547 3288 0 0 20 0 2 0 77369197 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1676 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6704 CPUtime=1688.93 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 5088 0 0 0 167970 923 0 0 20 0 2 0 77369198 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3458.35 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6704 KiB
[startup+1842.3 s]
/proc/loadavg: 7.83 7.67 7.16 9/255 87547
/proc/meminfo: memFree=129750328/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81288 memory=6704 CPUtime=3574.06 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 16874 0 0 0 354023 3383 0 0 20 0 2 0 77369197 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20322 1676 672 633 0 3186 0
[pid=87324/tid=87326] ppid=87321 vsize=81288 memory=6704 CPUtime=1745 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 5089 0 0 0 173554 946 0 0 20 0 2 0 77369198 83238912 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 81288 KiB
Current children cumulated memory: 6704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1855.8 s]
/proc/loadavg: 7.95 7.70 7.18 9/255 87547
/proc/meminfo: memFree=129751840/131382120 swapFree=33010160/33010684
[pid=87324] ppid=87321 vsize=81420 memory=6704 CPUtime=3600.17 cores=4,6
/proc/87324/stat : 87324 (pb_competition_) R 87321 87324 86557 0 -1 4194304 16876 0 0 0 356612 3405 0 0 20 0 2 0 77369197 83374080 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
/proc/87324/statm: 20355 1676 672 633 0 3219 0
[pid=87324/tid=87326] ppid=87321 vsize=81420 memory=7969825990835452781 CPUtime=1757.68 cores=4,6
/proc/87324/task/87326/stat : 87326 (pb_competition_) R 87321 87324 86557 0 -1 4194368 5089 0 0 0 174817 951 0 0 20 0 2 0 77369198 83374080 1676 18446744073709551615 4198400 6788177 140735144679536 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 19959808 140735144687959 140735144688086 140735144688086 140735144693690 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 81420 KiB
Current children cumulated memory: 6704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1855.82 s]
# the end of solver process 87324 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3566.13 s, system=34.0534 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1855.82
CPU time (s): 3600.19
CPU user time (s): 3566.13
CPU system time (s): 34.0534
CPU usage (%): 193.995
Max. virtual memory (cumulated for all children) (KiB): 81420
Max. memory (cumulated for all children) (KiB): 6704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.13
system time used= 34.0534
maximum resident set size= 6704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16938
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= 145373
involuntary context switches= 40465
# summary of solver processes directly reported to runsolver:
# pid: 87324
# total CPU time (s): 3600.19
# total CPU user time (s): 3566.13
# total CPU system time (s): 34.0534
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19399 second user time and 7.59453 second system time
The end
Begin job on nodeC008 at 2025-07-04 10:15:01 IDJOB=4524694 IDBENCH=143162 IDSOLVER=3379 FILE ID=nodeC008/4524694-1751616901 RUNJOBID= nodeC008-1751613687-86962 SLURM_JOB_ID= 9598907 Free space on /tmp= 432800 MiB SOLVER NAME= PRINTEMPS 2025-05-28 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20--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-4524694-1751616901/watcher-4524694-1751616901 -o /tmp/evaluation-result-4524694-1751616901/solver-4524694-1751616901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86962 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524694-1751616901.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51383473035946e98f28657b2920aa2c RANDOM SEED=1780564274 nodeC008 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 : 3491.657 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.72 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 : 3492.004 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.72 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 : 3591.665 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.72 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.497 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.72 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 : 3292.333 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.72 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 : 3591.503 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.72 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.365 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.72 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 : 3491.926 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.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129649812 kB MemAvailable: 129797512 kB Buffers: 2128 kB Cached: 941912 kB SwapCached: 16 kB Active: 735336 kB Inactive: 421008 kB Active(anon): 195876 kB Inactive(anon): 34348 kB Active(file): 539460 kB Inactive(file): 386660 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 5208 kB Writeback: 0 kB AnonPages: 215416 kB Mapped: 111856 kB Shmem: 17920 kB KReclaimable: 122412 kB Slab: 207520 kB SReclaimable: 122412 kB SUnreclaim: 85108 kB KernelStack: 4112 kB PageTables: 3388 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 570064 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432796 MiB End job on nodeC008 at 2025-07-04 10:45:57