Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 | SAT | 4 | 2427.34 | 2434.31 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb |
| MD5SUM | f833be1967b503cfce1013007946cb2b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 5.27099 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1294 |
| Total number of constraints | 1091 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 785 |
| Biggest coefficient in the objective function | 12628 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 55047 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 12628 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 55047 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2427.25/2434.29 c 1092 constraints 2427.25/2434.29 c after presolve 1129 2427.25/2434.29 o 7842 2427.25/2434.29 o 4966 2427.25/2434.29 o 4922 2427.25/2434.29 o 4896 2427.25/2434.29 o 4882 2427.25/2434.29 o 4807 2427.25/2434.29 o 4747 2427.25/2434.29 o 4719 2427.25/2434.29 o 4703 2427.25/2434.29 o 4696 2427.25/2434.29 o 4689 2427.25/2434.29 o 4634 2427.25/2434.29 o 4594 2427.25/2434.29 o 4552 2427.25/2434.29 o 4531 2427.25/2434.29 o 4457 2427.25/2434.29 o 4453 2427.25/2434.29 o 4446 2427.25/2434.29 o 4445 2427.25/2434.29 o 4444 2427.25/2434.29 o 4442 2427.25/2434.29 o 4412 2427.25/2434.29 o 4410 2427.25/2434.29 o 4361 2427.25/2434.29 o 4359 2427.25/2434.29 o 4348 2427.25/2434.29 o 4285 2427.25/2434.29 o 4281 2427.25/2434.29 o 4262 2427.25/2434.29 o 4260 2427.25/2434.29 o 4226 2427.25/2434.29 o 4220 2427.25/2434.29 o 4216 2427.25/2434.29 o 4215 2427.25/2434.29 o 4168 2427.25/2434.29 o 4161 2427.25/2434.29 o 4135 2427.25/2434.29 o 4127 2427.25/2434.29 o 4125 2427.25/2434.29 o 4100 2427.25/2434.29 o 4098 2427.25/2434.29 o 4089 2427.25/2434.29 o 4081 2427.25/2434.29 o 4076 2427.25/2434.29 o 4053 2427.25/2434.29 o 4015 2427.25/2434.29 o 3984 2427.25/2434.29 o 3975 2427.25/2434.29 o 3961 2427.25/2434.29 o 3904 2427.25/2434.29 o 3872 2427.25/2434.29 o 3854 2427.25/2434.29 o 3819 2427.25/2434.29 o 3812 2427.25/2434.29 o 3809 2427.25/2434.29 o 3806 2427.25/2434.29 o 3805 2427.25/2434.29 o 3754 2427.25/2434.29 o 3747 2427.25/2434.29 o 3745 2427.25/2434.29 o 3736 2427.25/2434.29 o 3724 2427.25/2434.29 o 3682 2427.25/2434.29 o 3679 2427.25/2434.29 o 3671 2427.25/2434.29 o 3670 2427.25/2434.29 o 3660 2427.25/2434.29 o 3655 2427.25/2434.29 o 3654 2427.25/2434.29 o 3600 2427.25/2434.29 o 3593 2427.25/2434.29 o 3526 2427.25/2434.29 o 3496 2427.25/2434.29 o 3441 2427.25/2434.29 o 3439 2427.25/2434.29 o 3437 2427.25/2434.29 o 3421 2427.25/2434.29 o 3417 2427.25/2434.29 o 3409 2427.25/2434.29 o 3408 2427.25/2434.29 o 3368 2427.25/2434.29 o 3365 2427.25/2434.29 o 3332 2427.25/2434.29 o 3326 2427.25/2434.29 o 3265 2427.25/2434.29 o 3231 2427.25/2434.29 o 3157 2427.25/2434.29 o 3082 2427.25/2434.29 o 3067 2427.25/2434.29 o 3066 2427.25/2434.29 o 3047 2427.25/2434.29 o 3024 2427.25/2434.29 o 3001 2427.25/2434.29 o 2975 2427.25/2434.29 o 2968 2427.25/2434.29 o 2951 2427.25/2434.29 o 2950 2427.25/2434.29 o 2945 2427.25/2434.29 o 2890 2427.25/2434.29 o 2889 2427.25/2434.29 o 2882 2427.25/2434.29 o 2879 2427.25/2434.29 o 2866 2427.25/2434.29 o 2838 2427.25/2434.29 o 2832 2427.25/2434.29 o 2821 2427.25/2434.29 o 2802 2427.25/2434.29 o 2777 2427.25/2434.29 o 2775 2427.25/2434.29 o 2773 2427.25/2434.29 o 2761 2427.25/2434.29 o 2707 2427.25/2434.29 o 2706 2427.25/2434.29 o 2682 2427.25/2434.29 o 2681 2427.25/2434.29 o 2652 2427.25/2434.29 o 2638 2427.25/2434.29 o 2630 2427.25/2434.29 o 2629 2427.25/2434.29 o 2617 2427.25/2434.29 o 2614 2427.25/2434.29 o 2602 2427.25/2434.29 o 2600 2427.25/2434.29 o 2597 2427.25/2434.29 o 2591 2427.25/2434.29 o 2588 2427.25/2434.29 o 2570 2427.25/2434.29 o 2569 2427.25/2434.29 o 2531 2427.25/2434.29 o 2514 2427.25/2434.29 o 2500 2427.25/2434.29 o 2490 2427.25/2434.29 o 2488 2427.25/2434.29 o 2471 2427.25/2434.29 o 2450 2427.25/2434.29 o 2449 2427.25/2434.29 o 2447 2427.25/2434.29 o 2435 2427.25/2434.29 o 2386 2427.25/2434.29 o 2384 2427.25/2434.29 o 2371 2427.25/2434.29 o 2359 2427.25/2434.29 o 2351 2427.25/2434.29 o 2345 2427.25/2434.29 o 2339 2427.25/2434.29 o 2338 2427.25/2434.29 o 2331 2427.25/2434.29 o 2299 2427.25/2434.29 o 2295 2427.25/2434.29 o 2292 2427.25/2434.29 o 2282 2427.25/2434.29 o 2277 2427.25/2434.29 o 2255 2427.25/2434.29 o 2244 2427.25/2434.29 o 2238 2427.25/2434.29 o 2234 2427.25/2434.29 o 2227 2427.25/2434.29 o 2189 2427.25/2434.29 o 2164 2427.25/2434.29 o 2151 2427.25/2434.29 o 2131 2427.25/2434.29 o 2129 2427.25/2434.29 o 2111 2427.25/2434.29 o 2098 2427.25/2434.29 o 2096 2427.25/2434.29 o 2095 2427.25/2434.29 o 2086 2427.25/2434.29 o 2084 2427.25/2434.29 o 2080 2427.25/2434.29 o 2065 2427.25/2434.29 o 2018 2427.25/2434.29 o 2014 2427.25/2434.29 o 2012 2427.25/2434.29 o 2011 2427.25/2434.29 o 2008 2427.25/2434.29 o 1968 2427.25/2434.29 o 1964 2427.25/2434.29 o 1962 2427.25/2434.29 o 1961 2427.25/2434.29 o 1960 2427.25/2434.29 o 1959 2427.25/2434.29 o 1923 2427.25/2434.29 o 1906 2427.25/2434.29 o 1879 2427.25/2434.29 o 1875 2427.25/2434.29 o 1871 2427.25/2434.29 o 1868 2427.25/2434.29 o 1867 2427.25/2434.29 o 1866 2427.25/2434.29 o 1846 2427.25/2434.29 o 1843 2427.25/2434.29 o 1842 2427.25/2434.29 o 1841 2427.25/2434.29 o 1840 2427.25/2434.29 o 1838 2427.25/2434.29 o 1837 2427.25/2434.29 o 1835 2427.25/2434.29 o 1816 2427.25/2434.29 o 1812 2427.25/2434.29 o 1806 2427.25/2434.29 o 1802 2427.25/2434.29 o 1793 2427.25/2434.29 o 1781 2427.25/2434.29 o 1771 2427.25/2434.29 o 1731 2427.25/2434.29 o 1709 2427.25/2434.29 o 1689 2427.25/2434.29 o 1676 2427.25/2434.29 o 1672 2427.25/2434.29 o 1671 2427.25/2434.29 o 1670 2427.25/2434.29 o 1667 2427.25/2434.29 o 1665 2427.25/2434.29 o 1663 2427.25/2434.29 o 1661 2427.25/2434.29 o 1659 2427.25/2434.29 o 1647 2427.25/2434.29 o 1646 2427.25/2434.29 o 1643 2427.25/2434.29 o 1637 2427.25/2434.29 o 1623 2427.25/2434.29 o 1616 2427.25/2434.29 o 1596 2427.25/2434.29 o 1558 2427.25/2434.29 o 1531 2427.25/2434.29 o 1526 2427.25/2434.29 o 1513 2427.25/2434.29 o 1499 2427.25/2434.29 o 1496 2427.25/2434.29 o 1482 2427.25/2434.29 o 1478 2427.25/2434.29 o 1456 2427.25/2434.29 o 1454 2427.25/2434.29 o 1442 2427.25/2434.29 o 1438 2427.25/2434.29 o 1437 2427.25/2434.29 o 1436 2427.25/2434.29 o 1395 2427.25/2434.29 o 1382 2427.25/2434.29 o 1380 2427.25/2434.29 o 1371 2427.25/2434.29 o 1370 2427.25/2434.29 o 1367 2427.25/2434.29 o 1352 2427.25/2434.29 o 1284 2427.25/2434.29 o 1210 2427.25/2434.29 o 1206 2427.25/2434.29 o 1200 2427.25/2434.29 o 1198 2427.25/2434.29 o 1190 2427.25/2434.29 o 1176 2427.25/2434.29 o 1169 2427.25/2434.29 o 1163 2427.25/2434.29 o 1131 2427.25/2434.29 o 1127 2427.25/2434.29 o 1120 2427.25/2434.29 o 1113 2427.25/2434.29 o 1111 2427.25/2434.29 o 1103 2427.25/2434.29 o 1101 2427.25/2434.29 o 1100 2427.25/2434.29 o 1098 2427.25/2434.29 o 1097 2427.25/2434.29 o 1096 2427.25/2434.29 o 1075 2427.25/2434.29 o 1072 2427.25/2434.29 o 1070 2427.25/2434.29 o 1068 2427.25/2434.29 o 1063 2427.25/2434.29 o 1059 2427.25/2434.29 o 1055 2427.25/2434.29 o 1054 2427.25/2434.29 o 1048 2427.25/2434.29 o 1045 2427.25/2434.29 o 1042 2427.25/2434.29 o 1036 2427.25/2434.29 o 1034 2427.25/2434.29 o 1024 2427.25/2434.29 o 1019 2427.25/2434.29 o 1012 2427.25/2434.29 o 1008 2427.25/2434.29 o 994 2427.25/2434.29 o 992 2427.25/2434.29 o 990 2427.25/2434.29 o 968 2427.25/2434.29 o 950 2427.25/2434.29 o 941 2427.25/2434.29 o 940 2427.25/2434.29 o 916 2427.25/2434.29 o 902 2427.25/2434.29 o 881 2427.25/2434.29 o 879 2427.25/2434.29 o 878 2427.25/2434.29 o 876 2427.25/2434.29 o 855 2427.25/2434.29 o 835 2427.25/2434.29 o 817 2427.25/2434.29 o 796 2427.25/2434.29 o 779 2427.25/2434.29 o 777 2427.25/2434.29 o 775 2427.25/2434.29 o 774 2427.25/2434.29 o 771 2427.25/2434.29 o 770 2427.25/2434.29 o 768 2427.25/2434.29 o 766 2427.25/2434.29 o 762 2427.25/2434.29 o 760 2427.25/2434.29 o 747 2427.25/2434.29 o 744 2427.25/2434.29 o 736 2427.25/2434.29 o 734 2427.25/2434.29 o 729 2427.25/2434.29 o 724 2427.25/2434.29 o 720 2427.25/2434.29 o 717 2427.25/2434.29 o 701 2427.25/2434.29 o 678 2427.25/2434.29 o 677 2427.25/2434.29 o 675 2427.25/2434.29 o 664 2427.25/2434.29 o 661 2427.25/2434.29 o 659 2427.25/2434.29 o 645 2427.25/2434.29 o 639 2427.25/2434.29 o 610 2427.25/2434.29 o 609 2427.25/2434.29 o 608 2427.25/2434.29 o 603 2427.25/2434.29 o 591 2427.25/2434.29 o 588 2427.25/2434.29 o 573 2427.25/2434.29 o 569 2427.25/2434.29 o 563 2427.25/2434.29 o 562 2427.25/2434.29 o 561 2427.25/2434.29 o 554 2427.25/2434.29 o 537 2427.25/2434.29 o 532 2427.25/2434.29 o 521 2427.25/2434.29 o 520 2427.25/2434.29 o 518 2427.25/2434.29 o 499 2427.25/2434.29 o 497 2427.25/2434.29 o 494 2427.25/2434.29 o 492 2427.25/2434.29 o 489 2427.25/2434.29 o 481 2427.25/2434.29 o 480 2427.25/2434.29 o 476 2427.25/2434.29 o 475 2427.25/2434.29 o 468 2427.25/2434.29 o 444 2427.25/2434.29 o 434 2427.25/2434.29 o 433 2427.25/2434.29 o 430 2427.25/2434.29 o 423 2427.25/2434.29 o 420 2427.25/2434.29 o 418 2427.25/2434.29 o 409 2427.25/2434.29 o 407 2427.25/2434.29 o 406 2427.25/2434.29 o 401 2427.25/2434.29 o 390 2427.25/2434.29 o 388 2427.25/2434.29 o 387 2427.25/2434.29 o 386 2427.25/2434.29 o 385 2427.25/2434.29 o 359 2427.25/2434.29 o 352 2427.25/2434.29 o 351 2427.25/2434.29 o 349 2427.25/2434.29 o 345 2427.25/2434.29 o 340 2427.25/2434.29 o 330 2427.25/2434.29 o 300 2427.25/2434.29 o 293 2427.25/2434.29 o 292 2427.25/2434.29 o 284 2427.25/2434.29 o 273 2427.25/2434.29 o 271 2427.25/2434.29 o 268 2427.25/2434.29 o 265 2427.25/2434.29 o 258 2427.25/2434.29 o 236 2427.25/2434.29 o 230 2427.25/2434.29 o 227 2427.25/2434.29 o 220 2427.25/2434.29 o 210 2427.25/2434.29 o 159 2427.25/2434.29 o 147 2427.25/2434.29 o 146 2427.25/2434.29 o 141 2427.25/2434.29 o 140 2427.25/2434.29 o 125 2427.25/2434.29 o 124 2427.25/2434.29 o 122 2427.25/2434.29 o 120 2427.25/2434.29 o 119 2427.25/2434.29 o 116 2427.25/2434.29 o 115 2427.25/2434.29 o 113 2427.25/2434.29 o 112 2427.25/2434.29 o 111 2427.25/2434.29 o 107 2427.25/2434.29 o 106 2427.25/2434.29 o 105 2427.25/2434.29 o 100 2427.25/2434.29 o 96 2427.25/2434.29 o 91 2427.25/2434.29 o 85 2427.25/2434.29 o 80 2427.25/2434.29 o 71 2427.25/2434.29 o 69 2427.25/2434.29 o 68 2427.25/2434.29 o 66 2427.25/2434.29 o 61 2427.25/2434.29 o 60 2427.25/2434.29 o 56 2427.25/2434.29 o 55 2427.25/2434.29 o 54 2427.25/2434.29 o 53 2427.25/2434.29 o 51 2427.25/2434.29 o 50 2427.25/2434.29 o 48 2427.25/2434.29 o 43 2427.25/2434.29 o 42 2427.25/2434.29 o 41 2427.25/2434.29 o 37 2427.25/2434.29 o 31 2427.25/2434.29 o 29 2427.25/2434.29 o 24 2427.25/2434.29 o 22 2427.25/2434.29 o 21 2427.25/2434.29 o 17 2427.25/2434.29 o 16 2427.25/2434.29 o 15 2427.25/2434.29 o 9 2427.25/2434.29 o 7 2427.25/2434.29 o 6 2427.25/2434.29 o 5 2427.25/2434.29 o 4 2427.25/2434.29 s SATISFIABLE 2427.25/2434.29 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 -x689 x690 -x691 -x692 -x693 -x694 x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 x728 -x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 -x796 -x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 -x833 x834 x835 x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 x861 x862 x863 -x864 -x865 x866 x867 x868 x869 x870 x871 -x872 -x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 x882 x883 -x884 x885 -x886 x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 x900 x901 x902 x903 x904 -x905 x906 -x907 -x908 x909 -x910 x911 -x912 x913 -x914 x915 x916 -x917 -x918 x919 x920 -x921 x922 x923 -x924 -x925 -x926 x927 -x928 x929 x930 x931 -x932 x933 x934 -x935 -x936 -x937 x938 x939 x940 x941 -x942 -x943 x944 -x945 x946 x947 x948 -x949 x950 x951 -x952 x953 x954 -x955 x956 x957 x958 -x959 x960 x961 x962 x963 -x964 -x965 -x966 x967 x968 x969 x970 -x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 -x980 x981 x982 -x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 x992 -x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 x1063 x1064 x1065 x1066 -x1067 -x1068 x1069 -x1070 x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 x1113 x1114 -x1115 x1116 x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 -x1131 x1132 -x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 x1159 -x1160 x1161 -x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 x1252 x1253 x1254 -x1255 x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 x1293 x1294
OK 4
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60974 MiB free)
memory of node 1: 64465 MiB (62261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523499-1751607171/watcher-4523499-1751607171 -o /tmp/evaluation-result-4523499-1751607171/solver-4523499-1751607171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85127 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523499-1751607171.opb 3600 HOME
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=85917, runsolver pid=85914
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.06 4.08 4.09 6/272 85921
/proc/meminfo: memFree=126193360/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=25564 memory=10100 CPUtime=0.08 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 1506 0 0 0 8 0 0 0 20 0 1 0 76395014 26177536 2525 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 6391 2525 1088 2752 0 3044 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 14580 KiB
[startup+0.205823 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 85921
/proc/meminfo: memFree=126193360/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=27608 memory=10136 CPUtime=0.18 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 2022 0 0 0 18 0 0 0 20 0 1 0 76395014 28270592 2534 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 6902 2534 1088 2752 0 3555 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 14616 KiB
[startup+0.305742 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 85921
/proc/meminfo: memFree=126193360/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=27608 memory=12184 CPUtime=0.28 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 2023 0 0 0 28 0 0 0 20 0 1 0 76395014 28270592 3046 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 6902 3046 1088 2752 0 3555 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 16664 KiB
[startup+0.700243 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 85921
/proc/meminfo: memFree=126189264/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=79552 memory=62120 CPUtime=0.68 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 7321 0 0 0 66 2 0 0 20 0 1 0 76395014 81461248 15530 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 19888 15530 1152 2752 0 16541 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86536 KiB
Current children cumulated memory: 66600 KiB
[startup+1.50023 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 85921
/proc/meminfo: memFree=126140748/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=79552 memory=62120 CPUtime=1.47 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 7322 0 0 0 145 2 0 0 20 0 1 0 76395014 81461248 15530 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 19888 15530 1152 2752 0 16541 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86536 KiB
Current children cumulated memory: 66600 KiB
[startup+3.1056 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 85921
/proc/meminfo: memFree=125845008/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=406876 memory=364648 CPUtime=3.07 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 54539 0 0 0 296 11 0 0 20 0 1 0 76395014 416641024 91162 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 101719 91162 2752 2752 0 98372 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 413860 KiB
Current children cumulated memory: 369128 KiB
[startup+6.30023 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 85921
/proc/meminfo: memFree=125720012/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=522428 memory=482272 CPUtime=6.26 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 81370 0 0 0 611 15 0 0 20 0 1 0 76395014 534966272 120568 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 130607 120568 2816 2752 0 127260 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 529412 KiB
Current children cumulated memory: 486752 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 85921
/proc/meminfo: memFree=125568524/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=650032 memory=608304 CPUtime=12.64 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 112984 0 0 0 1244 20 0 0 20 0 1 0 76395014 665632768 152076 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 162508 152076 2816 2752 0 159161 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 657016 KiB
Current children cumulated memory: 612784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 85922
/proc/meminfo: memFree=125569496/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=659688 memory=619184 CPUtime=25.39 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 115732 0 0 0 2519 20 0 0 20 0 1 0 76395014 675520512 154796 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 164922 154796 2816 2752 0 161575 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 666672 KiB
Current children cumulated memory: 623664 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 85922
/proc/meminfo: memFree=125511392/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=724200 memory=683012 CPUtime=50.93 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 136581 0 0 0 5068 25 0 0 20 0 1 0 76395014 741580800 170753 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 181050 170753 2848 2752 0 177703 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 731184 KiB
Current children cumulated memory: 687492 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 85928
/proc/meminfo: memFree=125334856/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 246 104 0 0 0 0 0 0 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=85920] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85920/stat : 85920 (timeout) S 85917 85920 85114 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76395013 2723840 352 18446744073709551615 94547463708672 94547463725185 140722855773680 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94547463739952 94547463742040 94547464634368 140722855782832 140722855782946 140722855782946 140722855788519 0
/proc/85920/statm: 665 352 352 5 0 90 0
[pid=85921] ppid=85920 vsize=885092 memory=873732 CPUtime=2375.52 cores=0,2
/proc/85921/stat : 85921 (NuPBO-DeepOptS+) R 85920 85920 85114 0 -1 4194304 210170 0 0 0 237493 59 0 0 20 0 1 0 76395014 906334208 218433 18446744073709551615 4198400 15468185 140720459817984 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24940544 140720459823548 140720459823649 140720459823649 140720459829222 0
/proc/85921/statm: 221273 218433 3168 2752 0 217926 0
Current children cumulated CPU time: 2375.52 s
Current children cumulated vsize: 892076 KiB
Current children cumulated memory: 878212 KiB
[startup+2434.31 s]
# the end of solver process 85917 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2426.64 s, system=0.700028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2406.4 s]
/proc/loadavg: 4.12 4.16 4.11 5/273 86185
/proc/meminfo: memFree=127758256/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=98548 memory=74200 CPUtime=8.32 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 19098 0 0 0 829 3 0 0 20 0 1 0 76634815 100913152 18550 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 24637 18550 1888 2271 0 19275 0
Current children cumulated CPU time: 2399.53 s
Current children cumulated vsize: 105532 KiB
Current children cumulated memory: 78680 KiB
[startup+2419.2 s]
/proc/loadavg: 4.09 4.15 4.11 5/274 86190
/proc/meminfo: memFree=127774936/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=120192 memory=93812 CPUtime=21.08 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 21914 0 0 0 2103 5 0 0 20 0 1 0 76634815 123076608 23453 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 30048 23453 1888 2271 0 24686 0
Current children cumulated CPU time: 2412.29 s
Current children cumulated vsize: 127176 KiB
Current children cumulated memory: 98292 KiB
[startup+2425.6 s]
/proc/loadavg: 4.08 4.15 4.11 5/274 86190
/proc/meminfo: memFree=127754772/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=120424 memory=94452 CPUtime=27.46 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 22046 0 0 0 2740 6 0 0 20 0 1 0 76634815 123314176 23613 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 30106 23613 1888 2271 0 24744 0
Current children cumulated CPU time: 2418.67 s
Current children cumulated vsize: 127408 KiB
Current children cumulated memory: 98932 KiB
[startup+2428.8 s]
/proc/loadavg: 4.08 4.15 4.11 5/274 86190
/proc/meminfo: memFree=127747608/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=122392 memory=96500 CPUtime=30.65 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 22600 0 0 0 3059 6 0 0 20 0 1 0 76634815 125329408 24125 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 30598 24125 1888 2271 0 25236 0
Current children cumulated CPU time: 2421.86 s
Current children cumulated vsize: 129376 KiB
Current children cumulated memory: 100980 KiB
[startup+2432 s]*
/proc/loadavg: 4.08 4.15 4.10 5/274 86190
/proc/meminfo: memFree=127746960/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=123612 memory=98164 CPUtime=33.85 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 23049 0 0 0 3378 7 0 0 20 0 1 0 76634815 126578688 24541 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 30903 24541 1888 2271 0 25541 0
Current children cumulated CPU time: 2425.06 s
Current children cumulated vsize: 130596 KiB
Current children cumulated memory: 102644 KiB
[startup+2433.6 s]
/proc/loadavg: 4.08 4.15 4.10 5/274 86190
/proc/meminfo: memFree=127732624/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=146260 memory=100460 CPUtime=35.44 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 23538 0 0 0 3536 8 0 0 20 0 1 0 76634815 149770240 25115 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 36565 25115 1888 2271 0 31203 0
Current children cumulated CPU time: 2426.65 s
Current children cumulated vsize: 153244 KiB
Current children cumulated memory: 104940 KiB
[startup+2434 s]*
/proc/loadavg: 4.15 4.16 4.11 5/274 86190
/proc/meminfo: memFree=127718508/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=146260 memory=100460 CPUtime=35.84 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 23538 0 0 0 3576 8 0 0 20 0 1 0 76634815 149770240 25115 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 36565 25115 1888 2271 0 31203 0
Current children cumulated CPU time: 2427.05 s
Current children cumulated vsize: 153244 KiB
Current children cumulated memory: 104940 KiB
[startup+2434.2 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 86190
/proc/meminfo: memFree=127718508/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2391.21 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 281 210518 0 0 0 0 239061 60 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
[pid=86184] ppid=85917 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/86184/stat : 86184 (timeout) S 85917 86184 85114 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 76634815 2723840 352 18446744073709551615 94121516621824 94121516638337 140729813136656 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94121516653104 94121516655192 94121528602624 140729813145987 140729813146146 140729813146146 140729813151719 0
/proc/86184/statm: 665 352 352 5 0 90 0
[pid=86185] ppid=86184 vsize=146260 memory=100460 CPUtime=36.04 cores=0,2
/proc/86185/stat : 86185 (ExactPR-nols) R 86184 86184 85114 0 -1 4194304 23538 0 0 0 3596 8 0 0 20 0 1 0 76634815 149770240 25115 18446744073709551615 93939856367616 93939865667269 140731211245600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93939867453760 93939867492840 93939883409408 140731211250072 140731211250212 140731211250212 140731211255785 0
/proc/86185/statm: 36565 25115 1888 2271 0 31203 0
Current children cumulated CPU time: 2427.25 s
Current children cumulated vsize: 153244 KiB
Current children cumulated memory: 104940 KiB
[startup+2434.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 86190
/proc/meminfo: memFree=127718508/131249996 swapFree=33000896/33010684
[pid=85917] ppid=85914 vsize=4324 memory=3072 CPUtime=2427.33 cores=0,2
/proc/85917/stat : 85917 (Hybrid-NuPBODee) S 85914 85917 85114 0 -1 4194304 431 235042 0 1 0 0 242664 69 20 0 1 0 76395012 4427776 768 18446744073709551615 94164085895168 94164086789701 140721326645536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94164087028752 94164087076496 94164099719168 140721326647643 140721326647795 140721326647795 140721326653397 0
/proc/85917/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 2427.33 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 2434.31
CPU time (s): 2427.34
CPU user time (s): 2426.64
CPU system time (s): 0.700028
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 1023332
Max. memory (cumulated for all children) (KiB): 986980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2426.64
system time used= 0.700028
maximum resident set size= 982500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235689
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 988
involuntary context switches= 5346
# summary of solver processes directly reported to runsolver:
# pid: 85917
# total CPU time (s): 2427.34
# total CPU user time (s): 2426.64
# total CPU system time (s): 0.700028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12743 second user time and 11.7995 second system time
The end
Begin job on nodeC023 at 2025-07-04 07:32:51 IDJOB=4523499 IDBENCH=180364 IDSOLVER=3332 FILE ID=nodeC023/4523499-1751607171 RUNJOBID= nodeC023-1751601628-85127 SLURM_JOB_ID= 9598881 Free space on /tmp= 431776 MiB SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523499-1751607171/watcher-4523499-1751607171 -o /tmp/evaluation-result-4523499-1751607171/solver-4523499-1751607171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751601628-85127 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523499-1751607171.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f833be1967b503cfce1013007946cb2b RANDOM SEED=678015963 nodeC023 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.506 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.78 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.942 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.78 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.923 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.78 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 : 3700.000 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.78 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.848 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.78 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.891 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.78 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 : 3700.000 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.78 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 : 3700.000 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126193360 kB MemAvailable: 126035068 kB Buffers: 16 kB Cached: 584740 kB SwapCached: 2900 kB Active: 3822500 kB Inactive: 445272 kB Active(anon): 3642172 kB Inactive(anon): 53368 kB Active(file): 180328 kB Inactive(file): 391904 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 31424 kB Writeback: 4 kB AnonPages: 3683188 kB Mapped: 132164 kB Shmem: 12524 kB KReclaimable: 217432 kB Slab: 308824 kB SReclaimable: 217432 kB SUnreclaim: 91392 kB KernelStack: 4352 kB PageTables: 10460 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 4098756 kB VmallocTotal: 34359738367 kB VmallocUsed: 150664 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2705408 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431748 MiB End job on nodeC023 at 2025-07-04 08:13:26