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.63 | 3610.93 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub2_wcsp.wbo |
| MD5SUM | 3b293c70ef0b1b0b4ae40fd7d560d8ea |
| 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 | 2746 |
| Best CPU time to get the best result obtained on this benchmark | 33.6702 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 688 |
| Total number of constraints | 280826 |
| Number of soft constraints | 280810 |
| Number of constraints which are clauses | 280810 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 52140 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 37167130 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
361.99/363.87 o 31405 362.38/364.24 o 31185 362.68/364.53 o 31184 362.88/364.77 o 11180 363.09/364.96 o 11059 363.29/365.10 o 11058 363.38/365.24 o 10958 363.58/365.40 o 10858 363.68/365.57 o 10758 363.88/365.73 o 10658 363.98/365.88 o 10648 364.19/366.03 o 10638 364.28/366.18 o 10628 364.48/366.34 o 10618 364.58/366.49 o 10608 364.77/366.68 o 10598 364.98/366.84 o 10588 365.19/367.02 o 10578 365.29/367.17 o 10568 365.48/367.32 o 10558 365.58/367.47 o 10458 365.78/367.62 o 10358 365.88/367.77 o 10357 366.07/367.92 o 10257 366.18/368.07 o 10157 366.37/368.22 o 10057 366.47/368.37 o 9957 366.67/368.52 o 9947 366.77/368.68 o 9937 366.97/368.83 o 9927 367.08/368.98 o 9917 367.37/369.23 o 9907 367.58/369.40 o 9897 367.77/369.60 o 9887 367.87/369.76 o 9877 368.07/369.91 o 9867 368.17/370.06 o 9857 368.37/370.21 o 9757 368.47/370.37 o 9657 368.67/370.52 o 9557 368.77/370.67 o 9457 368.97/370.82 o 9357 369.07/370.98 o 9257 369.28/371.13 o 9247 369.37/371.28 o 9237 369.57/371.44 o 9227 369.67/371.59 o 9217 369.87/371.74 o 9207 369.97/371.89 o 9197 370.17/372.04 o 9187 370.27/372.19 o 9177 370.46/372.34 o 9167 370.57/372.49 o 9157 370.77/372.64 o 9057 370.86/372.79 o 8957 371.06/372.94 o 8857 371.17/373.09 o 8757 371.36/373.24 o 8657 371.46/373.39 o 8557 371.66/373.54 o 8547 371.76/373.69 o 8537 372.06/373.93 o 8527 372.17/374.08 o 8517 372.56/374.45 o 8507 372.76/374.63 o 8497 372.86/374.78 o 8487 373.06/374.93 o 8477 373.16/375.08 o 8467 373.35/375.23 o 8367 373.45/375.38 o 8267 373.65/375.52 o 8257 373.75/375.67 o 8256 373.96/375.81 o 8246 374.65/376.50 o 8245 431.70/433.71 o 8244 432.10/434.11 o 8243 432.40/434.48 o 8242 432.79/434.85 o 8241 433.19/435.22 o 8240 433.49/435.58 o 8239 433.89/435.95 o 8238 434.29/436.31 o 8237 434.59/436.67 o 8236 435.00/437.04 o 8226 435.39/437.41 o 8216 435.69/437.78 o 8206 436.10/438.15 o 8196 892.81/896.03 o 8195 893.00/896.20 o 8194 893.10/896.37 o 8193 893.30/896.54 o 8192 893.50/896.71 o 8191 893.60/896.87 o 8190 893.81/897.04 o 8189 894.00/897.21 o 8188 894.10/897.38 o 8187 894.30/897.54 o 8186 894.50/897.70 o 8185 894.60/897.88 o 8085 894.80/898.04 o 7985 894.99/898.21 o 7885 895.09/898.37 o 7785 895.29/898.53 o 7685 895.40/898.68 o 7585 895.60/898.83 o 7575 895.70/898.98 o 7565 895.90/899.14 o 7465 895.99/899.29 o 7365 896.20/899.45 o 7265 896.39/899.61 o 7165 896.49/899.76 o 7065 896.69/899.92 o 6965 896.80/900.07 o 6865 896.99/900.23 o 6765 897.09/900.39 o 6665 897.29/900.54 o 6565 897.49/900.70 o 6465 897.59/900.85 o 6365 897.80/901.01 o 6265 897.90/901.16 o 6165 898.09/901.32 o 6065 898.19/901.48 o 5965 898.39/901.63 o 5865 898.48/901.79 o 5765 898.68/901.95 o 5665 900.49/903.70 o 5595 900.59/903.87 o 5585 900.78/904.03 o 5584 900.88/904.19 o 5583 901.09/904.36 o 5573 901.28/904.51 o 5572 901.38/904.67 o 5571 901.58/904.83 o 5570 901.68/904.98 o 5569 901.88/905.13 o 5568 1036.54/1040.16 o 5567 1036.83/1040.43 o 5566 1287.88/1292.19 o 5565 1288.28/1292.53 o 5564 1288.57/1292.85 o 5563 1288.88/1293.18 o 5562 1289.27/1293.50 o 5561 1289.57/1293.83 o 5560 1289.87/1294.15 o 5559 1290.17/1294.48 o 5558 1290.57/1294.80 o 5557 1290.88/1295.13 o 5556 1291.17/1295.45 o 5555 1291.47/1295.78 o 5554 1291.88/1296.10 o 5553 1292.17/1296.43 o 5552 1292.47/1296.75 o 5551 1292.77/1297.08 o 5550 1293.17/1297.40 o 5549 1293.46/1297.72 o 5548 1293.77/1298.05 o 5547 1294.06/1298.36 o 5546 1294.36/1298.68 o 5545 1294.66/1298.99 o 5544 1295.06/1299.31 o 5543 1295.36/1299.63 o 5542 1295.66/1299.95 o 5541 1295.96/1300.27 o 5540 1296.26/1300.58 o 5539 1296.56/1300.90 o 5538 1296.96/1301.21 o 5537 1297.26/1301.52 o 5536 1297.56/1301.84 o 5535 1297.86/1302.14 o 5534 1298.16/1302.43 o 5533 1298.45/1302.70 o 5532 1298.65/1302.97 o 5531 1298.95/1303.23 o 5530 1299.15/1303.47 o 5529 1299.45/1303.71 o 5528 1299.65/1303.94 o 5527 1299.86/1304.17 o 5517 1371.77/1376.25 o 5516 1372.17/1376.65 o 5515 1381.24/1385.77 o 5514 1381.64/1386.12 o 5513 1381.94/1386.46 o 5512 1382.34/1386.81 o 5511 1382.64/1387.15 o 5510 1382.94/1387.49 o 5509 1383.34/1387.83 o 5508 1383.64/1388.16 o 5507 1383.93/1388.49 o 5506 1385.33/1389.85 o 5505 1578.52/1583.51 o 5504 1579.03/1584.00 o 5503 1579.42/1584.45 o 5502 1579.92/1584.90 o 5501 1580.32/1585.34 o 5500 1580.72/1585.78 o 5499 1581.21/1586.22 o 5498 1581.61/1586.66 o 5497 1582.02/1587.09 o 5496 1582.51/1587.53 o 5486 1582.91/1587.97 o 5476 1583.51/1588.51 o 5475 1583.91/1588.93 o 5474 1584.31/1589.36 o 5464 1584.70/1589.79 o 5454 1585.21/1590.21 o 5444 1585.61/1590.62 o 5443 1586.01/1591.03 o 5442 1586.40/1591.44 o 5441 1586.80/1591.85 o 5440 1587.20/1592.26 o 5439 1587.60/1592.66 o 5438 1588.00/1593.07 o 5437 1588.39/1593.47 o 5436 1588.79/1593.88 o 5435 1589.19/1594.28 o 5434 1589.59/1594.68 o 5433 1600.46/1605.54 o 5432 1812.79/1818.41 o 5431 1812.99/1818.66 o 5430 1813.29/1818.91 o 5429 1813.50/1819.15 o 5428 1813.69/1819.39 o 5427 1813.99/1819.63 o 5426 1814.19/1819.87 o 5425 1814.49/1820.11 o 5415 1814.69/1820.35 o 5405 1814.89/1820.58 o 5404 1815.19/1820.81 o 5403 1815.39/1821.04 o 5402 1815.58/1821.27 o 5401 1815.88/1821.50 o 5400 1816.08/1821.72 o 5399 1816.28/1821.95 o 5389 1816.49/1822.18 o 5379 1816.78/1822.41 o 5369 1816.98/1822.63 o 5359 1817.18/1822.85 o 5259 1817.38/1823.04 o 5258 1817.58/1823.24 o 5257 1817.78/1823.43 o 5256 1817.98/1823.63 o 5156 1818.18/1823.82 o 5056 1818.28/1823.99 o 5055 1818.48/1824.17 o 5054 1818.67/1824.34 o 5053 1818.87/1824.51 o 5052 1818.97/1824.68 o 5051 1819.17/1824.86 o 5050 1819.38/1825.03 o 5049 1819.57/1825.20 o 5048 1819.67/1825.37 o 5047 1819.87/1825.53 o 5046 1820.07/1825.70 o 5045 1820.17/1825.87 o 5044 1820.37/1826.03 o 5043 1820.57/1826.20 o 5042 1820.67/1826.36 o 5041 1820.87/1826.53 o 5040 1820.97/1826.69 o 5039 1821.17/1826.86 o 5029 1821.37/1827.02 o 5028 1821.48/1827.18 o 5027 1821.67/1827.34 o 5026 1821.87/1827.50 o 5025 1821.97/1827.67 o 4925 1822.17/1827.84 o 4825 1822.38/1828.00 o 4725 1822.48/1828.16 o 4625 1822.67/1828.33 o 4525 1822.77/1828.49 o 4425 1827.36/1833.06 o 4350 1827.56/1833.28 o 4349 1827.76/1833.44 o 4348 1827.96/1833.61 o 4347 1828.06/1833.77 o 4346 1828.25/1833.94 o 4345 1828.36/1834.10 o 4344 1828.55/1834.26 o 4343 1828.75/1834.42 o 4342 1828.85/1834.58 o 4341 1829.05/1834.74 o 4340 1829.25/1834.90 o 4339 1829.35/1835.06 o 4338 1829.55/1835.22 o 4337 1829.65/1835.37 o 4336 1829.85/1835.53 o 4335 1829.95/1835.68 o 4334 1830.15/1835.83 o 4333 1830.25/1835.99 o 4332 1954.05/1960.09 o 4331 1954.34/1960.34 o 4330 1954.54/1960.57 o 4329 1954.84/1960.80 o 4328 1955.04/1961.03 o 4327 1955.24/1961.27 o 4326 1955.53/1961.51 o 4316 1955.73/1961.75 o 4306 1962.02/1968.10 o 4305 3518.02/3528.19 o 4304 3518.41/3528.50 o 4303 3518.61/3528.79 o 4302 3518.91/3529.09 o 4301 3519.21/3529.38 o 4300 3519.50/3529.68 o 4299 3519.80/3529.98 o 4298 3520.10/3530.28 o 4288 3521.50/3531.69 o 4287 3599.60/3609.91 o 4286 3600.00/3610.35 c Program interrupted by user. 3600.00/3610.35 s SATISFIABLE 3600.00/3610.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
OK 4165
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 (62044 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-4525762-1751625803/watcher-4525762-1751625803 -o /tmp/evaluation-result-4525762-1751625803/solver-4525762-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89266 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525762-1751625803.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89321, runsolver pid=89314
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126501444/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=70356 memory=45380 CPUtime=0.1 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 13152 0 0 0 8 2 0 0 20 0 1 0 78258775 72044544 11345 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 17589 11345 1024 1200 0 16069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70356 KiB
Current children cumulated memory: 45380 KiB
[startup+0.205648 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126350040/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=110872 memory=85336 CPUtime=0.19 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 21534 0 0 0 16 3 0 0 20 0 1 0 78258775 113532928 21334 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 27718 21334 1024 1200 0 26198 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110872 KiB
Current children cumulated memory: 85336 KiB
[startup+0.305551 s]*
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126220692/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=147408 memory=118852 CPUtime=0.3 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 29490 0 0 0 25 5 0 0 20 0 1 0 78258775 150945792 29713 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 36852 29713 1024 1200 0 35332 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147408 KiB
Current children cumulated memory: 118852 KiB
[startup+0.700165 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=126025868/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=297000 memory=277008 CPUtime=0.68 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 49092 0 0 0 58 10 0 0 20 0 1 0 78258775 304128000 69252 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 74250 69252 1024 1200 0 72730 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 297000 KiB
Current children cumulated memory: 277008 KiB
[startup+1.50017 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=125570244/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=643500 memory=592272 CPUtime=1.49 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 79333 0 0 0 127 22 0 0 20 0 1 0 78258775 658944000 148068 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 160875 148068 1024 1200 0 159355 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 643500 KiB
Current children cumulated memory: 592272 KiB
[startup+3.10565 s]
/proc/loadavg: 1.46 2.04 2.66 5/263 89322
/proc/meminfo: memFree=124855088/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=824252 memory=749816 CPUtime=3.08 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 101435 0 0 0 280 28 0 0 20 0 1 0 78258775 844034048 187454 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 187454 1024 1200 0 204543 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 749816 KiB
[startup+6.30017 s]
/proc/loadavg: 1.74 2.09 2.67 5/263 89322
/proc/meminfo: memFree=124855868/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=824252 memory=749816 CPUtime=6.26 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 101526 0 0 0 598 28 0 0 20 0 1 0 78258775 844034048 187454 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 187454 1024 1200 0 204543 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 749816 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=89321] ppid=89314 vsize=824252 memory=749816 CPUtime=12.64 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 101624 0 0 0 1235 29 0 0 20 0 1 0 78258775 844034048 187454 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 187454 1024 1200 0 204543 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 749816 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=89321] ppid=89314 vsize=824252 memory=749816 CPUtime=25.38 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 101713 0 0 0 2509 29 0 0 20 0 1 0 78258775 844034048 187454 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 187454 1024 1200 0 204543 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 749816 KiB
[startup+51.1061 s]
/proc/loadavg: 2.98 2.37 2.74 5/263 89322
/proc/meminfo: memFree=124856540/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=824252 memory=749816 CPUtime=50.86 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 101843 0 0 0 5057 29 0 0 20 0 1 0 78258775 844034048 187454 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 187454 1024 1200 0 204543 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 749816 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=89321] ppid=89314 vsize=824252 memory=754168 CPUtime=101.8 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 103105 0 0 0 10150 30 0 0 20 0 1 0 78258775 844034048 188542 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 188542 1024 1200 0 204543 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 754168 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=89321] ppid=89314 vsize=824252 memory=754168 CPUtime=161.51 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 103192 0 0 0 16121 30 0 0 20 0 1 0 78258775 844034048 188542 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 188542 1024 1200 0 204543 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 754168 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=89321] ppid=89314 vsize=824252 memory=754168 CPUtime=221.2 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 103255 0 0 0 22090 30 0 0 20 0 1 0 78258775 844034048 188542 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 188542 1024 1200 0 204543 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 754168 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=89321] ppid=89314 vsize=824252 memory=754168 CPUtime=280.9 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 103790 0 0 0 28060 30 0 0 20 0 1 0 78258775 844034048 188542 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 188542 1024 1200 0 204543 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 754168 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=89321] ppid=89314 vsize=824252 memory=754168 CPUtime=340.59 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 103851 0 0 0 34029 30 0 0 20 0 1 0 78258775 844034048 188542 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 206063 188542 1024 1200 0 204543 0
Current children cumulated CPU time: 340.59 s
Current children cumulated vsize: 824252 KiB
Current children cumulated memory: 754168 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=89321] ppid=89314 vsize=3435688 memory=2959552 CPUtime=400.39 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 457799 0 0 0 39919 120 0 0 20 0 1 0 78258775 3518144512 739888 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 858922 739888 1280 1200 0 857402 0
Current children cumulated CPU time: 400.39 s
Current children cumulated vsize: 3435688 KiB
Current children cumulated memory: 2959552 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=89321] ppid=89314 vsize=3786768 memory=3590672 CPUtime=460.23 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 523555 0 0 0 45882 141 0 0 20 0 1 0 78258775 3877650432 897668 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 946692 897668 1280 1200 0 945172 0
Current children cumulated CPU time: 460.23 s
################
# More data... #
################
/proc/meminfo: memFree=100346164/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=13510220 memory=12565896 CPUtime=2973.65 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1983779 0 0 0 296586 779 0 0 20 0 1 0 78258775 13834465280 3141474 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3377555 3141474 1280 1200 0 3376035 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 13510220 KiB
Current children cumulated memory: 12565896 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=89321] ppid=89314 vsize=13510220 memory=12565896 CPUtime=3033.49 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1985569 0 0 0 302563 786 0 0 20 0 1 0 78258775 13834465280 3141474 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3377555 3141474 1280 1200 0 3376035 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 13510220 KiB
Current children cumulated memory: 12565896 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=89321] ppid=89314 vsize=13510220 memory=12565896 CPUtime=3093.34 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1987620 0 0 0 308542 792 0 0 20 0 1 0 78258775 13834465280 3141474 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3377555 3141474 1280 1200 0 3376035 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 13510220 KiB
Current children cumulated memory: 12565896 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=89321] ppid=89314 vsize=13510220 memory=12565896 CPUtime=3153.18 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1989772 0 0 0 314521 797 0 0 20 0 1 0 78258775 13834465280 3141474 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3377555 3141474 1280 1200 0 3376035 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 13510220 KiB
Current children cumulated memory: 12565896 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=89321] ppid=89314 vsize=13514740 memory=12570104 CPUtime=3213.03 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1992117 0 0 0 320499 804 0 0 20 0 1 0 78258775 13839093760 3142526 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142526 1280 1200 0 3377165 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570104 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=89321] ppid=89314 vsize=13514740 memory=12570232 CPUtime=3272.87 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1994765 0 0 0 326477 810 0 0 20 0 1 0 78258775 13839093760 3142558 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142558 1280 1200 0 3377165 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570232 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=89321] ppid=89314 vsize=13514740 memory=12570360 CPUtime=3332.7 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1997556 0 0 0 332453 817 0 0 20 0 1 0 78258775 13839093760 3142590 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142590 1280 1200 0 3377165 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570360 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=89321] ppid=89314 vsize=13514740 memory=12570488 CPUtime=3392.54 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 1999784 0 0 0 338431 823 0 0 20 0 1 0 78258775 13839093760 3142622 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142622 1280 1200 0 3377165 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570488 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=89321] ppid=89314 vsize=13514740 memory=12570488 CPUtime=3452.39 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 2002498 0 0 0 344408 831 0 0 20 0 1 0 78258775 13839093760 3142622 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142622 1280 1200 0 3377165 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570488 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=89321] ppid=89314 vsize=13514740 memory=12570488 CPUtime=3512.22 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 2003453 0 0 0 350383 839 0 0 20 0 1 0 78258775 13839093760 3142622 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142622 1280 1200 0 3377165 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570488 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=89321] ppid=89314 vsize=13514740 memory=12570744 CPUtime=3572.07 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 2004535 0 0 0 356360 847 0 0 20 0 1 0 78258775 13839093760 3142686 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142686 1280 1200 0 3377165 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=100089836/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=13514740 memory=12570744 CPUtime=3600 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 2005125 0 0 0 359148 852 0 0 20 0 1 0 78258775 13839093760 3142686 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142686 1280 1200 0 3377165 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.93 s]
# the end of solver process 89321 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.78 s, system=8.85382 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=100089836/131249996 swapFree=33010160/33010684
[pid=89321] ppid=89314 vsize=13514740 memory=12570744 CPUtime=3600.1 cores=5,7
/proc/89321/stat : 89321 (Exact) R 89314 89321 89253 0 -1 4194304 2005641 0 0 0 359158 852 0 0 20 0 1 0 78258775 13839093760 3142686 18446744073709551615 4198400 9112445 140720490801200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 31440896 140720490809638 140720490809835 140720490809835 140720490815439 0
/proc/89321/statm: 3378685 3142686 1280 1200 0 3377165 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 13514740 KiB
Current children cumulated memory: 12570744 KiB
[startup+3610.81 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=107221400/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3610.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89501
/proc/meminfo: memFree=107221400/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3610.93
CPU time (s): 3600.63
CPU user time (s): 3591.78
CPU system time (s): 8.85382
CPU usage (%): 99.715
Max. virtual memory (cumulated for all children) (KiB): 13871844
Max. memory (cumulated for all children) (KiB): 12570744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.78
system time used= 8.85382
maximum resident set size= 12570744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2006553
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= 2
involuntary context switches= 3054
# summary of solver processes directly reported to runsolver:
# pid: 89321
# total CPU time (s): 3600.63
# total CPU user time (s): 3591.78
# total CPU system time (s): 8.85382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6208 second user time and 12.1714 second system time
The end
Begin job on nodeC029 at 2025-07-04 12:43:23 IDJOB=4525762 IDBENCH=143890 IDSOLVER=3376 FILE ID=nodeC029/4525762-1751625803 RUNJOBID= nodeC029-1751625803-89266 SLURM_JOB_ID= 9598951 Free space on /tmp= 432184 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub2_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-4525762-1751625803/watcher-4525762-1751625803 -o /tmp/evaluation-result-4525762-1751625803/solver-4525762-1751625803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89266 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=47145597 --ls=360 --inp-dombreaklim=0 HOME/instance-4525762-1751625803.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3b293c70ef0b1b0b4ae40fd7d560d8ea 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.841 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 : 3601.038 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.735 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 : 3579.126 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.989 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 : 3615.353 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 : 3595.599 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 : 3599.729 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: 126650636 kB MemAvailable: 129727508 kB Buffers: 2128 kB Cached: 3868500 kB SwapCached: 40 kB Active: 505468 kB Inactive: 3428984 kB Active(anon): 77076 kB Inactive(anon): 4768 kB Active(file): 428392 kB Inactive(file): 3424216 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 49476 kB Writeback: 4 kB AnonPages: 67260 kB Mapped: 104140 kB Shmem: 18020 kB KReclaimable: 127008 kB Slab: 216660 kB SReclaimable: 127008 kB SUnreclaim: 89652 kB KernelStack: 4176 kB PageTables: 2908 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 332728 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 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