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 | 9 | 2658.3 | 2665.57 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb |
| MD5SUM | 1376b7e36587a728493ace6af4c57a8e |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 231.564 |
| 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 | 7345 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 59444 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 7345 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 59444 |
| 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 |
2658.23/2665.55 c 1092 constraints 2658.23/2665.55 c after presolve 1129 2658.23/2665.55 o 8079 2658.23/2665.55 o 5203 2658.23/2665.55 o 5198 2658.23/2665.55 o 5155 2658.23/2665.55 o 5133 2658.23/2665.55 o 5092 2658.23/2665.55 o 5056 2658.23/2665.55 o 5029 2658.23/2665.55 o 5021 2658.23/2665.55 o 5003 2658.23/2665.55 o 5002 2658.23/2665.55 o 4996 2658.23/2665.55 o 4995 2658.23/2665.55 o 4990 2658.23/2665.55 o 4983 2658.23/2665.55 o 4982 2658.23/2665.55 o 4981 2658.23/2665.55 o 4976 2658.23/2665.55 o 4972 2658.23/2665.55 o 4970 2658.23/2665.55 o 4962 2658.23/2665.55 o 4953 2658.23/2665.55 o 4952 2658.23/2665.55 o 4928 2658.23/2665.55 o 4918 2658.23/2665.55 o 4908 2658.23/2665.55 o 4906 2658.23/2665.55 o 4885 2658.23/2665.55 o 4829 2658.23/2665.55 o 4828 2658.23/2665.55 o 4821 2658.23/2665.55 o 4819 2658.23/2665.55 o 4795 2658.23/2665.55 o 4772 2658.23/2665.55 o 4769 2658.23/2665.55 o 4761 2658.23/2665.55 o 4752 2658.23/2665.55 o 4748 2658.23/2665.55 o 4717 2658.23/2665.55 o 4661 2658.23/2665.55 o 4564 2658.23/2665.55 o 4541 2658.23/2665.55 o 4458 2658.23/2665.55 o 4435 2658.23/2665.55 o 4421 2658.23/2665.55 o 4413 2658.23/2665.55 o 4401 2658.23/2665.55 o 4383 2658.23/2665.55 o 4375 2658.23/2665.55 o 4354 2658.23/2665.55 o 4312 2658.23/2665.55 o 4301 2658.23/2665.55 o 4295 2658.23/2665.55 o 4288 2658.23/2665.55 o 4285 2658.23/2665.55 o 4284 2658.23/2665.55 o 4283 2658.23/2665.55 o 4282 2658.23/2665.55 o 4281 2658.23/2665.55 o 4276 2658.23/2665.55 o 4248 2658.23/2665.55 o 4161 2658.23/2665.55 o 4152 2658.23/2665.55 o 4138 2658.23/2665.55 o 4132 2658.23/2665.55 o 4124 2658.23/2665.55 o 4103 2658.23/2665.55 o 4097 2658.23/2665.55 o 4075 2658.23/2665.55 o 4014 2658.23/2665.55 o 4012 2658.23/2665.55 o 3913 2658.23/2665.55 o 3891 2658.23/2665.55 o 3852 2658.23/2665.55 o 3844 2658.23/2665.55 o 3840 2658.23/2665.55 o 3835 2658.23/2665.55 o 3830 2658.23/2665.55 o 3827 2658.23/2665.55 o 3821 2658.23/2665.55 o 3809 2658.23/2665.55 o 3803 2658.23/2665.55 o 3714 2658.23/2665.55 o 3712 2658.23/2665.55 o 3711 2658.23/2665.55 o 3709 2658.23/2665.55 o 3705 2658.23/2665.55 o 3704 2658.23/2665.55 o 3701 2658.23/2665.55 o 3699 2658.23/2665.55 o 3655 2658.23/2665.55 o 3632 2658.23/2665.55 o 3624 2658.23/2665.55 o 3621 2658.23/2665.55 o 3590 2658.23/2665.55 o 3585 2658.23/2665.55 o 3582 2658.23/2665.55 o 3569 2658.23/2665.55 o 3565 2658.23/2665.55 o 3559 2658.23/2665.55 o 3556 2658.23/2665.55 o 3551 2658.23/2665.55 o 3549 2658.23/2665.55 o 3548 2658.23/2665.55 o 3546 2658.23/2665.55 o 3537 2658.23/2665.55 o 3527 2658.23/2665.55 o 3512 2658.23/2665.55 o 3511 2658.23/2665.55 o 3509 2658.23/2665.55 o 3426 2658.23/2665.55 o 3425 2658.23/2665.55 o 3414 2658.23/2665.55 o 3413 2658.23/2665.55 o 3412 2658.23/2665.55 o 3409 2658.23/2665.55 o 3407 2658.23/2665.55 o 3376 2658.23/2665.55 o 3371 2658.23/2665.55 o 3348 2658.23/2665.55 o 3328 2658.23/2665.55 o 3326 2658.23/2665.55 o 3302 2658.23/2665.55 o 3293 2658.23/2665.55 o 3284 2658.23/2665.55 o 3275 2658.23/2665.55 o 3270 2658.23/2665.55 o 3260 2658.23/2665.55 o 3247 2658.23/2665.55 o 3215 2658.23/2665.55 o 3175 2658.23/2665.55 o 3174 2658.23/2665.55 o 3172 2658.23/2665.55 o 3171 2658.23/2665.55 o 3169 2658.23/2665.55 o 3168 2658.23/2665.55 o 3163 2658.23/2665.55 o 3161 2658.23/2665.55 o 3159 2658.23/2665.55 o 3158 2658.23/2665.55 o 3148 2658.23/2665.55 o 3137 2658.23/2665.55 o 3135 2658.23/2665.55 o 3133 2658.23/2665.55 o 3129 2658.23/2665.55 o 3106 2658.23/2665.55 o 3093 2658.23/2665.55 o 3083 2658.23/2665.55 o 3060 2658.23/2665.55 o 3053 2658.23/2665.55 o 3049 2658.23/2665.55 o 3043 2658.23/2665.55 o 3042 2658.23/2665.55 o 3037 2658.23/2665.55 o 3023 2658.23/2665.55 o 3018 2658.23/2665.55 o 3015 2658.23/2665.55 o 3004 2658.23/2665.55 o 2918 2658.23/2665.55 o 2910 2658.23/2665.55 o 2902 2658.23/2665.55 o 2901 2658.23/2665.55 o 2894 2658.23/2665.55 o 2865 2658.23/2665.55 o 2863 2658.23/2665.55 o 2857 2658.23/2665.55 o 2849 2658.23/2665.55 o 2844 2658.23/2665.55 o 2841 2658.23/2665.55 o 2838 2658.23/2665.55 o 2823 2658.23/2665.55 o 2818 2658.23/2665.55 o 2792 2658.23/2665.55 o 2761 2658.23/2665.55 o 2760 2658.23/2665.55 o 2753 2658.23/2665.55 o 2730 2658.23/2665.55 o 2727 2658.23/2665.55 o 2723 2658.23/2665.55 o 2710 2658.23/2665.55 o 2700 2658.23/2665.55 o 2685 2658.23/2665.55 o 2681 2658.23/2665.55 o 2648 2658.23/2665.55 o 2647 2658.23/2665.55 o 2642 2658.23/2665.55 o 2637 2658.23/2665.55 o 2636 2658.23/2665.55 o 2635 2658.23/2665.55 o 2628 2658.23/2665.55 o 2605 2658.23/2665.55 o 2604 2658.23/2665.55 o 2597 2658.23/2665.55 o 2590 2658.23/2665.55 o 2589 2658.23/2665.55 o 2584 2658.23/2665.55 o 2582 2658.23/2665.55 o 2581 2658.23/2665.55 o 2572 2658.23/2665.55 o 2571 2658.23/2665.55 o 2494 2658.23/2665.55 o 2488 2658.23/2665.55 o 2436 2658.23/2665.55 o 2421 2658.23/2665.55 o 2419 2658.23/2665.55 o 2411 2658.23/2665.55 o 2397 2658.23/2665.55 o 2392 2658.23/2665.55 o 2362 2658.23/2665.55 o 2348 2658.23/2665.55 o 2329 2658.23/2665.55 o 2327 2658.23/2665.55 o 2285 2658.23/2665.55 o 2258 2658.23/2665.55 o 2245 2658.23/2665.55 o 2230 2658.23/2665.55 o 2221 2658.23/2665.55 o 2218 2658.23/2665.55 o 2171 2658.23/2665.55 o 2170 2658.23/2665.55 o 2167 2658.23/2665.55 o 2161 2658.23/2665.55 o 2151 2658.23/2665.55 o 2142 2658.23/2665.55 o 2140 2658.23/2665.55 o 2137 2658.23/2665.55 o 2132 2658.23/2665.55 o 2131 2658.23/2665.55 o 2124 2658.23/2665.55 o 2117 2658.23/2665.55 o 2115 2658.23/2665.55 o 2106 2658.23/2665.55 o 2063 2658.23/2665.55 o 2057 2658.23/2665.55 o 2049 2658.23/2665.55 o 2025 2658.23/2665.55 o 2015 2658.23/2665.55 o 2010 2658.23/2665.55 o 1959 2658.23/2665.55 o 1958 2658.23/2665.55 o 1957 2658.23/2665.55 o 1955 2658.23/2665.55 o 1946 2658.23/2665.55 o 1945 2658.23/2665.55 o 1942 2658.23/2665.55 o 1940 2658.23/2665.55 o 1930 2658.23/2665.55 o 1877 2658.23/2665.55 o 1866 2658.23/2665.55 o 1865 2658.23/2665.55 o 1862 2658.23/2665.55 o 1857 2658.23/2665.55 o 1852 2658.23/2665.55 o 1821 2658.23/2665.55 o 1817 2658.23/2665.55 o 1804 2658.23/2665.55 o 1798 2658.23/2665.55 o 1794 2658.23/2665.55 o 1789 2658.23/2665.55 o 1779 2658.23/2665.55 o 1776 2658.23/2665.55 o 1735 2658.23/2665.55 o 1684 2658.23/2665.55 o 1682 2658.23/2665.55 o 1679 2658.23/2665.55 o 1671 2658.23/2665.55 o 1655 2658.23/2665.55 o 1642 2658.23/2665.55 o 1631 2658.23/2665.55 o 1627 2658.23/2665.55 o 1620 2658.23/2665.55 o 1614 2658.23/2665.55 o 1602 2658.23/2665.55 o 1598 2658.23/2665.55 o 1597 2658.23/2665.55 o 1594 2658.23/2665.55 o 1591 2658.23/2665.55 o 1584 2658.23/2665.55 o 1582 2658.23/2665.55 o 1579 2658.23/2665.55 o 1543 2658.23/2665.55 o 1487 2658.23/2665.55 o 1486 2658.23/2665.55 o 1484 2658.23/2665.55 o 1482 2658.23/2665.55 o 1479 2658.23/2665.55 o 1478 2658.23/2665.55 o 1463 2658.23/2665.55 o 1443 2658.23/2665.55 o 1414 2658.23/2665.55 o 1374 2658.23/2665.55 o 1371 2658.23/2665.55 o 1370 2658.23/2665.55 o 1369 2658.23/2665.55 o 1364 2658.23/2665.55 o 1342 2658.23/2665.55 o 1339 2658.23/2665.55 o 1298 2658.23/2665.55 o 1290 2658.23/2665.55 o 1289 2658.23/2665.55 o 1265 2658.23/2665.55 o 1262 2658.23/2665.55 o 1260 2658.23/2665.55 o 1253 2658.23/2665.55 o 1247 2658.23/2665.55 o 1246 2658.23/2665.55 o 1231 2658.23/2665.55 o 1224 2658.23/2665.55 o 1198 2658.23/2665.55 o 1141 2658.23/2665.55 o 1138 2658.23/2665.55 o 1137 2658.23/2665.55 o 1135 2658.23/2665.55 o 1129 2658.23/2665.55 o 1121 2658.23/2665.55 o 1117 2658.23/2665.55 o 1114 2658.23/2665.55 o 1110 2658.23/2665.55 o 1106 2658.23/2665.55 o 1103 2658.23/2665.55 o 1069 2658.23/2665.55 o 1066 2658.23/2665.55 o 995 2658.23/2665.55 o 983 2658.23/2665.55 o 982 2658.23/2665.55 o 979 2658.23/2665.55 o 978 2658.23/2665.55 o 977 2658.23/2665.55 o 968 2658.23/2665.55 o 966 2658.23/2665.55 o 958 2658.23/2665.55 o 957 2658.23/2665.55 o 951 2658.23/2665.55 o 944 2658.23/2665.55 o 941 2658.23/2665.55 o 938 2658.23/2665.55 o 925 2658.23/2665.55 o 923 2658.23/2665.55 o 922 2658.23/2665.55 o 898 2658.23/2665.55 o 895 2658.23/2665.55 o 889 2658.23/2665.55 o 887 2658.23/2665.55 o 880 2658.23/2665.55 o 874 2658.23/2665.55 o 865 2658.23/2665.55 o 861 2658.23/2665.55 o 855 2658.23/2665.55 o 854 2658.23/2665.55 o 853 2658.23/2665.55 o 841 2658.23/2665.55 o 803 2658.23/2665.55 o 800 2658.23/2665.55 o 795 2658.23/2665.55 o 788 2658.23/2665.55 o 785 2658.23/2665.55 o 764 2658.23/2665.55 o 761 2658.23/2665.55 o 753 2658.23/2665.55 o 751 2658.23/2665.55 o 744 2658.23/2665.55 o 741 2658.23/2665.55 o 737 2658.23/2665.55 o 736 2658.23/2665.55 o 733 2658.23/2665.55 o 727 2658.23/2665.55 o 725 2658.23/2665.55 o 720 2658.23/2665.55 o 714 2658.23/2665.55 o 690 2658.23/2665.55 o 687 2658.23/2665.55 o 686 2658.23/2665.55 o 680 2658.23/2665.55 o 679 2658.23/2665.55 o 675 2658.23/2665.55 o 671 2658.23/2665.55 o 648 2658.23/2665.55 o 643 2658.23/2665.55 o 637 2658.23/2665.55 o 636 2658.23/2665.55 o 631 2658.23/2665.55 o 627 2658.23/2665.55 o 613 2658.23/2665.55 o 581 2658.23/2665.55 o 578 2658.23/2665.55 o 577 2658.23/2665.55 o 556 2658.23/2665.55 o 551 2658.23/2665.55 o 547 2658.23/2665.55 o 541 2658.23/2665.55 o 536 2658.23/2665.55 o 523 2658.23/2665.55 o 507 2658.23/2665.55 o 505 2658.23/2665.55 o 502 2658.23/2665.55 o 501 2658.23/2665.55 o 496 2658.23/2665.55 o 493 2658.23/2665.55 o 492 2658.23/2665.55 o 490 2658.23/2665.55 o 489 2658.23/2665.55 o 488 2658.23/2665.55 o 485 2658.23/2665.55 o 482 2658.23/2665.55 o 475 2658.23/2665.55 o 471 2658.23/2665.55 o 469 2658.23/2665.55 o 468 2658.23/2665.55 o 443 2658.23/2665.55 o 439 2658.23/2665.55 o 429 2658.23/2665.55 o 426 2658.23/2665.55 o 420 2658.23/2665.55 o 396 2658.23/2665.55 o 389 2658.23/2665.55 o 381 2658.23/2665.55 o 380 2658.23/2665.55 o 374 2658.23/2665.55 o 332 2658.23/2665.55 o 324 2658.23/2665.55 o 322 2658.23/2665.55 o 311 2658.23/2665.55 o 306 2658.23/2665.55 o 304 2658.23/2665.55 o 276 2658.23/2665.55 o 262 2658.23/2665.55 o 259 2658.23/2665.55 o 256 2658.23/2665.55 o 248 2658.23/2665.55 o 247 2658.23/2665.55 o 237 2658.23/2665.55 o 236 2658.23/2665.55 o 231 2658.23/2665.55 o 224 2658.23/2665.55 o 213 2658.23/2665.55 o 208 2658.23/2665.55 o 206 2658.23/2665.55 o 204 2658.23/2665.55 o 201 2658.23/2665.55 o 196 2658.23/2665.55 o 191 2658.23/2665.55 o 190 2658.23/2665.55 o 186 2658.23/2665.55 o 185 2658.23/2665.55 o 182 2658.23/2665.55 o 151 2658.23/2665.55 o 138 2658.23/2665.55 o 133 2658.23/2665.55 o 132 2658.23/2665.55 o 125 2658.23/2665.55 o 124 2658.23/2665.55 o 116 2658.23/2665.55 o 115 2658.23/2665.55 o 113 2658.23/2665.55 o 105 2658.23/2665.55 o 103 2658.23/2665.55 o 91 2658.23/2665.55 o 81 2658.23/2665.55 o 71 2658.23/2665.55 o 64 2658.23/2665.55 o 59 2658.23/2665.55 o 56 2658.23/2665.55 o 52 2658.23/2665.55 o 50 2658.23/2665.55 o 46 2658.23/2665.55 o 42 2658.23/2665.55 o 38 2658.23/2665.55 o 25 2658.23/2665.55 o 23 2658.23/2665.55 o 22 2658.23/2665.55 o 21 2658.23/2665.55 o 19 2658.23/2665.55 o 18 2658.23/2665.55 o 16 2658.23/2665.55 o 13 2658.23/2665.55 o 9 2658.23/2665.55 s SATISFIABLE 2658.23/2665.55 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 9
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62349 MiB free)
memory of node 1: 64465 MiB (62055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523821-1751609330/watcher-4523821-1751609330 -o /tmp/evaluation-result-4523821-1751609330/solver-4523821-1751609330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751608016-89745 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523821-1751609330.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89937, runsolver pid=89934
[startup+0.100069 s]*
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=20440 memory=5616 CPUtime=0.07 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 632 0 0 0 7 0 0 0 20 0 1 0 76611697 20930560 1404 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 5110 1404 1088 2752 0 1763 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 9968 KiB
[startup+0.213909 s]*
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=21464 memory=6384 CPUtime=0.17 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 1092 0 0 0 17 0 0 0 20 0 1 0 76611697 21979136 1596 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 5366 1596 1088 2752 0 2019 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28448 KiB
Current children cumulated memory: 10736 KiB
[startup+0.313311 s]*
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=25564 memory=9204 CPUtime=0.25 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 1293 0 0 0 25 0 0 0 20 0 1 0 76611697 26177536 2301 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 6391 2301 1088 2752 0 3044 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 13556 KiB
[startup+0.700329 s]
/proc/loadavg: 4.18 4.10 4.01 5/259 89941
/proc/meminfo: memFree=127390892/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=27608 memory=11212 CPUtime=0.6 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 1810 0 0 0 60 0 0 0 20 0 1 0 76611697 28270592 2803 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 6902 2803 1088 2752 0 3555 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 15564 KiB
[startup+1.50041 s]
/proc/loadavg: 4.18 4.10 4.01 4/253 89951
/proc/meminfo: memFree=128107908/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=45184 memory=28632 CPUtime=1.4 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 3112 0 0 0 139 1 0 0 20 0 1 0 76611697 46268416 7158 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 11296 7158 1088 2752 0 7949 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 52168 KiB
Current children cumulated memory: 32984 KiB
[startup+3.11332 s]
/proc/loadavg: 4.17 4.10 4.01 5/254 89978
/proc/meminfo: memFree=128054332/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=83868 memory=72536 CPUtime=3.01 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 8752 0 0 0 299 2 0 0 20 0 1 0 76611697 85880832 18134 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 20967 18134 2432 2752 0 17620 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 90852 KiB
Current children cumulated memory: 76888 KiB
[startup+6.3004 s]
/proc/loadavg: 4.17 4.10 4.01 5/259 89991
/proc/meminfo: memFree=127515948/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=472964 memory=432144 CPUtime=6.18 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 68410 0 0 0 604 14 0 0 20 0 1 0 76611697 484315136 108036 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 118241 108036 2816 2752 0 114894 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 479948 KiB
Current children cumulated memory: 436496 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.09 4.01 5/259 89991
/proc/meminfo: memFree=127196272/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=639656 memory=596552 CPUtime=12.57 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 109569 0 0 0 1234 23 0 0 20 0 1 0 76611697 655007744 149138 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 159914 149138 2816 2752 0 156567 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 646640 KiB
Current children cumulated memory: 600904 KiB
[startup+25.5005 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 89991
/proc/meminfo: memFree=126543900/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=687096 memory=645368 CPUtime=25.33 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 127363 0 0 0 2508 25 0 0 20 0 1 0 76611697 703586304 161342 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 171774 161342 2816 2752 0 168427 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 694080 KiB
Current children cumulated memory: 649720 KiB
[startup+51.1137 s]
/proc/loadavg: 4.15 4.10 4.01 5/259 89991
/proc/meminfo: memFree=126544180/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/89940/stat : 89940 (timeout) S 89937 89940 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76611697 2723840 352 18446744073709551615 94025360896000 94025360912513 140725439295344 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94025360927280 94025360929368 94025372450816 140725439302064 140725439302178 140725439302178 140725439307751 0
/proc/89940/statm: 665 352 352 5 0 90 0
[pid=89941] ppid=89940 vsize=687096 memory=645496 CPUtime=50.87 cores=4,6
/proc/89941/stat : 89941 (NuPBO-DeepOptS+) R 89940 89940 89672 0 -1 4194304 127373 0 0 0 5062 25 0 0 20 0 1 0 76611697 703586304 161374 18446744073709551615 4198400 15468185 140735992410624 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 29794304 140735992416700 140735992416801 140735992416801 140735992422374 0
/proc/89941/statm: 171774 161374 2848 2752 0 168427 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 694080 KiB
Current children cumulated memory: 649848 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/259 89993
/proc/meminfo: memFree=126408156/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=89940] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2615.16 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2665.57 s]
# the end of solver process 89937 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2657.67 s, system=0.623653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2636.8 s]
/proc/loadavg: 4.11 4.09 4.11 5/258 90234
/proc/meminfo: memFree=116564288/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=237.99 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 23786 13 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2629.61 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2649.6 s]
/proc/loadavg: 4.09 4.09 4.11 5/258 90235
/proc/meminfo: memFree=116567648/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=250.75 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 25062 13 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2642.37 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2656 s]*
/proc/loadavg: 4.08 4.08 4.11 5/258 90235
/proc/meminfo: memFree=116564516/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=257.15 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 25702 13 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2648.77 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2662.4 s]
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116564516/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=263.52 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26338 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2655.14 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2664 s]*
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116564768/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=265.13 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26499 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2656.75 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2664.8 s]
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116564768/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=265.91 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26577 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2657.53 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2665.2 s]
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116567012/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=266.31 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26617 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2657.93 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2665.4 s]
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116567012/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=266.51 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26637 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2658.13 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
[startup+2665.5 s]
/proc/loadavg: 4.07 4.08 4.10 5/258 90235
/proc/meminfo: memFree=116567012/131382120 swapFree=33010416/33010684
[pid=89937] ppid=89934 vsize=4324 memory=2944 CPUtime=2391.62 cores=4,6
/proc/89937/stat : 89937 (Hybrid-NuPBODee) S 89934 89937 89672 0 -1 4194304 284 215811 0 0 0 0 239118 44 20 0 1 0 76611695 4427776 736 18446744073709551615 94195190833152 94195191727685 140723624763184 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94195191966736 94195192014480 94195214036992 140723624769883 140723624770035 140723624770035 140723624775637 0
/proc/89937/statm: 1081 736 672 219 0 143 0
[pid=90218] ppid=89937 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/90218/stat : 90218 (timeout) S 89937 90218 89672 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 76851498 2723840 352 18446744073709551615 94589048418304 94589048434817 140724988478992 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94589048449584 94589048451672 94589052497920 140724988488067 140724988488226 140724988488226 140724988493799 0
/proc/90218/statm: 665 352 352 5 0 90 0
[pid=90219] ppid=90218 vsize=201012 memory=137036 CPUtime=266.61 cores=4,6
/proc/90219/stat : 90219 (ExactPR-nols) R 90218 90218 89672 0 -1 4194304 26645 0 0 0 26647 14 0 0 20 0 1 0 76851499 205836288 34259 18446744073709551615 94057399033856 94057408333509 140722843153424 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94057410120000 94057410159080 94057449582592 140722843154840 140722843154980 140722843154980 140722843160553 0
/proc/90219/statm: 50253 34259 1856 2271 0 44891 0
Current children cumulated CPU time: 2658.23 s
Current children cumulated vsize: 207996 KiB
Current children cumulated memory: 141388 KiB
Child status: 0
Real time (s): 2665.57
CPU time (s): 2658.3
CPU user time (s): 2657.67
CPU system time (s): 0.623653
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 1014816
Max. memory (cumulated for all children) (KiB): 968472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2657.67
system time used= 0.623653
maximum resident set size= 964120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 914
involuntary context switches= 1762
# summary of solver processes directly reported to runsolver:
# pid: 89937
# total CPU time (s): 2658.3
# total CPU user time (s): 2657.67
# total CPU system time (s): 0.623653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7001 second user time and 27.6516 second system time
The end
Begin job on nodeC003 at 2025-07-04 08:08:50 IDJOB=4523821 IDBENCH=180376 IDSOLVER=3332 FILE ID=nodeC003/4523821-1751609330 RUNJOBID= nodeC003-1751608016-89745 SLURM_JOB_ID= 9598900 Free space on /tmp= 431920 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_73_label5_adversarial_norm_1.opb COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523821-1751609330/watcher-4523821-1751609330 -o /tmp/evaluation-result-4523821-1751609330/solver-4523821-1751609330 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751608016-89745 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4523821-1751609330.opb 3600 HOME TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e RANDOM SEED=599477089 nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.657 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.224 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.083 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.642 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.254 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.163 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127390840 kB MemAvailable: 127682620 kB Buffers: 2736 kB Cached: 1087340 kB SwapCached: 36 kB Active: 2788048 kB Inactive: 595172 kB Active(anon): 2303460 kB Inactive(anon): 7608 kB Active(file): 484588 kB Inactive(file): 587564 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 31424 kB Writeback: 0 kB AnonPages: 2292080 kB Mapped: 140728 kB Shmem: 17924 kB KReclaimable: 118512 kB Slab: 204220 kB SReclaimable: 118512 kB SUnreclaim: 85708 kB KernelStack: 4144 kB PageTables: 7696 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 2660976 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1472512 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431804 MiB End job on nodeC003 at 2025-07-04 08:53:16