Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_dombreaking 2025-06-16 | MSAT (TO) | 3600.18 | 3611.39 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo |
| MD5SUM | 249b0b6133e523d403961c26ec3d3249 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 132538 |
| Best CPU time to get the best result obtained on this benchmark | 3.71193 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 280 |
| Total number of constraints | 49254 |
| Number of soft constraints | 49240 |
| Number of constraints which are clauses | 49240 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Top cost | 38275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 3660538699 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| 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 |
358.73/360.63 o 25058685 358.73/360.68 o 1622021 358.83/360.73 o 1621921 358.83/360.79 o 1621920 358.94/360.83 o 242230 439.40/441.59 o 234831 505.81/508.10 o 234830 532.83/535.20 o 234829 548.99/551.44 o 234793 548.99/551.47 o 234792 549.09/551.50 o 234791 549.09/551.53 o 234790 549.09/551.56 o 234789 549.09/551.59 o 234788 549.19/551.62 o 234787 549.19/551.64 o 234786 549.19/551.67 o 234785 549.29/551.70 o 234784 549.29/551.73 o 234783 549.29/551.76 o 234782 549.29/551.79 o 234781 549.38/551.82 o 234780 549.38/551.84 o 234779 549.38/551.87 o 234778 549.48/551.90 o 234777 549.48/551.93 o 234776 549.48/551.96 o 234775 549.48/551.99 o 234774 549.59/552.01 o 234773 549.59/552.04 o 234772 549.59/552.07 o 234771 549.59/552.10 o 234671 549.69/552.13 o 234571 549.69/552.16 o 234471 549.69/552.18 o 234371 549.78/552.21 o 234370 549.78/552.24 o 234369 549.78/552.27 o 234368 549.78/552.29 o 234367 549.88/552.33 o 234366 549.88/552.36 o 234365 549.88/552.38 o 234364 549.98/552.41 o 234363 549.98/552.44 o 234362 549.98/552.46 o 234361 549.98/552.49 o 234360 550.08/552.52 o 234359 550.08/552.54 o 234358 550.08/552.57 o 234357 550.18/552.60 o 234356 550.18/552.63 o 234355 550.18/552.65 o 234354 550.18/552.68 o 234353 550.28/552.71 o 234253 550.28/552.73 o 234252 550.28/552.76 o 234251 550.28/552.79 o 234250 550.38/552.81 o 234249 550.38/552.84 o 234149 550.38/552.87 o 234049 550.38/552.89 o 233949 550.48/552.92 o 233849 550.48/552.95 o 233749 550.48/552.98 o 233649 550.59/553.00 o 233648 550.59/553.03 o 233647 550.59/553.05 o 233547 550.59/553.08 o 233447 550.69/553.11 o 233446 550.69/553.13 o 233445 550.69/553.16 o 233444 550.78/553.20 o 233443 550.78/553.23 o 233442 550.78/553.26 o 233441 550.78/553.28 o 233440 550.88/553.31 o 233439 550.88/553.33 o 233438 550.88/553.36 o 233437 550.88/553.38 o 233436 550.98/553.41 o 233435 550.98/553.43 o 233434 550.98/553.46 o 233433 550.98/553.48 o 233432 551.08/553.51 o 233431 551.08/553.54 o 233430 551.08/553.56 o 233429 551.08/553.59 o 233428 551.18/553.61 o 233427 551.18/553.64 o 233426 551.18/553.66 o 233425 551.18/553.68 o 233424 551.28/553.71 o 233423 551.28/553.73 o 233422 551.28/553.76 o 233421 551.28/553.78 o 233420 551.38/553.81 o 233419 551.38/553.83 o 233418 551.38/553.86 o 233417 551.38/553.88 o 233416 551.48/553.90 o 233415 551.48/553.93 o 233414 551.48/553.95 o 233413 551.48/553.98 o 233412 551.48/554.00 o 233411 551.59/554.02 o 233410 551.59/554.05 o 233409 551.59/554.07 o 233408 551.59/554.10 o 233407 551.69/554.12 o 233406 551.69/554.14 o 233405 551.69/554.17 o 233305 551.69/554.19 o 233205 551.78/554.22 o 233105 551.78/554.24 o 233005 551.78/554.27 o 232905 551.78/554.29 o 232805 551.88/554.32 o 232705 551.88/554.34 o 232704 551.88/554.37 o 232703 551.88/554.39 o 232702 551.98/554.41 o 232701 551.98/554.44 o 232700 551.98/554.46 o 232699 551.98/554.48 o 232698 552.08/554.51 o 232697 552.08/554.53 o 232696 552.08/554.55 o 232596 552.08/554.58 o 232496 552.18/554.60 o 232495 552.18/554.62 o 232395 552.18/554.65 o 232394 552.18/554.67 o 232393 552.18/554.69 o 232392 552.28/554.72 o 232391 552.28/554.74 o 232390 552.38/554.80 o 232389 552.38/554.82 o 232388 552.38/554.85 o 232387 552.38/554.87 o 232386 552.38/554.89 o 232385 552.48/554.92 o 232384 552.48/554.94 o 232383 552.48/554.96 o 232382 552.48/554.98 o 232381 552.58/555.01 o 232380 552.58/555.03 o 232379 552.58/555.05 o 232378 552.58/555.08 o 232377 552.58/555.10 o 232376 552.68/555.12 o 232375 552.68/555.14 o 232374 552.68/555.17 o 232373 552.68/555.19 o 232372 552.77/555.21 o 232371 552.77/555.23 o 232370 552.77/555.25 o 232369 552.77/555.28 o 232368 552.87/555.30 o 232367 552.87/555.32 o 232366 552.87/555.34 o 232365 552.87/555.37 o 232364 552.87/555.39 o 232363 552.97/555.41 o 232362 552.97/555.43 o 232361 552.97/555.45 o 232360 552.97/555.48 o 232359 553.07/555.50 o 232358 553.07/555.52 o 232357 553.07/555.54 o 232356 553.07/555.56 o 232355 553.07/555.59 o 232255 553.17/555.61 o 232254 553.17/555.63 o 232253 553.17/555.65 o 232252 553.17/555.67 o 232251 553.17/555.69 o 232151 553.27/555.71 o 232150 553.27/555.74 o 232050 553.27/555.76 o 232049 553.27/555.78 o 232048 553.37/555.80 o 232047 553.37/555.82 o 232046 553.37/555.84 o 231946 553.37/555.86 o 231945 553.37/555.88 o 231944 553.47/555.90 o 231943 553.47/555.93 o 231843 553.47/555.95 o 231842 553.47/555.97 o 231742 553.47/555.99 o 231741 553.58/556.01 o 231641 559.26/561.79 o 231640 586.88/589.44 o 231639 586.88/589.47 o 231638 586.88/589.49 o 231637 586.98/589.52 o 231636 586.98/589.55 o 231635 586.98/589.58 o 231634 587.08/589.60 o 231534 587.08/589.63 o 231434 587.08/589.66 o 231433 587.08/589.69 o 231333 587.18/589.72 o 231233 587.18/589.75 o 231133 587.18/589.78 o 231132 587.28/589.80 o 231131 587.28/589.83 o 231130 587.28/589.86 o 231129 587.28/589.89 o 231128 587.38/589.92 o 231127 587.38/589.94 o 231126 587.38/589.97 o 231125 587.38/590.00 o 231025 587.48/590.03 o 231024 587.48/590.05 o 231023 587.48/590.08 o 231022 587.58/590.11 o 231021 587.58/590.14 o 231020 587.58/590.16 o 231019 587.58/590.19 o 231018 587.68/590.22 o 231017 587.68/590.24 o 231016 587.68/590.27 o 231015 587.78/590.30 o 230915 587.78/590.33 o 230815 587.78/590.36 o 230715 587.78/590.39 o 230615 587.87/590.41 o 230515 587.87/590.44 o 230514 587.87/590.47 o 230414 587.97/590.50 o 230413 587.97/590.52 o 230412 587.97/590.55 o 230411 587.97/590.58 o 230311 588.07/590.60 o 230310 588.07/590.63 o 230309 588.07/590.66 o 230308 588.07/590.68 o 230307 588.17/590.71 o 230306 588.17/590.74 o 230206 588.17/590.77 o 230205 588.17/590.79 o 230204 588.27/590.82 o 230203 588.27/590.85 o 230202 588.27/590.87 o 230201 588.37/590.90 o 230200 588.37/590.92 o 230199 588.37/590.95 o 230198 588.37/590.98 o 230197 588.48/591.00 o 230196 588.48/591.03 o 230195 588.48/591.06 o 230194 588.48/591.08 o 230193 588.58/591.11 o 230093 588.58/591.14 o 229993 588.58/591.17 o 229893 588.58/591.19 o 229793 588.67/591.22 o 229792 588.67/591.25 o 229692 588.67/591.27 o 229691 588.77/591.30 o 229591 588.77/591.33 o 229491 588.77/591.36 o 229490 588.77/591.38 o 229489 588.87/591.41 o 229389 588.87/591.43 o 229388 588.87/591.46 o 229288 588.87/591.49 o 229188 588.97/591.52 o 229088 588.97/591.54 o 229087 588.97/591.57 o 228987 588.97/591.60 o 228887 589.07/591.62 o 228787 589.07/591.65 o 228687 589.07/591.68 o 228587 589.17/591.70 o 228487 589.17/591.73 o 228486 589.17/591.76 o 228386 589.17/591.78 o 228286 589.27/591.81 o 228186 589.27/591.84 o 228086 589.27/591.86 o 228085 589.27/591.89 o 227985 589.37/591.92 o 227885 589.37/591.94 o 227785 589.37/591.97 o 227685 589.37/592.00 o 227585 589.48/592.02 o 227584 589.48/592.05 o 227583 589.48/592.07 o 227582 589.48/592.10 o 227482 589.58/592.13 o 227382 589.58/592.15 o 227282 589.58/592.18 o 227182 589.67/592.21 o 227082 589.67/592.23 o 226982 589.67/592.26 o 226882 589.67/592.29 o 226881 589.77/592.31 o 226781 589.77/592.34 o 226780 589.77/592.36 o 226779 589.77/592.39 o 226679 589.87/592.41 o 226678 589.87/592.44 o 226578 589.87/592.46 o 226577 589.87/592.49 o 226576 589.97/592.51 o 226575 589.97/592.54 o 226475 589.97/592.56 o 226474 589.97/592.59 o 226374 590.07/592.61 o 226373 649.00/651.70 o 226372 707.43/710.35 o 226371 879.65/883.08 o 226370 939.97/943.60 o 226369 1032.41/1036.25 o 226368 1113.67/1117.78 o 226367 1314.40/1319.02 o 226366 1367.64/1372.45 o 226365 1371.03/1375.80 o 226364 1371.03/1375.83 o 226363 1371.03/1375.87 o 226362 1371.13/1375.90 o 226361 1371.13/1375.93 o 226360 1371.13/1375.97 o 226359 1371.13/1376.00 o 226358 1371.23/1376.03 o 226357 1371.23/1376.07 o 226356 1371.23/1376.10 o 226355 1371.33/1376.13 o 226354 1371.33/1376.16 o 226353 1371.33/1376.19 o 226352 1371.43/1376.22 o 226351 1371.43/1376.25 o 226350 1371.43/1376.29 o 226349 1371.52/1376.32 o 226348 1371.52/1376.35 o 226347 1371.52/1376.38 o 226346 1371.62/1376.41 o 226345 1371.62/1376.44 o 226344 1371.62/1376.47 o 226343 1371.72/1376.50 o 226342 1371.72/1376.53 o 226341 1371.72/1376.56 o 226340 1371.72/1376.59 o 226339 1371.82/1376.62 o 226338 1371.82/1376.65 o 226337 1371.82/1376.68 o 226336 1371.92/1376.71 o 226335 1371.92/1376.74 o 226334 1371.92/1376.77 o 226333 1372.02/1376.80 o 226332 1372.02/1376.83 o 226331 1372.02/1376.86 o 226330 1372.02/1376.89 o 226329 1372.12/1376.92 o 226328 1372.12/1376.95 o 226327 1372.12/1376.98 o 226326 1372.23/1377.01 o 226325 1372.23/1377.03 o 226324 1372.23/1377.06 o 226323 1372.23/1377.09 o 226322 1372.33/1377.12 o 226321 1372.33/1377.15 o 226320 1372.33/1377.18 o 226319 1372.42/1377.21 o 226318 1372.42/1377.24 o 226317 1372.42/1377.27 o 226316 1372.52/1377.30 o 226315 1372.52/1377.33 o 226314 1372.52/1377.36 o 226313 1372.52/1377.38 o 226312 1399.15/1404.05 o 226311 1399.15/1404.08 o 226310 1399.25/1404.11 o 226309 1399.25/1404.14 o 226308 1399.25/1404.16 o 226307 1399.25/1404.19 o 226306 1399.34/1404.22 o 226305 1399.34/1404.25 o 226304 1399.34/1404.28 o 226303 1399.44/1404.30 o 226302 1399.44/1404.33 o 226301 1399.44/1404.36 o 226300 1399.44/1404.39 o 226299 1399.54/1404.41 o 226298 1399.54/1404.44 o 226297 1399.54/1404.47 o 226296 1399.54/1404.50 o 226295 1399.64/1404.52 o 226294 1399.64/1404.55 o 226293 1399.64/1404.58 o 226292 1399.74/1404.60 o 226291 1399.74/1404.63 o 226290 1399.74/1404.66 o 226289 1399.74/1404.68 o 226288 1399.84/1404.71 o 226287 1399.84/1404.74 o 226286 1399.84/1404.76 o 226285 1399.84/1404.79 o 226284 1399.94/1404.82 o 226283 1399.94/1404.84 o 226282 1399.94/1404.87 o 226281 1400.04/1404.90 o 226280 1400.04/1404.92 o 226279 1400.04/1404.95 o 226278 1400.04/1404.98 o 226277 1400.15/1405.00 o 226276 1400.15/1405.03 o 226275 1400.15/1405.06 o 226274 1400.15/1405.08 o 226273 1400.25/1405.11 o 226272 1400.25/1405.14 o 226271 1400.25/1405.16 o 226270 1400.25/1405.19 o 226269 1400.34/1405.21 o 226268 1400.34/1405.24 o 226267 1400.34/1405.27 o 226266 1400.34/1405.29 o 226265 1400.44/1405.32 o 226264 1400.44/1405.34 o 226263 1400.44/1405.37 o 226262 1400.54/1405.40 o 226261 1400.54/1405.42 o 226260 1400.54/1405.45 o 226259 1400.54/1405.47 o 226258 1400.64/1405.50 o 226257 1400.64/1405.53 o 226256 1400.64/1405.55 o 226255 1400.64/1405.58 o 226254 1400.74/1405.60 o 226253 1400.74/1405.63 o 226252 1400.74/1405.65 o 226251 1400.74/1405.68 o 226250 1400.84/1405.70 o 226150 1400.84/1405.73 o 226149 1400.84/1405.75 o 226148 1400.84/1405.78 o 226147 1400.94/1405.81 o 226146 1400.94/1405.83 o 226046 1400.94/1405.86 o 226045 1400.94/1405.88 o 225945 1401.04/1405.91 o 225845 1401.04/1405.94 o 225745 1401.04/1405.96 o 225744 1401.04/1405.99 o 225644 1401.14/1406.02 o 225544 1401.14/1406.04 o 225543 1401.14/1406.07 o 225443 1401.14/1406.09 o 225343 1401.24/1406.12 o 225342 1401.24/1406.14 o 225341 1401.24/1406.17 o 225241 1401.34/1406.20 o 225240 1401.34/1406.22 o 225140 1401.34/1406.25 o 225139 1401.34/1406.27 o 225138 1401.34/1406.30 o 225137 1401.44/1406.32 o 225136 1401.44/1406.35 o 225036 1401.44/1406.37 o 225035 1401.54/1406.40 o 224935 1401.54/1406.42 o 224934 1401.54/1406.45 o 224834 1401.54/1406.47 o 224833 1401.64/1406.50 o 224832 1401.64/1406.52 o 224831 1401.64/1406.55 o 224731 1401.64/1406.57 o 224730 1401.74/1406.60 o 224729 1401.74/1406.62 o 224629 1401.74/1406.65 o 224628 1401.74/1406.67 o 224627 1401.83/1406.70 o 224527 1401.83/1406.72 o 224526 1401.83/1406.74 o 224525 1401.83/1406.77 o 224524 1401.83/1406.79 o 224523 1401.93/1406.82 o 224522 1401.93/1406.84 o 224521 1401.93/1406.86 o 224520 1401.93/1406.89 o 224420 1402.03/1406.91 o 224419 1402.03/1406.94 o 224418 1402.03/1406.96 o 224417 1402.03/1406.99 o 224317 1402.14/1407.01 o 224316 1402.14/1407.03 o 224315 1402.14/1407.06 o 224314 1402.14/1407.08 o 224214 1402.24/1407.11 o 224213 1402.24/1407.13 o 224212 1402.24/1407.15 o 224211 1402.24/1407.18 o 224210 1402.33/1407.20 o 224209 1402.33/1407.23 o 224208 1402.33/1407.25 o 224207 1402.33/1407.27 o 224206 1402.43/1407.30 o 224205 1402.43/1407.32 o 224204 1402.43/1407.34 o 224104 1402.43/1407.37 o 224103 1402.43/1407.39 o 224003 1402.53/1407.42 o 224002 1402.53/1407.44 o 224001 1402.53/1407.46 o 224000 1402.53/1407.49 o 223999 1402.63/1407.51 o 223998 1402.63/1407.53 o 223997 1402.63/1407.56 o 223996 1402.63/1407.58 o 223995 1402.73/1407.60 o 223994 1402.73/1407.63 o 223993 1402.73/1407.65 o 223992 1402.73/1407.67 o 223991 1402.73/1407.70 o 223990 1402.83/1407.72 o 223989 1402.83/1407.74 o 223889 1402.83/1407.77 o 223888 1402.83/1407.79 o 223788 1402.93/1407.81 o 223787 1402.93/1407.84 o 223786 1402.93/1407.86 o 223785 1402.93/1407.88 o 223784 1403.03/1407.91 o 223783 1403.03/1407.93 o 223782 1403.03/1407.95 o 223781 1403.03/1407.98 o 223681 1403.03/1408.00 o 223680 1403.14/1408.02 o 223679 1403.14/1408.04 o 223678 1403.14/1408.07 o 223677 1403.14/1408.09 o 223676 1403.24/1408.11 o 223675 1403.24/1408.13 o 223674 1403.24/1408.16 o 223673 1403.24/1408.18 o 223672 1403.33/1408.20 o 223671 1403.33/1408.22 o 223670 1403.33/1408.25 o 223669 1403.33/1408.27 o 223569 1403.33/1408.29 o 223568 1403.43/1408.32 o 223567 1403.43/1408.34 o 223566 1403.43/1408.36 o 223565 1403.43/1408.38 o 223564 1403.53/1408.40 o 223563 1403.53/1408.43 o 223562 1403.53/1408.45 o 223561 1403.53/1408.47 o 223560 1403.53/1408.49 o 223559 1403.63/1408.52 o 223558 1403.63/1408.54 o 223557 1403.63/1408.56 o 223556 1403.63/1408.58 o 223555 1403.73/1408.60 o 223554 1403.73/1408.63 o 223454 1403.73/1408.65 o 223453 1403.73/1408.67 o 223353 1403.73/1408.70 o 223352 1403.83/1408.72 o 223351 1403.83/1408.74 o 223251 1403.83/1408.76 o 223151 1403.83/1408.79 o 223051 1403.93/1408.81 o 222951 1403.93/1408.83 o 222950 1403.93/1408.86 o 222850 1403.93/1408.88 o 222849 1404.03/1408.90 o 222749 1404.03/1408.92 o 222748 1405.72/1410.64 o 222747 1405.92/1410.82 o 222746 1410.72/1415.67 o 222745 1410.82/1415.75 o 222744 1410.92/1415.83 o 222743 1411.02/1415.92 o 222742 1411.02/1416.00 o 222741 1411.12/1416.08 o 222740 1411.22/1416.16 o 222739 1411.31/1416.25 o 222738 1411.41/1416.33 o 222737 1411.51/1416.41 o 222736 1411.61/1416.50 o 222735 1411.61/1416.58 o 222734 1411.71/1416.66 o 222733 1411.81/1416.74 o 222732 1411.91/1416.83 o 222731 1412.01/1416.91 o 222730 1412.01/1416.99 o 222729 1412.12/1417.07 o 222728 1412.22/1417.15 o 222727 1412.31/1417.23 o 222726 1412.41/1417.32 o 222725 1412.51/1417.40 o 222724 1412.51/1417.48 o 222624 1412.61/1417.56 o 222623 1412.71/1417.64 o 222523 1412.81/1417.72 o 222522 1412.91/1417.80 o 222422 1412.91/1417.88 o 222421 1413.01/1417.96 o 222420 1413.11/1418.04 o 222419 1413.21/1418.12 o 222319 1413.31/1418.20 o 222318 1413.31/1418.28 o 222218 1413.41/1418.36 o 222118 1413.51/1418.44 o 222018 1413.61/1418.51 o 221918 1413.61/1418.59 o 221818 1413.71/1418.67 o 221718 1413.81/1418.75 o 221618 1413.91/1418.82 o 221518 1414.01/1418.90 o 221418 1414.01/1418.97 o 221318 1414.11/1419.05 o 221218 1414.21/1419.12 o 221118 1414.30/1419.21 o 221018 1414.30/1419.29 o 220918 1414.40/1419.36 o 220818 1414.50/1419.43 o 220817 1414.60/1419.51 o 220717 1414.60/1419.58 o 220716 1414.70/1419.65 o 220616 1414.80/1419.72 o 220615 1414.80/1419.79 o 220515 1414.90/1419.89 o 220514 1414.99/1419.96 o 220414 1415.11/1420.03 o 220413 1415.11/1420.10 o 220412 1415.21/1420.16 o 220411 1415.30/1420.23 o 220410 1415.40/1420.30 o 220409 1415.40/1420.37 o 220408 1415.50/1420.44 o 220308 1415.60/1420.51 o 220208 1415.60/1420.57 o 220207 1415.70/1420.64 o 220107 1415.80/1420.71 o 220007 1415.80/1420.77 o 219907 1415.90/1420.84 o 219906 1416.00/1420.91 o 219806 1416.00/1420.97 o 219805 1416.10/1421.04 o 219705 1416.20/1421.10 o 219704 1416.20/1421.17 o 219604 1416.30/1421.23 o 219504 1416.40/1421.30 o 219404 1416.40/1421.36 o 219403 1416.50/1421.42 o 219402 1416.50/1421.48 o 219401 1416.60/1421.55 o 219301 1416.70/1421.61 o 219201 1416.70/1421.67 o 219101 1416.80/1421.73 o 219001 1416.80/1421.79 o 219000 1416.90/1421.86 o 218900 1417.00/1421.92 o 218800 1417.00/1421.98 o 218799 1417.10/1422.03 o 218798 1417.10/1422.09 o 218797 1417.20/1422.15 o 218697 1417.30/1422.21 o 218696 1417.30/1422.27 o 218596 1417.40/1422.33 o 218496 1417.40/1422.39 o 218396 1417.50/1422.44 o 218395 1417.59/1422.50 o 218295 1417.59/1422.56 o 218195 1417.69/1422.61 o 218095 1417.69/1422.67 o 217995 1417.79/1422.73 o 217895 1417.79/1422.78 o 217795 1417.89/1422.84 o 217695 1417.89/1422.89 o 217595 1417.99/1422.95 o 217495 1417.99/1423.00 o 217494 1418.10/1423.05 o 217493 1418.20/1423.10 o 217393 1418.20/1423.15 o 217392 1418.29/1423.21 o 217292 1418.29/1423.26 o 217192 1418.39/1423.31 o 217191 1418.39/1423.36 o 217091 1418.49/1423.41 o 217090 1418.49/1423.46 o 216990 1418.59/1423.51 o 216890 1418.59/1423.56 o 216889 1418.69/1423.61 o 216789 1418.69/1423.65 o 216788 1418.79/1423.70 o 216787 1418.79/1423.75 o 216786 1418.89/1423.80 o 216686 1418.89/1423.85 o 216586 1418.89/1423.89 o 216486 1418.99/1423.94 o 216485 1418.99/1423.98 o 216484 1419.09/1424.03 o 216384 1419.09/1424.08 o 216383 1419.19/1424.12 o 216382 1419.19/1424.17 o 216282 1419.29/1424.22 o 216182 1419.29/1424.26 o 216181 1419.39/1424.30 o 216081 1419.39/1424.35 o 215981 1419.39/1424.39 o 215980 1419.49/1424.44 o 215880 1419.49/1424.48 o 215780 1419.59/1424.52 o 215680 1419.59/1424.57 o 215580 1419.69/1424.61 o 215480 1419.69/1424.65 o 215380 1419.69/1424.69 o 215280 1419.79/1424.73 o 215279 1419.79/1424.77 o 215278 1419.89/1424.81 o 215277 1419.89/1424.84 o 215276 1419.89/1424.88 o 215275 1419.99/1424.92 o 215274 1419.99/1424.96 o 215174 1420.09/1425.00 o 215074 1420.09/1425.04 o 214974 1420.09/1425.08 o 214874 1420.19/1425.11 o 214873 1420.19/1425.15 o 214872 1420.19/1425.18 o 214871 1420.28/1425.22 o 214870 1420.28/1425.25 o 214770 1420.28/1425.29 o 214670 1420.38/1425.32 o 214570 1420.38/1425.36 o 214569 1420.38/1425.39 o 214568 1420.48/1425.42 o 214567 1420.48/1425.46 o 214566 1420.48/1425.49 o 214565 1420.58/1425.52 o 214564 1420.58/1425.55 o 214563 1420.58/1425.58 o 214562 1420.68/1425.62 o 214561 1420.68/1425.65 o 214560 1420.68/1425.68 o 214559 1420.78/1425.71 o 214459 1420.78/1425.75 o 214359 1420.78/1425.78 o 214259 1420.88/1425.81 o 214159 1420.88/1425.84 o 214158 1420.88/1425.87 o 214058 1420.98/1425.90 o 213958 1420.98/1425.93 o 213957 1420.98/1425.96 o 213956 1420.98/1425.99 o 213955 1421.09/1426.02 o 213954 1421.09/1426.05 o 213953 1421.09/1426.07 o 213952 1421.19/1426.10 o 213951 1421.19/1426.13 o 213950 1421.19/1426.16 o 213949 1421.19/1426.19 o 213948 1421.28/1426.22 o 213848 1421.28/1426.25 o 213748 1421.28/1426.28 o 213648 1421.48/1426.45 o 213548 1421.58/1426.53 o 213448 1421.78/1426.73 o 203658 1421.78/1426.75 o 203657 1421.78/1426.78 o 203656 1421.88/1426.80 o 203655 1421.88/1426.82 o 203654 1421.88/1426.84 o 203653 1421.88/1426.87 o 203652 1421.88/1426.89 o 203651 1421.98/1426.91 o 203650 1421.98/1426.93 o 203649 1421.98/1426.96 o 203648 1422.08/1427.06 o 203548 1422.38/1427.30 o 203448 1422.48/1427.44 o 193970 1422.48/1427.47 o 193969 1422.48/1427.49 o 193968 1422.58/1427.51 o 193967 1422.58/1427.54 o 193966 1422.58/1427.56 o 193965 1422.58/1427.58 o 193964 1422.68/1427.60 o 193963 1422.68/1427.63 o 193962 1422.68/1427.65 o 193961 1422.68/1427.67 o 193960 1423.18/1428.15 o 193860 1423.37/1428.30 o 193760 1423.37/1428.36 o 193660 1423.97/1428.92 o 193659 1424.67/1429.62 o 193658 1425.97/1430.91 o 193570 1548.02/1553.34 o 193569 1548.02/1553.37 o 193568 1548.02/1553.39 o 193567 1548.12/1553.41 o 193566 1548.12/1553.44 o 193565 1548.12/1553.46 o 193564 1548.12/1553.48 o 193563 1548.73/1554.06 o 193473 1548.73/1554.10 o 193472 1548.83/1554.14 o 193471 1548.83/1554.18 o 193470 1548.92/1554.21 o 193469 1548.92/1554.25 o 193468 1548.92/1554.29 o 193467 1549.02/1554.33 o 193466 1549.02/1554.37 o 193465 1549.12/1554.41 o 193464 1549.12/1554.45 o 193463 1549.52/1554.88 o 193462 1549.82/1555.17 o 193372 1549.91/1555.22 o 193371 1549.91/1555.28 o 193370 1550.01/1555.33 o 193369 1550.01/1555.39 o 193368 1550.11/1555.45 o 193367 1550.21/1555.50 o 193366 1550.21/1555.56 o 193365 1550.31/1555.61 o 193364 1550.31/1555.67 o 193363 1550.41/1555.73 o 193362 1551.21/1556.50 o 193282 1551.21/1556.58 o 193281 1551.31/1556.65 o 193280 1551.41/1556.72 o 193279 1551.41/1556.79 o 193278 1551.51/1556.86 o 193277 1551.61/1556.93 o 193276 1551.71/1557.00 o 193275 1551.71/1557.08 o 193274 1551.81/1557.15 o 193273 1551.91/1557.22 o 193272 1551.91/1557.29 o 193271 1552.01/1557.36 o 193270 1552.11/1557.43 o 193269 1552.21/1557.51 o 193268 1552.21/1557.58 o 193267 1552.30/1557.65 o 193266 1552.40/1557.72 o 193265 1552.40/1557.79 o 193264 1552.50/1557.86 o 193263 1552.60/1557.93 o 193262 1552.90/1558.26 o 193261 1553.30/1558.60 o 193260 1556.39/1561.79 o 193259 1556.49/1561.83 o 193258 1556.49/1561.88 o 193257 1556.59/1561.93 o 193256 1556.59/1561.97 o 193255 1556.69/1562.02 o 193254 1556.69/1562.06 o 193253 1556.79/1562.11 o 193252 1556.79/1562.15 o 193251 1556.89/1562.20 o 193250 1556.89/1562.25 o 193249 1556.89/1562.29 o 193248 1556.98/1562.34 o 193247 1556.98/1562.39 o 193246 1557.08/1562.43 o 193245 1557.08/1562.48 o 193244 1557.18/1562.52 o 193243 1557.18/1562.57 o 193242 1557.29/1562.61 o 193241 1557.29/1562.66 o 193240 1557.39/1562.70 o 193239 1557.39/1562.75 o 193238 1557.39/1562.79 o 193237 1557.49/1562.84 o 193236 1557.49/1562.88 o 193235 1557.59/1562.93 o 193234 1557.59/1562.97 o 193233 1557.70/1563.02 o 193232 1557.70/1563.06 o 193231 1557.80/1563.10 o 193230 1557.80/1563.15 o 193229 1557.80/1563.19 o 193228 1557.89/1563.23 o 193227 1557.89/1563.28 o 193226 1557.99/1563.32 o 193225 1557.99/1563.36 o 193224 1558.09/1563.40 o 193223 1558.09/1563.45 o 193222 1558.09/1563.49 o 193221 1558.19/1563.53 o 193220 1558.19/1563.58 o 193219 1558.29/1563.62 o 193218 1558.29/1563.66 o 193217 1558.39/1563.70 o 193216 1558.39/1563.74 o 193215 1558.39/1563.78 o 193214 1558.49/1563.82 o 193213 1558.49/1563.86 o 193212 1558.49/1563.90 o 193211 1558.59/1563.93 o 193210 1558.59/1563.97 o 193209 1558.69/1564.01 o 193208 1558.69/1564.05 o 193207 1558.69/1564.09 o 193206 1558.79/1564.12 o 193205 1558.79/1564.16 o 193204 1558.89/1564.20 o 193203 1558.89/1564.24 o 193202 1558.89/1564.27 o 193201 1558.99/1564.31 o 193200 1558.99/1564.34 o 193199 1558.99/1564.38 o 193198 1559.09/1564.41 o 193197 1559.09/1564.45 o 193196 1559.09/1564.48 o 193195 1559.19/1564.52 o 193194 1559.19/1564.55 o 193193 1559.48/1564.83 o 193192 1727.90/1733.70 o 193191 1780.04/1786.08 o 193190 1780.14/1786.11 o 193189 1780.14/1786.14 o 193188 1780.14/1786.17 o 193187 1780.14/1786.19 o 193186 1780.24/1786.22 o 193185 1780.24/1786.25 o 193184 1780.24/1786.27 o 193183 1780.34/1786.30 o 193182 1780.34/1786.33 o 193181 1780.34/1786.35 o 193180 1780.34/1786.38 o 193179 1780.44/1786.41 o 193178 1780.44/1786.43 o 193177 1780.44/1786.46 o 193176 1780.44/1786.49 o 193175 1780.54/1786.51 o 193174 1780.54/1786.54 o 193173 1780.54/1786.56 o 193172 1780.54/1786.59 o 193171 1780.64/1786.62 o 193170 1780.64/1786.64 o 193169 1780.64/1786.67 o 193168 1780.74/1786.70 o 193167 1780.74/1786.72 o 193166 1780.74/1786.75 o 193165 1780.74/1786.77 o 193164 1780.83/1786.80 o 193163 1780.83/1786.83 o 193162 1780.83/1786.85 o 193161 1780.83/1786.88 o 193160 1780.93/1786.90 o 193159 1780.93/1786.93 o 193158 1780.93/1786.95 o 193157 1780.93/1786.98 o 193156 1781.04/1787.01 o 193155 1781.04/1787.03 o 193154 1781.04/1787.06 o 193153 1781.04/1787.08 o 193152 1781.14/1787.11 o 193151 1781.14/1787.13 o 193150 1781.14/1787.16 o 193149 1781.14/1787.18 o 193148 1781.23/1787.21 o 193147 1781.23/1787.23 o 193146 1781.23/1787.26 o 193145 1781.23/1787.28 o 193144 1781.33/1787.31 o 193143 1781.33/1787.33 o 193142 1781.33/1787.36 o 193141 1781.33/1787.38 o 193140 1781.43/1787.41 o 193139 1781.43/1787.43 o 193039 1781.43/1787.46 o 192939 1781.43/1787.49 o 192839 1781.53/1787.51 o 192739 1781.53/1787.54 o 192639 1781.53/1787.56 o 192539 1781.53/1787.59 o 192439 1781.63/1787.62 o 192339 1782.33/1788.32 o 192338 1972.49/1979.05 o 182543 1972.88/1979.44 o 172663 1972.88/1979.47 o 172662 1972.88/1979.49 o 172661 1972.98/1979.52 o 172660 1972.98/1979.54 o 172659 1972.98/1979.56 o 172658 1972.98/1979.58 o 172657 1973.08/1979.61 o 172656 1973.08/1979.63 o 172655 1973.08/1979.65 o 172654 1973.08/1979.68 o 172653 1973.18/1979.70 o 172652 1973.18/1979.72 o 172651 1973.18/1979.74 o 172650 1973.18/1979.77 o 172649 1973.18/1979.79 o 172648 1973.28/1979.81 o 172647 1973.28/1979.83 o 172646 1973.28/1979.86 o 172645 1973.28/1979.88 o 172644 1973.38/1979.90 o 172643 1976.17/1982.71 o 172560 1976.17/1982.75 o 172559 1976.17/1982.78 o 172558 1976.27/1982.81 o 172557 1976.27/1982.84 o 172556 1976.27/1982.87 o 172555 1976.37/1982.91 o 172554 1976.37/1982.94 o 172553 1976.37/1982.97 o 172552 1976.37/1983.00 o 172551 1976.48/1983.03 o 172550 1976.48/1983.06 o 172549 1980.77/1987.31 o 172548 1981.27/1987.82 o 164289 2764.79/2773.64 o 164288 3186.57/3196.64 o 164287 3186.57/3196.67 o 164286 3186.57/3196.69 o 164285 3186.67/3196.72 o 164284 3186.67/3196.75 o 164283 3186.67/3196.78 o 164282 3186.77/3196.80 o 164281 3186.77/3196.83 o 164280 3186.77/3196.86 o 164279 3186.77/3196.88 o 164278 3186.87/3196.91 o 164277 3186.87/3196.94 o 164276 3186.87/3196.96 o 164275 3186.87/3196.99 o 164274 3186.98/3197.02 o 164273 3186.98/3197.04 o 164272 3186.98/3197.07 o 164271 3186.98/3197.10 o 164270 3187.08/3197.12 o 164269 3187.08/3197.15 o 164268 3187.08/3197.18 o 164267 3187.17/3197.20 o 164266 3187.17/3197.23 o 164265 3187.17/3197.25 o 164264 3187.17/3197.28 o 164263 3187.27/3197.31 o 164262 3187.27/3197.33 o 164261 3187.27/3197.36 o 164260 3187.27/3197.38 o 164259 3187.37/3197.41 o 164258 3187.37/3197.44 o 164257 3187.37/3197.46 o 164256 3187.37/3197.49 o 164255 3187.47/3197.51 o 164254 3187.47/3197.54 o 164253 3187.47/3197.56 o 164252 3187.47/3197.59 o 164251 3187.57/3197.62 o 164250 3187.57/3197.64 o 164249 3187.57/3197.67 o 164248 3187.57/3197.69 o 164247 3187.67/3197.72 o 164147 3187.67/3197.74 o 164047 3187.67/3197.77 o 163947 3187.77/3197.80 o 163946 3187.77/3197.82 o 163846 3187.77/3197.85 o 163845 3187.77/3197.88 o 163745 3187.87/3197.91 o 163645 3187.87/3197.93 o 163545 3187.87/3197.96 o 163445 3187.87/3197.99 o 163345 3187.97/3198.01 o 163344 3187.97/3198.04 o 163244 3187.97/3198.07 o 163144 3187.97/3198.09 o 163143 3188.07/3198.12 o 163142 3188.07/3198.14 o 163141 3188.07/3198.17 o 163041 3188.17/3198.20 o 162941 3188.17/3198.22 o 162940 3188.17/3198.25 o 162840 3188.17/3198.28 o 162740 3188.27/3198.30 o 162640 3188.27/3198.33 o 162639 3188.27/3198.36 o 162539 3188.27/3198.39 o 152539 3188.37/3198.41 o 142539 3189.07/3199.19 o 142538 3193.35/3203.45 o 132542 3193.35/3203.48 o 132541 3193.45/3203.51 o 132540 3193.45/3203.54 o 132539 3193.45/3203.56 o 132538 3600.07/3611.30 c Program interrupted by user. 3600.07/3611.30 s SATISFIABLE 3600.07/3611.30 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
OK 132538
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62059 MiB free)
memory of node 1: 64465 MiB (61622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525753-1751625803/watcher-4525753-1751625803 -o /tmp/evaluation-result-4525753-1751625803/solver-4525753-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89263 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525753-1751625803.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=89306, runsolver pid=89296
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126548484/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=72304 memory=47624 CPUtime=0.1 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 13131 0 0 0 8 2 0 0 20 0 1 0 78258770 74039296 11906 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 18076 11906 1024 1200 0 16556 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 47624 KiB
[startup+0.205769 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126399816/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=115804 memory=86720 CPUtime=0.19 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 22341 0 0 0 16 3 0 0 20 0 1 0 78258770 118583296 21680 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 28951 21680 1024 1200 0 27431 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115804 KiB
Current children cumulated memory: 86720 KiB
[startup+0.305712 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126274500/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=145900 memory=123616 CPUtime=0.3 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 29504 0 0 0 25 5 0 0 20 0 1 0 78258770 149401600 30904 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 36475 30904 1056 1200 0 34955 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145900 KiB
Current children cumulated memory: 123616 KiB
[startup+0.700194 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126078604/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=0.69 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30618 0 0 0 64 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+1.50019 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=125600676/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=1.49 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30618 0 0 0 144 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+3.10564 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=124855088/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=3.08 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30626 0 0 0 303 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+6.30021 s]
/proc/loadavg: 1.74 2.09 2.67 5/263 89322
/proc/meminfo: memFree=124855868/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=6.26 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30633 0 0 0 621 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+12.7002 s]
/proc/loadavg: 1.92 2.12 2.68 5/263 89322
/proc/meminfo: memFree=124856140/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=12.63 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30640 0 0 0 1258 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+25.5002 s]
/proc/loadavg: 2.45 2.23 2.71 5/263 89322
/proc/meminfo: memFree=124856716/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=25.38 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30640 0 0 0 2533 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+51.1059 s]
/proc/loadavg: 2.98 2.37 2.74 5/263 89322
/proc/meminfo: memFree=124856540/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=50.86 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30647 0 0 0 5081 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.64 2.82 5/264 89327
/proc/meminfo: memFree=124853528/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=128096 CPUtime=101.78 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30681 0 0 0 10173 5 0 0 20 0 1 0 78258770 154656768 32024 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 32024 1056 1200 0 36238 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 128096 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.90 2.90 5/265 89335
/proc/meminfo: memFree=124841964/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=132064 CPUtime=161.49 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30722 0 0 0 16144 5 0 0 20 0 1 0 78258770 154656768 33016 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 33016 1056 1200 0 36238 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 132064 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.12 2.98 5/265 89337
/proc/meminfo: memFree=124818920/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=132064 CPUtime=221.18 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30759 0 0 0 22113 5 0 0 20 0 1 0 78258770 154656768 33016 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 33016 1056 1200 0 36238 0
Current children cumulated CPU time: 221.18 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 132064 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.31 3.05 5/265 89339
/proc/meminfo: memFree=124820688/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=132064 CPUtime=280.86 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30796 0 0 0 28081 5 0 0 20 0 1 0 78258770 154656768 33016 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 33016 1056 1200 0 36238 0
Current children cumulated CPU time: 280.86 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 132064 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.46 3.12 5/265 89341
/proc/meminfo: memFree=124822824/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=151032 memory=132064 CPUtime=340.53 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 30796 0 0 0 34048 5 0 0 20 0 1 0 78258770 154656768 33016 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 37758 33016 1056 1200 0 36238 0
Current children cumulated CPU time: 340.53 s
Current children cumulated vsize: 151032 KiB
Current children cumulated memory: 132064 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.58 3.18 5/264 89343
/proc/meminfo: memFree=120483384/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=632800 memory=583236 CPUtime=400.31 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 108924 0 0 0 40005 26 0 0 20 0 1 0 78258770 647987200 145809 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 158200 145809 1280 1200 0 156680 0
Current children cumulated CPU time: 400.31 s
Current children cumulated vsize: 632800 KiB
Current children cumulated memory: 583236 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.67 3.24 5/262 89345
/proc/meminfo: memFree=117160720/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=1012024 memory=951840 CPUtime=460.14 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 171129 0 0 0 45968 46 0 0 20 0 1 0 78258770 1036312576 237960 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 253006 237960 1280 1200 0 251486 0
Current children cumulated CPU time: 460.14 s
################
# More data... #
################
Current children cumulated memory: 1803032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/263 89469
/proc/meminfo: memFree=100333228/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1803544 CPUtime=2913.06 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 327405 0 0 0 291038 268 0 0 20 0 1 0 78258770 2379399168 450886 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 450886 1280 1200 0 579388 0
Current children cumulated CPU time: 2913.06 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1803544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.07 5/263 89471
/proc/meminfo: memFree=100346164/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=2972.89 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 327809 0 0 0 297017 272 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 2972.89 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/263 89473
/proc/meminfo: memFree=100327008/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3032.71 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 327924 0 0 0 302995 276 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3032.71 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/262 89477
/proc/meminfo: memFree=100333924/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3092.54 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328250 0 0 0 308973 281 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/264 89485
/proc/meminfo: memFree=100342960/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3152.37 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328266 0 0 0 314952 285 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3152.37 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/264 89487
/proc/meminfo: memFree=100326552/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3212.19 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328274 0 0 0 320931 288 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3212.19 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/264 89489
/proc/meminfo: memFree=100324332/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3272.02 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328488 0 0 0 326909 293 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3272.02 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/264 89491
/proc/meminfo: memFree=100316600/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804568 CPUtime=3331.85 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328600 0 0 0 332887 298 0 0 20 0 1 0 78258770 2379399168 451142 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451142 1280 1200 0 579388 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804568 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 89493
/proc/meminfo: memFree=100316672/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804696 CPUtime=3391.68 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328664 0 0 0 338866 302 0 0 20 0 1 0 78258770 2379399168 451174 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451174 1280 1200 0 579388 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 89496
/proc/meminfo: memFree=100152600/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804696 CPUtime=3451.51 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 328933 0 0 0 344843 308 0 0 20 0 1 0 78258770 2379399168 451174 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451174 1280 1200 0 579388 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 89498
/proc/meminfo: memFree=100090884/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804952 CPUtime=3511.33 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 329175 0 0 0 350820 313 0 0 20 0 1 0 78258770 2379399168 451238 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451238 1280 1200 0 579388 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89500
/proc/meminfo: memFree=100094180/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804952 CPUtime=3571.16 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 329180 0 0 0 356799 317 0 0 20 0 1 0 78258770 2379399168 451238 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451238 1280 1200 0 579388 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.11 4.12 4.09 3/256 89506
/proc/meminfo: memFree=118879780/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804952 CPUtime=3600.07 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 329181 0 0 0 359689 318 0 0 20 0 1 0 78258770 2379399168 451238 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451238 1280 1200 0 579388 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.39 s]
# the end of solver process 89306 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.93 s, system=3.24536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.11 4.12 4.09 3/256 89506
/proc/meminfo: memFree=118879780/131249996 swapFree=33010160/33010684
[pid=89306] ppid=89296 vsize=2323632 memory=1804952 CPUtime=3600.07 cores=0,2
/proc/89306/stat : 89306 (Exact) R 89296 89306 89253 0 -1 4194304 329181 0 0 0 359689 318 0 0 20 0 1 0 78258770 2379399168 451238 18446744073709551615 4198400 9112445 140726666085312 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 28319744 140726666086694 140726666086891 140726666086891 140726666092495 0
/proc/89306/statm: 580908 451238 1280 1200 0 579388 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2323632 KiB
Current children cumulated memory: 1804952 KiB
Child status: 10
Real time (s): 3611.39
CPU time (s): 3600.18
CPU user time (s): 3596.93
CPU system time (s): 3.24536
CPU usage (%): 99.6894
Max. virtual memory (cumulated for all children) (KiB): 2635092
Max. memory (cumulated for all children) (KiB): 2016256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.93
system time used= 3.24536
maximum resident set size= 2110464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329196
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= 29
involuntary context switches= 8050
# summary of solver processes directly reported to runsolver:
# pid: 89306
# total CPU time (s): 3600.18
# total CPU user time (s): 3596.93
# total CPU system time (s): 3.24536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77724 second user time and 14.7104 second system time
The end
Begin job on nodeC029 at 2025-07-04 12:43:23 IDJOB=4525753 IDBENCH=143886 IDSOLVER=3376 FILE ID=nodeC029/4525753-1751625803 RUNJOBID= nodeC029-1751625803-89263 SLURM_JOB_ID= 9598951 Free space on /tmp= 432204 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1-20_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525753-1751625803/watcher-4525753-1751625803 -o /tmp/evaluation-result-4525753-1751625803/solver-4525753-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89263 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525753-1751625803.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 249b0b6133e523d403961c26ec3d3249 RANDOM SEED=47145597 nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.971 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.925 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.726 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.919 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.789 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.720 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.850 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3595.790 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126654480 kB MemAvailable: 129709032 kB Buffers: 2128 kB Cached: 3846180 kB SwapCached: 40 kB Active: 505988 kB Inactive: 3406664 kB Active(anon): 77596 kB Inactive(anon): 4768 kB Active(file): 428392 kB Inactive(file): 3401896 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27572 kB Writeback: 4 kB AnonPages: 67472 kB Mapped: 104216 kB Shmem: 18020 kB KReclaimable: 127008 kB Slab: 216660 kB SReclaimable: 127008 kB SUnreclaim: 89652 kB KernelStack: 4160 kB PageTables: 2912 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330956 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432160 MiB End job on nodeC029 at 2025-07-04 13:43:35