| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3602.03 | 3612.21 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb |
| MD5SUM | 1839e390ed6efb0b7de52ce1d96beb02 |
| 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 | -2592 |
| Best CPU time to get the best result obtained on this benchmark | 564.51 |
| 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 | 40451 |
| Total number of constraints | 40950 |
| Number of constraints which are clauses | 40396 |
| Number of constraints which are cardinality constraints (but not clauses) | 553 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40128 |
| Number of terms in the objective function | 32076 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 4162422 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 4162422 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.10/0.18 c #variables 40451 #constraints 40949 13.06/13.16 c bounds - >= -4162422 @ 0.130725 13.06/13.16 c bounds 0 >= -4162422 @ 12.4942 13.06/13.16 c bounds 0 >= -4145782 @ 12.4984 13.06/13.16 c bounds 0 >= -4129142 @ 12.5026 13.06/13.16 c bounds 0 >= -4112502 @ 12.5066 13.06/13.16 c bounds 0 >= -4095862 @ 12.5104 13.06/13.16 c bounds 0 >= -4079222 @ 12.5141 13.06/13.16 c bounds 0 >= -4062582 @ 12.5178 13.06/13.16 c bounds 0 >= -4045942 @ 12.5216 13.06/13.16 c bounds 0 >= -4029302 @ 12.5258 13.06/13.16 c bounds 0 >= -4012662 @ 12.5297 13.06/13.16 c bounds 0 >= -3996022 @ 12.5336 13.06/13.16 c bounds 0 >= -3979382 @ 12.5373 13.06/13.16 c bounds 0 >= -3962742 @ 12.541 13.06/13.16 c bounds 0 >= -3946102 @ 12.5447 13.06/13.16 c bounds 0 >= -3929462 @ 12.5484 13.06/13.16 c bounds 0 >= -3912822 @ 12.5521 13.06/13.16 c bounds 0 >= -3896182 @ 12.5556 13.06/13.16 c bounds 0 >= -3879542 @ 12.5596 13.06/13.16 c bounds 0 >= -3862902 @ 12.5632 13.06/13.16 c bounds 0 >= -3846262 @ 12.5668 13.06/13.16 c bounds 0 >= -3829622 @ 12.5703 13.06/13.16 c bounds 0 >= -3812982 @ 12.574 13.06/13.16 c bounds 0 >= -3796342 @ 12.5776 13.06/13.16 c bounds 0 >= -3779702 @ 12.5813 13.06/13.16 c bounds 0 >= -3763062 @ 12.5852 13.06/13.16 c bounds 0 >= -3746422 @ 12.5895 13.06/13.16 c bounds 0 >= -3729782 @ 12.5932 13.06/13.16 c bounds 0 >= -3713142 @ 12.597 13.06/13.16 c bounds 0 >= -3696502 @ 12.6007 13.06/13.16 c bounds 0 >= -3679862 @ 12.6046 13.06/13.16 c bounds 0 >= -3663222 @ 12.6083 13.06/13.16 c bounds 0 >= -3646582 @ 12.6119 13.06/13.16 c bounds 0 >= -3629942 @ 12.6156 13.06/13.16 c bounds 0 >= -3613302 @ 12.6186 13.06/13.16 c bounds 0 >= -3596662 @ 12.6222 13.06/13.16 c bounds 0 >= -3580022 @ 12.6258 13.06/13.16 c bounds 0 >= -3563382 @ 12.6295 13.06/13.16 c bounds 0 >= -3546742 @ 12.633 13.06/13.16 c bounds 0 >= -3530102 @ 12.6367 13.06/13.16 c bounds 0 >= -3513462 @ 12.6404 13.06/13.16 c bounds 0 >= -3496822 @ 12.644 13.06/13.16 c bounds 0 >= -3480182 @ 12.648 13.06/13.16 c bounds 0 >= -3463542 @ 12.6516 13.06/13.16 c bounds 0 >= -3446902 @ 12.655 13.06/13.16 c bounds 0 >= -3430262 @ 12.6584 13.06/13.16 c bounds 0 >= -3413622 @ 12.6619 13.06/13.16 c bounds 0 >= -3396982 @ 12.6653 13.06/13.16 c bounds 0 >= -3380342 @ 12.6687 13.06/13.16 c bounds 0 >= -3363702 @ 12.6721 13.06/13.16 c bounds 0 >= -3347062 @ 12.6761 13.06/13.16 c bounds 0 >= -3330422 @ 12.6797 13.06/13.16 c bounds 0 >= -3313782 @ 12.6836 13.06/13.16 c bounds 0 >= -3297142 @ 12.6875 13.06/13.16 c bounds 0 >= -3280502 @ 12.6915 13.06/13.16 c bounds 0 >= -3263862 @ 12.6955 13.06/13.16 c bounds 0 >= -3247222 @ 12.6995 13.06/13.16 c bounds 0 >= -3230582 @ 12.7033 13.06/13.16 c bounds 0 >= -3213942 @ 12.707 13.06/13.16 c bounds 0 >= -3197302 @ 12.7109 13.06/13.16 c bounds 0 >= -3180662 @ 12.7149 13.06/13.16 c bounds 0 >= -3164022 @ 12.7189 13.06/13.16 c bounds 0 >= -3147382 @ 12.7229 13.06/13.16 c bounds 0 >= -3130742 @ 12.727 13.06/13.16 c bounds 0 >= -3114102 @ 12.7309 13.06/13.16 c bounds 0 >= -3097462 @ 12.7348 13.06/13.16 c bounds 0 >= -3080822 @ 12.7386 13.06/13.16 c bounds 0 >= -3064182 @ 12.7425 13.06/13.16 c bounds 0 >= -3047542 @ 12.7464 13.06/13.16 c bounds 0 >= -3030902 @ 12.7502 13.06/13.16 c bounds 0 >= -3014262 @ 12.7539 13.06/13.16 c bounds 0 >= -2997622 @ 12.7582 13.06/13.16 c bounds 0 >= -2980982 @ 12.7621 13.06/13.16 c bounds 0 >= -2980726 @ 12.7661 13.06/13.16 c bounds 0 >= -2937385 @ 12.7696 13.06/13.16 c bounds 0 >= -2937129 @ 12.7735 13.06/13.16 c bounds 0 >= -2936873 @ 12.7772 13.06/13.16 c bounds 0 >= -2936617 @ 12.7811 13.06/13.16 c bounds 0 >= -2936361 @ 12.7851 13.06/13.16 c bounds 0 >= -2936105 @ 12.7887 13.06/13.16 c bounds 0 >= -2935849 @ 12.7929 13.06/13.16 c bounds 0 >= -2899015 @ 12.7962 13.06/13.16 c bounds 0 >= -2898759 @ 12.7996 13.06/13.16 c bounds 0 >= -2898503 @ 12.803 13.06/13.16 c bounds 0 >= -2898247 @ 12.8063 13.06/13.16 c bounds 0 >= -2897991 @ 12.8097 13.06/13.16 c bounds 0 >= -2897735 @ 12.813 13.06/13.16 c bounds 0 >= -2881351 @ 12.8163 13.06/13.16 c bounds 0 >= -2864967 @ 12.8191 13.06/13.16 c bounds 0 >= -2848583 @ 12.8225 13.06/13.16 c bounds 0 >= -2832199 @ 12.8259 13.06/13.16 c bounds 0 >= -2815815 @ 12.8292 13.06/13.16 c bounds 0 >= -2799431 @ 12.8325 13.06/13.16 c bounds 0 >= -2783047 @ 12.8359 13.06/13.16 c bounds 0 >= -2766663 @ 12.8391 13.06/13.16 c bounds 0 >= -2750279 @ 12.8424 13.06/13.16 c bounds 0 >= -2733895 @ 12.8452 13.06/13.16 c bounds 0 >= -2717511 @ 12.8485 13.06/13.16 c bounds 0 >= -2701127 @ 12.8518 13.06/13.16 c bounds 0 >= -2684743 @ 12.8552 13.06/13.16 c bounds 0 >= -2668359 @ 12.8585 13.06/13.16 c bounds 0 >= -2651975 @ 12.8617 13.06/13.16 c bounds 0 >= -2635591 @ 12.8651 13.06/13.16 c bounds 0 >= -2619207 @ 12.8684 13.06/13.16 c bounds 0 >= -2602823 @ 12.8717 13.06/13.16 c bounds 0 >= -2586439 @ 12.8758 13.06/13.16 c bounds 0 >= -2570055 @ 12.8794 13.06/13.16 c bounds 0 >= -2553671 @ 12.8829 13.06/13.16 c bounds 0 >= -2537287 @ 12.8865 13.06/13.16 c bounds 0 >= -2520903 @ 12.89 13.06/13.16 c bounds 0 >= -2504519 @ 12.8935 13.06/13.16 c bounds 0 >= -2488135 @ 12.8971 13.06/13.16 c bounds 0 >= -2487879 @ 12.9008 13.06/13.16 c bounds 0 >= -2453032 @ 12.9046 13.06/13.16 c bounds 0 >= -2452776 @ 12.9082 13.06/13.16 c bounds 0 >= -2452520 @ 12.9116 13.06/13.16 c bounds 0 >= -2452264 @ 12.9151 13.06/13.16 c bounds 0 >= -2452008 @ 12.9185 13.06/13.16 c bounds 0 >= -2451752 @ 12.922 13.06/13.16 c bounds 0 >= -2435624 @ 12.9255 13.06/13.16 c bounds 0 >= -2419496 @ 12.9291 13.06/13.16 c bounds 0 >= -2403368 @ 12.9326 13.06/13.16 c bounds 0 >= -2387240 @ 12.9366 13.06/13.16 c bounds 0 >= -2371112 @ 12.9401 13.06/13.16 c bounds 0 >= -2354984 @ 12.9436 13.65/13.72 c bounds 0 >= -2338856 @ 12.9471 13.65/13.72 c bounds 0 >= -2322728 @ 12.9504 13.65/13.72 c bounds 0 >= -2322472 @ 12.9542 13.65/13.72 c bounds 0 >= -2295727 @ 12.9576 13.65/13.72 c bounds 0 >= -2295471 @ 12.9616 13.65/13.72 c bounds 0 >= -2295215 @ 12.9657 13.65/13.72 c bounds 0 >= -2294959 @ 12.9694 13.65/13.72 c bounds 0 >= -2294703 @ 12.9731 13.65/13.72 c bounds 0 >= -2294447 @ 12.9767 13.65/13.72 c bounds 0 >= -2278575 @ 12.9804 13.65/13.72 c bounds 0 >= -2262703 @ 12.984 13.65/13.72 c bounds 0 >= -2246831 @ 12.9875 13.65/13.72 c bounds 0 >= -2230959 @ 12.991 13.65/13.72 c bounds 0 >= -2215087 @ 12.9946 13.65/13.72 c bounds 0 >= -2199215 @ 12.9988 13.65/13.72 c bounds 0 >= -2183343 @ 13.0024 13.65/13.72 c bounds 0 >= -2167471 @ 13.0058 13.65/13.72 c bounds 0 >= -2151599 @ 13.0094 13.65/13.72 c bounds 0 >= -2135727 @ 13.0128 13.65/13.72 c bounds 0 >= -2119855 @ 13.0163 13.65/13.72 c bounds 0 >= -2103983 @ 13.02 13.65/13.72 c bounds 0 >= -2088111 @ 13.0236 13.65/13.72 c bounds 0 >= -2072239 @ 13.0273 13.65/13.72 c bounds 0 >= -2056367 @ 13.0313 13.65/13.72 c bounds 0 >= -2040495 @ 13.035 13.65/13.72 c bounds 0 >= -2024623 @ 13.0387 13.65/13.72 c bounds 0 >= -2008751 @ 13.0424 13.65/13.72 c bounds 0 >= -1992879 @ 13.046 13.65/13.72 c bounds 0 >= -1977007 @ 13.0498 13.65/13.72 c bounds 0 >= -1961135 @ 13.0536 13.65/13.72 c bounds 0 >= -1945263 @ 13.0574 13.65/13.72 c bounds 0 >= -1929391 @ 13.0616 13.65/13.72 c bounds 0 >= -1913519 @ 13.0655 13.65/13.72 c bounds 0 >= -1897647 @ 13.0693 13.65/13.72 c bounds 0 >= -1881775 @ 13.0732 13.65/13.72 c bounds 0 >= -1865903 @ 13.0769 13.65/13.72 c bounds 0 >= -1850031 @ 13.0807 13.65/13.72 c bounds 0 >= -1834159 @ 13.0845 13.65/13.72 c bounds 0 >= -1818287 @ 13.0882 13.65/13.72 c bounds 0 >= -1802415 @ 13.0919 13.65/13.72 c bounds 0 >= -1802159 @ 13.0963 13.65/13.72 c bounds 0 >= -1778619 @ 13.0999 13.65/13.72 c bounds 0 >= -1778363 @ 13.1039 13.65/13.72 c bounds 0 >= -1778107 @ 13.1077 13.65/13.72 c bounds 0 >= -1777851 @ 13.1115 13.65/13.72 c bounds 0 >= -1777595 @ 13.1152 13.65/13.72 c bounds 0 >= -1777339 @ 13.1189 13.65/13.72 c bounds 0 >= -1761723 @ 13.1227 13.65/13.72 c bounds 0 >= -1746107 @ 13.1269 13.65/13.72 c bounds 0 >= -1730491 @ 13.13 13.65/13.72 c bounds 0 >= -1714875 @ 13.1334 13.65/13.72 c bounds 0 >= -1699259 @ 13.1371 13.65/13.72 c bounds 0 >= -1683643 @ 13.1404 13.65/13.72 c bounds 0 >= -1668027 @ 13.1436 13.65/13.72 c bounds 0 >= -1652411 @ 13.1468 13.65/13.72 c bounds 0 >= -1636795 @ 13.1503 13.65/13.72 c bounds 0 >= -1621179 @ 13.1537 13.65/13.72 c bounds 0 >= -1605563 @ 13.1567 13.65/13.72 c bounds 0 >= -1589947 @ 13.16 13.65/13.72 c bounds 0 >= -1574331 @ 13.1651 13.65/13.72 c bounds 0 >= -1574075 @ 13.1687 13.65/13.72 c bounds 0 >= -1552955 @ 13.1733 13.65/13.72 c bounds 0 >= -1552699 @ 13.1778 13.65/13.72 c bounds 0 >= -1552443 @ 13.1821 13.65/13.72 c bounds 0 >= -1552187 @ 13.1878 13.65/13.72 c bounds 0 >= -1551931 @ 13.1936 13.65/13.72 c bounds 0 >= -1551675 @ 13.1995 13.65/13.72 c bounds 0 >= -1536315 @ 13.2042 13.65/13.72 c bounds 0 >= -1520955 @ 13.209 13.65/13.72 c bounds 0 >= -1505595 @ 13.2149 13.65/13.72 c bounds 0 >= -1490235 @ 13.2201 13.65/13.72 c bounds 0 >= -1474875 @ 13.2248 13.65/13.72 c bounds 0 >= -1459515 @ 13.2292 13.65/13.72 c bounds 0 >= -1444155 @ 13.233 13.65/13.72 c bounds 0 >= -1428795 @ 13.2369 13.65/13.72 c bounds 0 >= -1428539 @ 13.241 13.65/13.72 c bounds 0 >= -1409920 @ 13.2447 13.65/13.72 c bounds 0 >= -1409664 @ 13.249 13.65/13.72 c bounds 0 >= -1409408 @ 13.255 13.65/13.72 c bounds 0 >= -1409152 @ 13.2604 13.65/13.72 c bounds 0 >= -1408896 @ 13.2663 13.65/13.72 c bounds 0 >= -1408640 @ 13.2726 13.65/13.72 c bounds 0 >= -1393536 @ 13.2782 13.65/13.72 c bounds 0 >= -1378432 @ 13.2835 13.65/13.72 c bounds 0 >= -1363328 @ 13.2896 13.65/13.72 c bounds 0 >= -1348224 @ 13.2944 13.65/13.72 c bounds 0 >= -1333120 @ 13.2985 13.65/13.72 c bounds 0 >= -1318016 @ 13.3025 13.65/13.72 c bounds 0 >= -1302912 @ 13.3064 13.65/13.72 c bounds 0 >= -1287808 @ 13.3105 13.65/13.72 c bounds 0 >= -1272704 @ 13.3146 13.65/13.72 c bounds 0 >= -1257600 @ 13.3193 13.65/13.72 c bounds 0 >= -1242752 @ 13.3248 13.65/13.72 c bounds 0 >= -1227904 @ 13.3289 13.65/13.72 c bounds 0 >= -1213056 @ 13.3326 13.65/13.72 c bounds 0 >= -1198208 @ 13.3362 13.65/13.72 c bounds 0 >= -1183360 @ 13.3397 13.65/13.72 c bounds 0 >= -1168512 @ 13.3435 13.65/13.72 c bounds 0 >= -1153664 @ 13.3472 13.65/13.72 c bounds 0 >= -1138816 @ 13.3508 13.65/13.72 c bounds 0 >= -1123968 @ 13.3544 13.65/13.72 c bounds 0 >= -1109120 @ 13.358 13.65/13.72 c bounds 0 >= -1094272 @ 13.3635 13.65/13.72 c bounds 0 >= -1079424 @ 13.3694 13.65/13.72 c bounds 0 >= -1064576 @ 13.3757 13.65/13.72 c bounds 0 >= -1049728 @ 13.3807 13.65/13.72 c bounds 0 >= -1034880 @ 13.3868 13.65/13.72 c bounds 0 >= -1020032 @ 13.3922 13.65/13.72 c bounds 0 >= -1005184 @ 13.398 13.65/13.72 c bounds 0 >= -990336 @ 13.4032 13.65/13.72 c bounds 0 >= -975488 @ 13.4088 13.65/13.72 c bounds 0 >= -960640 @ 13.4146 13.65/13.72 c bounds 0 >= -945792 @ 13.4195 13.65/13.72 c bounds 0 >= -930944 @ 13.4245 13.65/13.72 c bounds 0 >= -916096 @ 13.4302 13.65/13.72 c bounds 0 >= -901248 @ 13.4358 13.65/13.72 c bounds 0 >= -886400 @ 13.4434 13.65/13.72 c bounds 0 >= -871552 @ 13.4492 13.65/13.72 c bounds 0 >= -856704 @ 13.4547 13.65/13.72 c bounds 0 >= -841856 @ 13.4586 13.65/13.72 c bounds 0 >= -827008 @ 13.4645 13.65/13.72 c bounds 0 >= -812160 @ 13.4688 13.65/13.72 c bounds 0 >= -797312 @ 13.4726 13.65/13.72 c bounds 0 >= -782464 @ 13.4755 13.65/13.72 c bounds 0 >= -767616 @ 13.4795 41.16/41.32 c bounds 0 >= -752768 @ 13.4834 41.16/41.32 c bounds 0 >= -737920 @ 13.4874 41.16/41.32 c bounds 0 >= -723072 @ 13.491 41.16/41.32 c bounds 0 >= -708224 @ 13.4949 41.16/41.32 c bounds 0 >= -693376 @ 13.499 41.16/41.32 c bounds 0 >= -678528 @ 13.5028 41.16/41.32 c bounds 0 >= -663680 @ 13.5066 41.16/41.32 c bounds 0 >= -648832 @ 13.5099 41.16/41.32 c bounds 0 >= -633984 @ 13.514 41.16/41.32 c bounds 0 >= -619136 @ 13.5182 41.16/41.32 c bounds 0 >= -604288 @ 13.5222 41.16/41.32 c bounds 0 >= -589440 @ 13.5263 41.16/41.32 c bounds 0 >= -574592 @ 13.5311 41.16/41.32 c bounds 0 >= -559744 @ 13.5352 41.16/41.32 c bounds 0 >= -544896 @ 13.5392 41.16/41.32 c bounds 0 >= -530048 @ 13.5431 41.16/41.32 c bounds 0 >= -515200 @ 13.547 41.16/41.32 c bounds 0 >= -500352 @ 13.5536 41.16/41.32 c bounds 0 >= -485504 @ 13.5592 41.16/41.32 c bounds 0 >= -470656 @ 13.5636 41.16/41.32 c bounds 0 >= -455808 @ 13.5676 41.16/41.32 c bounds 0 >= -440960 @ 13.5722 41.16/41.32 c bounds 0 >= -426112 @ 13.5769 41.16/41.32 c bounds 0 >= -411264 @ 13.5817 41.16/41.32 c bounds 0 >= -396416 @ 13.586 41.16/41.32 c bounds 0 >= -381568 @ 13.5911 41.16/41.32 c bounds 0 >= -366720 @ 13.5962 41.16/41.32 c bounds 0 >= -351872 @ 13.6016 41.16/41.32 c bounds 0 >= -337024 @ 13.6072 41.16/41.32 c bounds 0 >= -322176 @ 13.6128 41.16/41.32 c bounds 0 >= -307328 @ 13.6193 41.16/41.32 c bounds 0 >= -292480 @ 13.6251 41.16/41.32 c bounds 0 >= -277632 @ 13.629 41.16/41.32 c bounds 0 >= -262784 @ 13.6344 41.16/41.32 c bounds 0 >= -247936 @ 13.6403 41.16/41.32 c bounds 0 >= -233088 @ 13.6462 41.16/41.32 c bounds 0 >= -218240 @ 13.6548 41.16/41.32 c bounds 0 >= -203392 @ 13.6598 41.16/41.32 c bounds 0 >= -188544 @ 13.6655 41.16/41.32 c bounds 0 >= -173696 @ 13.6717 41.16/41.32 c bounds 0 >= -158848 @ 13.6775 41.16/41.32 c bounds 0 >= -144000 @ 13.6833 41.16/41.32 c bounds 0 >= -129152 @ 13.6889 41.16/41.32 c bounds 0 >= -114304 @ 13.6945 41.16/41.32 c bounds 0 >= -110528 @ 13.7003 41.16/41.32 c bounds 0 >= -106816 @ 13.7062 41.16/41.32 c bounds 0 >= -106560 @ 13.9492 41.16/41.32 c bounds 0 >= -106304 @ 13.9562 41.16/41.32 c bounds 0 >= -106048 @ 14.0503 41.16/41.32 c bounds 0 >= -105792 @ 14.0601 41.16/41.32 c bounds 0 >= -105536 @ 14.1535 41.16/41.32 c bounds 0 >= -105280 @ 14.1606 41.16/41.32 c bounds 0 >= -105024 @ 14.2423 41.16/41.32 c bounds 0 >= -104768 @ 14.2499 41.16/41.32 c bounds 0 >= -104512 @ 14.2951 41.16/41.32 c bounds 0 >= -104256 @ 14.3033 41.16/41.32 c bounds 0 >= -104000 @ 14.3168 41.16/41.32 c bounds 0 >= -103744 @ 14.3245 41.16/41.32 c bounds 0 >= -103488 @ 14.3487 41.16/41.32 c bounds 0 >= -103232 @ 14.3557 41.16/41.32 c bounds 0 >= -102976 @ 14.3898 41.16/41.32 c bounds 0 >= -102720 @ 14.3976 41.16/41.32 c bounds 0 >= -102464 @ 14.4083 41.16/41.32 c bounds 0 >= -102208 @ 14.4191 41.16/41.32 c bounds 0 >= -101952 @ 14.4376 41.16/41.32 c bounds 0 >= -101696 @ 14.4608 41.16/41.32 c bounds 0 >= -97607 @ 15.6402 41.16/41.32 c bounds 0 >= -97351 @ 16.0322 41.16/41.32 c bounds 0 >= -97095 @ 16.0618 41.16/41.32 c bounds 0 >= -97031 @ 16.1547 41.16/41.32 c bounds 0 >= -96839 @ 16.1982 41.16/41.32 c bounds 0 >= -96647 @ 16.263 41.16/41.32 c bounds 0 >= -96583 @ 16.2721 41.16/41.32 c bounds 0 >= -96327 @ 16.4141 41.16/41.32 c bounds 0 >= -96071 @ 16.4415 41.16/41.32 c bounds 0 >= -95879 @ 16.4722 41.16/41.32 c bounds 0 >= -95815 @ 16.4787 41.16/41.32 c #Conflicts: 1000 | #Constraints: 42940 41.16/41.32 c bounds 0 >= -95751 @ 16.7332 41.16/41.32 c bounds 0 >= -95623 @ 16.7398 41.16/41.32 c bounds 0 >= -95559 @ 16.743 41.16/41.32 c bounds 0 >= -95495 @ 17.145 41.16/41.32 c bounds 0 >= -95431 @ 17.1683 41.16/41.32 c bounds 0 >= -95367 @ 17.1755 41.16/41.32 c bounds 0 >= -95303 @ 17.1824 41.16/41.32 c bounds 0 >= -95239 @ 17.4351 41.16/41.32 c bounds 0 >= -95175 @ 17.4583 41.16/41.32 c bounds 0 >= -95111 @ 17.7195 41.16/41.32 c bounds 0 >= -95047 @ 17.7866 41.16/41.32 c bounds 0 >= -94627 @ 17.9341 41.16/41.32 c bounds 0 >= -94371 @ 17.9442 41.16/41.32 c bounds 0 >= -94243 @ 17.9555 41.16/41.32 c bounds 0 >= -94115 @ 17.9602 41.16/41.32 c bounds 0 >= -93987 @ 17.9646 41.16/41.32 c bounds 0 >= -93859 @ 17.9678 41.16/41.32 c bounds 0 >= -93731 @ 17.9725 41.16/41.32 c bounds 0 >= -93603 @ 17.9797 41.16/41.32 c bounds 0 >= -93475 @ 17.9878 41.16/41.32 c bounds 0 >= -93347 @ 18.0036 41.16/41.32 c bounds 0 >= -93219 @ 18.0621 41.16/41.32 c bounds 0 >= -93155 @ 18.0701 41.16/41.32 c bounds 0 >= -93091 @ 18.0834 41.16/41.32 c bounds 0 >= -93027 @ 18.4049 41.16/41.32 c bounds 0 >= -92835 @ 18.4379 41.16/41.32 c bounds 0 >= -92771 @ 19.4956 41.16/41.32 c bounds 0 >= -92707 @ 20.6567 41.16/41.32 c bounds 0 >= -92579 @ 20.6989 41.16/41.32 c bounds 0 >= -92515 @ 20.82 41.16/41.32 c bounds 0 >= -92451 @ 21.0909 41.16/41.32 c bounds 0 >= -92387 @ 21.2803 41.16/41.32 c bounds -4 >= -92387 @ 21.505 41.16/41.32 c bounds -4 >= -92259 @ 21.533 41.16/41.32 c bounds -4 >= -92195 @ 21.6917 41.16/41.32 c bounds -4 >= -92131 @ 21.8725 41.16/41.32 c #Conflicts: 2000 | #Constraints: 44262 41.16/41.32 c INPROCESSING 41.16/41.32 c GARBAGE COLLECT 41.16/41.32 c bounds -4 >= -92067 @ 25.6383 41.16/41.32 c bounds -4 >= -92003 @ 25.906 41.16/41.32 c bounds -4 >= -91939 @ 26.4374 41.16/41.32 c bounds -4 >= -91836 @ 26.7231 41.16/41.32 c bounds -4 >= -91726 @ 27.3823 41.16/41.32 c #Conflicts: 3000 | #Constraints: 37035 41.16/41.32 c bounds -5 >= -91726 @ 28.0708 41.16/41.32 c bounds -5 >= -91470 @ 28.1511 41.16/41.32 c bounds -5 >= -91406 @ 29.2268 41.16/41.32 c bounds -5 >= -91342 @ 29.9413 41.16/41.32 c bounds -5 >= -91278 @ 40.2639 41.16/41.32 c bounds -5 >= -91179 @ 40.7228 140.15/140.66 c bounds -5 >= -91115 @ 41.3387 140.15/140.66 c bounds -6 >= -91115 @ 41.4658 140.15/140.66 c bounds -14 >= -91115 @ 41.4943 140.15/140.66 c bounds -15 >= -91115 @ 41.5218 140.15/140.66 c bounds -16 >= -91115 @ 41.5544 140.15/140.66 c #Conflicts: 4000 | #Constraints: 38154 140.15/140.66 c INPROCESSING 140.15/140.66 c GARBAGE COLLECT 140.15/140.66 c bounds -16 >= -91051 @ 45.0205 140.15/140.66 c bounds -16 >= -90987 @ 45.3635 140.15/140.66 c bounds -16 >= -90731 @ 45.4462 140.15/140.66 c bounds -16 >= -90667 @ 45.4947 140.15/140.66 c bounds -16 >= -90603 @ 45.5026 140.15/140.66 c bounds -16 >= -90539 @ 45.512 140.15/140.66 c bounds -16 >= -90475 @ 45.5176 140.15/140.66 c bounds -16 >= -90411 @ 45.5505 140.15/140.66 c bounds -16 >= -90347 @ 45.5936 140.15/140.66 c #Conflicts: 5000 | #Constraints: 37612 140.15/140.66 c bounds -16 >= -90283 @ 45.646 140.15/140.66 c bounds -16 >= -90219 @ 45.8197 140.15/140.66 c bounds -16 >= -90155 @ 45.937 140.15/140.66 c bounds -16 >= -90091 @ 46.0144 140.15/140.66 c bounds -16 >= -90027 @ 46.102 140.15/140.66 c #Conflicts: 6000 | #Constraints: 38759 140.15/140.66 c bounds -16 >= -89963 @ 46.2023 140.15/140.66 c bounds -16 >= -89899 @ 46.6158 140.15/140.66 c INPROCESSING 140.15/140.66 c GARBAGE COLLECT 140.15/140.66 c bounds -18 >= -89899 @ 68.2003 140.15/140.66 c bounds -19 >= -89899 @ 68.2131 140.15/140.66 c bounds -21 >= -89899 @ 68.2287 140.15/140.66 c bounds -29 >= -89899 @ 68.2431 140.15/140.66 c bounds -31 >= -89899 @ 68.265 140.15/140.66 c bounds -35 >= -89899 @ 68.2828 140.15/140.66 c bounds -36 >= -89899 @ 68.3024 140.15/140.66 c bounds -37 >= -89899 @ 71.3516 140.15/140.66 c #Conflicts: 7000 | #Constraints: 37776 140.15/140.66 c bounds -37 >= -89835 @ 74.8024 140.15/140.66 c bounds -37 >= -89771 @ 76.343 140.15/140.66 c bounds -37 >= -89707 @ 76.3892 140.15/140.66 c bounds -37 >= -89643 @ 76.6876 140.15/140.66 c bounds -37 >= -89579 @ 78.2598 140.15/140.66 c bounds -37 >= -89515 @ 78.6642 140.15/140.66 c bounds -37 >= -89451 @ 78.8655 140.15/140.66 c bounds -37 >= -89387 @ 79.3589 140.15/140.66 c #Conflicts: 8000 | #Constraints: 38906 140.15/140.66 c bounds -37 >= -89323 @ 80.2515 140.15/140.66 c bounds -37 >= -89259 @ 81.567 140.15/140.66 c bounds -37 >= -89195 @ 82.3269 140.15/140.66 c #Conflicts: 9000 | #Constraints: 39990 140.15/140.66 c bounds -38 >= -89195 @ 83.5927 140.15/140.66 c INPROCESSING 140.15/140.66 c GARBAGE COLLECT 140.15/140.66 c bounds -38 >= -89131 @ 84.2086 140.15/140.66 c bounds -38 >= -89067 @ 84.9681 140.15/140.66 c bounds -38 >= -89003 @ 85.1968 140.15/140.66 c bounds -39 >= -89003 @ 86.2602 140.15/140.66 c #Conflicts: 10000 | #Constraints: 38819 140.15/140.66 c bounds -39 >= -88939 @ 86.9041 140.15/140.66 c bounds -41 >= -88939 @ 86.917 140.15/140.66 c bounds -44 >= -88939 @ 86.9547 140.15/140.66 c bounds -46 >= -88939 @ 87.4979 140.15/140.66 c bounds -46 >= -88875 @ 88.1289 140.15/140.66 c bounds -47 >= -88875 @ 88.142 140.15/140.66 c bounds -48 >= -88875 @ 88.942 140.15/140.66 c bounds -48 >= -88683 @ 89.0656 140.15/140.66 c bounds -48 >= -88427 @ 89.1572 140.15/140.66 c bounds -48 >= -88171 @ 89.1837 140.15/140.66 c bounds -48 >= -87915 @ 89.1964 140.15/140.66 c bounds -48 >= -87851 @ 89.2077 140.15/140.66 c bounds -48 >= -87787 @ 89.2109 140.15/140.66 c bounds -48 >= -87723 @ 89.2142 140.15/140.66 c bounds -48 >= -87659 @ 89.2176 140.15/140.66 c bounds -48 >= -87595 @ 89.2607 140.15/140.66 c bounds -48 >= -87531 @ 89.2805 140.15/140.66 c bounds -48 >= -87467 @ 89.3132 140.15/140.66 c bounds -48 >= -87403 @ 89.3473 140.15/140.66 c #Conflicts: 11000 | #Constraints: 40030 140.15/140.66 c bounds -48 >= -87339 @ 89.4294 140.15/140.66 c bounds -48 >= -87275 @ 89.4705 140.15/140.66 c bounds -48 >= -87211 @ 89.545 140.15/140.66 c bounds -48 >= -87147 @ 89.6618 140.15/140.66 c bounds -48 >= -87083 @ 129.497 140.15/140.66 c bounds -48 >= -87019 @ 129.971 140.15/140.66 c bounds -58 >= -87019 @ 130.171 140.15/140.66 c bounds -58 >= -86827 @ 130.21 140.15/140.66 c bounds -58 >= -86763 @ 130.265 140.15/140.66 c bounds -58 >= -86571 @ 130.289 140.15/140.66 c bounds -58 >= -86507 @ 131.159 140.15/140.66 c #Conflicts: 12000 | #Constraints: 41194 140.15/140.66 c INPROCESSING 140.15/140.66 c GARBAGE COLLECT 140.15/140.66 c bounds -60 >= -86507 @ 133.051 140.15/140.66 c bounds -60 >= -84619 @ 133.057 140.15/140.66 c bounds -60 >= -82699 @ 133.06 140.15/140.66 c bounds -60 >= -80779 @ 133.063 140.15/140.66 c bounds -60 >= -80715 @ 133.092 140.15/140.66 c bounds -60 >= -80651 @ 133.114 140.15/140.66 c bounds -60 >= -80587 @ 133.132 140.15/140.66 c bounds -60 >= -80523 @ 133.155 140.15/140.66 c bounds -60 >= -80459 @ 133.179 140.15/140.66 c bounds -60 >= -80395 @ 133.216 140.15/140.66 c bounds -60 >= -80331 @ 133.285 140.15/140.66 c bounds -60 >= -80267 @ 133.341 140.15/140.66 c #Conflicts: 13000 | #Constraints: 39270 140.15/140.66 c bounds -60 >= -80203 @ 133.454 140.15/140.66 c bounds -60 >= -80139 @ 133.592 140.15/140.66 c bounds -60 >= -80075 @ 133.69 140.15/140.66 c #Conflicts: 14000 | #Constraints: 40360 140.15/140.66 c bounds -61 >= -80075 @ 137.171 140.15/140.66 c bounds -61 >= -80011 @ 137.475 140.15/140.66 c bounds -61 >= -79947 @ 137.57 140.15/140.66 c bounds -61 >= -79883 @ 137.649 140.15/140.66 c bounds -61 >= -79819 @ 137.716 140.15/140.66 c #Conflicts: 15000 | #Constraints: 41469 140.15/140.66 c bounds -61 >= -79755 @ 137.978 140.15/140.66 c bounds -61 >= -79691 @ 138.173 140.15/140.66 c bounds -61 >= -79627 @ 138.397 140.15/140.66 c #Conflicts: 16000 | #Constraints: 42547 140.15/140.66 c bounds -61 >= -79563 @ 138.748 140.15/140.66 c bounds -89 >= -79563 @ 138.875 187.99/188.61 c bounds -91 >= -79563 @ 140.099 187.99/188.61 c bounds -91 >= -79307 @ 140.673 187.99/188.61 c bounds -91 >= -79051 @ 140.698 187.99/188.61 c bounds -91 >= -78987 @ 140.746 187.99/188.61 c bounds -91 >= -78923 @ 140.754 187.99/188.61 c bounds -91 >= -78859 @ 140.763 187.99/188.61 c bounds -91 >= -78795 @ 140.771 187.99/188.61 c bounds -91 >= -78731 @ 140.79 187.99/188.61 c bounds -91 >= -78667 @ 140.801 187.99/188.61 c bounds -91 >= -78603 @ 140.816 187.99/188.61 c bounds -91 >= -78539 @ 140.835 187.99/188.61 c bounds -91 >= -78475 @ 140.846 187.99/188.61 c bounds -91 >= -78411 @ 140.861 187.99/188.61 c bounds -91 >= -78347 @ 140.88 187.99/188.61 c bounds -91 >= -78283 @ 140.899 187.99/188.61 c bounds -91 >= -78219 @ 140.938 187.99/188.61 c bounds -91 >= -78155 @ 140.962 187.99/188.61 c bounds -91 >= -78091 @ 141.016 187.99/188.61 c bounds -91 >= -78027 @ 141.053 187.99/188.61 c #Conflicts: 17000 | #Constraints: 43891 187.99/188.61 c bounds -91 >= -77963 @ 141.289 187.99/188.61 c bounds -91 >= -77899 @ 141.567 187.99/188.61 c bounds -92 >= -77899 @ 141.59 187.99/188.61 c bounds -97 >= -77899 @ 141.674 187.99/188.61 c bounds -97 >= -77835 @ 142.238 187.99/188.61 c bounds -344 >= -77835 @ 144.695 187.99/188.61 c bounds -344 >= -77643 @ 144.872 187.99/188.61 c bounds -344 >= -77579 @ 144.883 187.99/188.61 c bounds -344 >= -77515 @ 144.927 187.99/188.61 c bounds -344 >= -77451 @ 145.352 187.99/188.61 c bounds -344 >= -77387 @ 145.393 187.99/188.61 c bounds -344 >= -77323 @ 145.563 187.99/188.61 c bounds -344 >= -77259 @ 145.661 187.99/188.61 c bounds -344 >= -77195 @ 145.73 187.99/188.61 c bounds -344 >= -77131 @ 145.776 187.99/188.61 c #Conflicts: 18000 | #Constraints: 45093 187.99/188.61 c bounds -344 >= -77067 @ 145.913 187.99/188.61 c bounds -344 >= -77003 @ 146.105 187.99/188.61 c bounds -344 >= -76939 @ 146.368 187.99/188.61 c bounds -344 >= -76875 @ 146.723 187.99/188.61 c bounds -344 >= -76619 @ 146.782 187.99/188.61 c bounds -344 >= -76555 @ 146.793 187.99/188.61 c bounds -344 >= -76491 @ 146.804 187.99/188.61 c bounds -344 >= -76427 @ 146.815 187.99/188.61 c bounds -344 >= -76363 @ 146.854 187.99/188.61 c bounds -344 >= -76107 @ 146.938 187.99/188.61 c bounds -344 >= -76043 @ 146.982 187.99/188.61 c bounds -344 >= -75979 @ 147.098 187.99/188.61 c bounds -344 >= -75915 @ 147.279 187.99/188.61 c #Conflicts: 19000 | #Constraints: 46325 187.99/188.61 c bounds -344 >= -75851 @ 147.62 187.99/188.61 c bounds -344 >= -75787 @ 148.024 187.99/188.61 c bounds -344 >= -75531 @ 148.186 187.99/188.61 c bounds -344 >= -75275 @ 148.197 187.99/188.61 c bounds -344 >= -75147 @ 148.903 187.99/188.61 c bounds -344 >= -75083 @ 148.931 187.99/188.61 c #Conflicts: 20000 | #Constraints: 47401 187.99/188.61 c bounds -344 >= -75019 @ 148.956 187.99/188.61 c bounds -344 >= -74955 @ 148.974 187.99/188.61 c bounds -344 >= -74891 @ 148.993 187.99/188.61 c bounds -344 >= -74827 @ 149.03 187.99/188.61 c bounds -344 >= -74763 @ 149.15 187.99/188.61 c INPROCESSING 187.99/188.61 c GARBAGE COLLECT 187.99/188.61 c rational objective -2827.05 257.07/257.99 c bounds -344 >= -74699 @ 190.71 257.07/257.99 c bounds -344 >= -74635 @ 191.215 257.07/257.99 c #Conflicts: 21000 | #Constraints: 41076 257.07/257.99 c bounds -344 >= -74571 @ 191.981 257.07/257.99 c bounds -344 >= -74507 @ 192.53 257.07/257.99 c bounds -344 >= -74443 @ 192.825 257.07/257.99 c bounds -344 >= -74251 @ 192.897 257.07/257.99 c bounds -344 >= -74187 @ 192.966 257.07/257.99 c bounds -344 >= -74123 @ 193.085 257.07/257.99 c bounds -344 >= -74059 @ 193.338 257.07/257.99 c #Conflicts: 22000 | #Constraints: 42186 257.07/257.99 c bounds -352 >= -74059 @ 194.276 257.07/257.99 c bounds -352 >= -73995 @ 194.358 257.07/257.99 c bounds -352 >= -73931 @ 194.464 257.07/257.99 c bounds -352 >= -73867 @ 194.475 257.07/257.99 c bounds -352 >= -73803 @ 194.484 257.07/257.99 c bounds -352 >= -73739 @ 194.502 257.07/257.99 c bounds -352 >= -73675 @ 194.525 257.07/257.99 c bounds -352 >= -73611 @ 194.593 257.07/257.99 c bounds -352 >= -73547 @ 194.602 257.07/257.99 c bounds -352 >= -73483 @ 194.61 257.07/257.99 c bounds -352 >= -73419 @ 194.624 257.07/257.99 c bounds -352 >= -73355 @ 194.662 257.07/257.99 c bounds -352 >= -73291 @ 194.781 257.07/257.99 c bounds -353 >= -73291 @ 194.795 257.07/257.99 c bounds -354 >= -73291 @ 198.806 257.07/257.99 c bounds -354 >= -73227 @ 198.913 257.07/257.99 c bounds -354 >= -73035 @ 199.797 257.07/257.99 c bounds -354 >= -72971 @ 199.813 257.07/257.99 c bounds -354 >= -72907 @ 199.823 257.07/257.99 c bounds -354 >= -72843 @ 199.844 257.07/257.99 c bounds -354 >= -72779 @ 199.907 257.07/257.99 c bounds -354 >= -72715 @ 199.967 257.07/257.99 c #Conflicts: 23000 | #Constraints: 43484 257.07/257.99 c bounds -354 >= -72651 @ 200.042 257.07/257.99 c bounds -354 >= -72587 @ 200.191 257.07/257.99 c bounds -354 >= -72523 @ 200.589 257.07/257.99 c bounds -354 >= -72459 @ 201.23 257.07/257.99 c bounds -354 >= -72395 @ 201.24 257.07/257.99 c bounds -354 >= -72331 @ 201.329 257.07/257.99 c bounds -354 >= -72267 @ 201.366 257.07/257.99 c bounds -354 >= -72203 @ 201.397 257.07/257.99 c bounds -354 >= -72139 @ 201.421 257.07/257.99 c bounds -354 >= -72075 @ 201.45 257.07/257.99 c bounds -354 >= -72011 @ 201.499 257.07/257.99 c bounds -354 >= -71947 @ 201.646 257.07/257.99 c bounds -354 >= -71883 @ 201.672 257.07/257.99 c bounds -354 >= -71819 @ 201.691 257.07/257.99 c bounds -354 >= -71755 @ 201.712 257.07/257.99 c bounds -354 >= -71691 @ 201.762 257.07/257.99 c bounds -354 >= -71627 @ 201.832 257.07/257.99 c bounds -354 >= -71563 @ 202.004 257.07/257.99 c bounds -354 >= -71499 @ 202.131 257.07/257.99 c #Conflicts: 24000 | #Constraints: 44901 257.07/257.99 c INPROCESSING 257.07/257.99 c GARBAGE COLLECT 257.07/257.99 c bounds -354 >= -71243 @ 211.761 257.07/257.99 c bounds -354 >= -70987 @ 211.887 257.07/257.99 c bounds -354 >= -70731 @ 212.124 257.07/257.99 c bounds -354 >= -70667 @ 212.314 257.07/257.99 c bounds -354 >= -70603 @ 212.494 257.07/257.99 c bounds -354 >= -70539 @ 212.597 257.07/257.99 c bounds -354 >= -70475 @ 212.674 257.07/257.99 c bounds -354 >= -70411 @ 212.699 257.07/257.99 c bounds -354 >= -70347 @ 212.766 257.07/257.99 c bounds -354 >= -70283 @ 212.84 257.07/257.99 c #Conflicts: 25000 | #Constraints: 41231 257.07/257.99 c bounds -354 >= -70219 @ 212.918 257.07/257.99 c bounds -354 >= -70155 @ 213.076 257.07/257.99 c bounds -354 >= -70091 @ 213.215 257.07/257.99 c bounds -354 >= -70027 @ 245.057 257.07/257.99 c bounds -354 >= -69963 @ 245.412 257.07/257.99 c bounds -354 >= -69899 @ 246.361 257.07/257.99 c bounds -354 >= -69835 @ 246.781 257.07/257.99 c #Conflicts: 26000 | #Constraints: 42435 257.07/257.99 c bounds -354 >= -69771 @ 247.121 257.07/257.99 c bounds -354 >= -69739 @ 247.546 257.07/257.99 c bounds -354 >= -69707 @ 247.651 257.07/257.99 c bounds -354 >= -69675 @ 248.804 257.07/257.99 c bounds -354 >= -69643 @ 249.046 257.07/257.99 c bounds -354 >= -69611 @ 249.478 257.07/257.99 c bounds -354 >= -69579 @ 249.762 257.07/257.99 c bounds -354 >= -69323 @ 250.137 257.07/257.99 c bounds -354 >= -69195 @ 250.244 257.07/257.99 c bounds -354 >= -69163 @ 250.327 257.07/257.99 c bounds -354 >= -69067 @ 250.393 257.07/257.99 c bounds -354 >= -68939 @ 250.417 257.07/257.99 c bounds -354 >= -68907 @ 250.5 257.07/257.99 c bounds -354 >= -68875 @ 250.723 257.07/257.99 c bounds -354 >= -68843 @ 251.374 257.07/257.99 c bounds -354 >= -68811 @ 251.712 257.07/257.99 c bounds -354 >= -68779 @ 252.057 257.07/257.99 c bounds -354 >= -68747 @ 252.079 257.07/257.99 c bounds -354 >= -68715 @ 252.091 257.07/257.99 c bounds -354 >= -68683 @ 252.103 257.07/257.99 c bounds -354 >= -68619 @ 252.123 257.07/257.99 c bounds -354 >= -68587 @ 252.331 257.07/257.99 c bounds -354 >= -68555 @ 252.383 257.07/257.99 c bounds -354 >= -68523 @ 252.694 257.07/257.99 c bounds -354 >= -68491 @ 252.799 257.07/257.99 c bounds -354 >= -68459 @ 252.881 257.07/257.99 c bounds -354 >= -68427 @ 252.99 257.07/257.99 c bounds -354 >= -68395 @ 253.052 257.07/257.99 c bounds -354 >= -68363 @ 253.19 257.07/257.99 c #Conflicts: 27000 | #Constraints: 43839 257.07/257.99 c bounds -354 >= -68331 @ 253.256 257.07/257.99 c bounds -354 >= -68299 @ 253.42 257.07/257.99 c bounds -354 >= -68267 @ 253.583 257.07/257.99 c bounds -354 >= -68235 @ 253.669 257.07/257.99 c bounds -354 >= -68203 @ 253.724 257.07/257.99 c bounds -354 >= -68171 @ 253.832 257.07/257.99 c bounds -354 >= -68139 @ 253.858 257.07/257.99 c bounds -354 >= -68107 @ 253.944 257.07/257.99 c bounds -354 >= -68075 @ 254.01 257.07/257.99 c bounds -354 >= -68043 @ 254.153 257.07/257.99 c bounds -354 >= -68011 @ 254.21 257.07/257.99 c bounds -354 >= -67979 @ 254.337 257.07/257.99 c bounds -354 >= -67947 @ 254.466 257.07/257.99 c bounds -354 >= -67915 @ 254.642 300.64/301.67 c bounds -354 >= -67883 @ 254.81 300.64/301.67 c bounds -354 >= -67851 @ 254.943 300.64/301.67 c bounds -354 >= -67819 @ 255.226 300.64/301.67 c bounds -354 >= -67787 @ 255.471 300.64/301.67 c bounds -354 >= -67755 @ 255.666 300.64/301.67 c bounds -354 >= -67723 @ 255.892 300.64/301.67 c bounds -354 >= -67691 @ 256.849 300.64/301.67 c bounds -354 >= -67659 @ 257.1 300.64/301.67 c bounds -354 >= -67627 @ 258.351 300.64/301.67 c #Conflicts: 28000 | #Constraints: 45430 300.64/301.67 c bounds -354 >= -67595 @ 259.662 300.64/301.67 c bounds -354 >= -67563 @ 260.167 300.64/301.67 c bounds -354 >= -67531 @ 262.02 300.64/301.67 c bounds -354 >= -67499 @ 263.207 300.64/301.67 c INPROCESSING 300.64/301.67 c GARBAGE COLLECT 300.64/301.67 c rational objective -2815.35 399.02/400.33 c #Conflicts: 29000 | #Constraints: 41669 399.02/400.33 c bounds -354 >= -67467 @ 300.727 399.02/400.33 c bounds -354 >= -67435 @ 302.624 399.02/400.33 c bounds -354 >= -67403 @ 302.747 399.02/400.33 c bounds -354 >= -67371 @ 302.894 399.02/400.33 c bounds -354 >= -67339 @ 302.936 399.02/400.33 c bounds -354 >= -67307 @ 303.17 399.02/400.33 c bounds -354 >= -67275 @ 303.437 399.02/400.33 c bounds -354 >= -67243 @ 304.199 399.02/400.33 c bounds -354 >= -67211 @ 304.545 399.02/400.33 c bounds -354 >= -67179 @ 304.957 399.02/400.33 c bounds -354 >= -67147 @ 305.428 399.02/400.33 c bounds -354 >= -67115 @ 305.698 399.02/400.33 c #Conflicts: 30000 | #Constraints: 43035 399.02/400.33 c bounds -354 >= -67083 @ 306.545 399.02/400.33 c bounds -354 >= -67051 @ 307.664 399.02/400.33 c bounds -354 >= -67019 @ 308.332 399.02/400.33 c bounds -354 >= -66987 @ 308.858 399.02/400.33 c bounds -354 >= -66955 @ 309.509 399.02/400.33 c #Conflicts: 31000 | #Constraints: 44216 399.02/400.33 c bounds -354 >= -66923 @ 310.385 399.02/400.33 c bounds -354 >= -66891 @ 312.059 399.02/400.33 c bounds -354 >= -66859 @ 312.708 399.02/400.33 c bounds -354 >= -66827 @ 312.978 399.02/400.33 c bounds -354 >= -66795 @ 313.537 399.02/400.33 c #Conflicts: 32000 | #Constraints: 45369 399.02/400.33 c bounds -354 >= -66763 @ 314.212 399.02/400.33 c bounds -354 >= -66731 @ 314.739 399.02/400.33 c bounds -354 >= -66699 @ 315.022 399.02/400.33 c bounds -354 >= -66667 @ 315.774 399.02/400.33 c bounds -354 >= -66635 @ 316.805 399.02/400.33 c #Conflicts: 33000 | #Constraints: 46540 399.02/400.33 c bounds -354 >= -66603 @ 317.861 399.02/400.33 c bounds -354 >= -66571 @ 318.918 399.02/400.33 c bounds -354 >= -66539 @ 320.107 399.02/400.33 c #Conflicts: 34000 | #Constraints: 47657 399.02/400.33 c bounds -354 >= -66507 @ 321.75 399.02/400.33 c bounds -354 >= -66475 @ 323.092 399.02/400.33 c bounds -354 >= -66443 @ 325.396 399.02/400.33 c #Conflicts: 35000 | #Constraints: 48777 399.02/400.33 c bounds -354 >= -66411 @ 328.242 399.02/400.33 c bounds -354 >= -66379 @ 344.131 399.02/400.33 c bounds -354 >= -66347 @ 345.25 399.02/400.33 c bounds -354 >= -66315 @ 345.947 399.02/400.33 c bounds -354 >= -66283 @ 346.627 399.02/400.33 c #Conflicts: 36000 | #Constraints: 49903 399.02/400.33 c bounds -354 >= -66251 @ 346.913 399.02/400.33 c bounds -354 >= -66219 @ 347.065 399.02/400.33 c bounds -354 >= -66187 @ 347.498 399.02/400.33 c bounds -354 >= -66155 @ 348.46 399.02/400.33 c bounds -354 >= -66123 @ 349.393 399.02/400.33 c #Conflicts: 37000 | #Constraints: 51047 399.02/400.33 c bounds -354 >= -66091 @ 354.102 399.02/400.33 c bounds -354 >= -66059 @ 356.946 399.02/400.33 c bounds -354 >= -66027 @ 360.98 399.02/400.33 c #Conflicts: 38000 | #Constraints: 52194 399.02/400.33 c bounds -354 >= -65995 @ 366.756 399.02/400.33 c #Conflicts: 39000 | #Constraints: 53224 399.02/400.33 c bounds -354 >= -65963 @ 372.335 399.02/400.33 c #Conflicts: 40000 | #Constraints: 54251 399.02/400.33 c #Conflicts: 41000 | #Constraints: 55251 399.02/400.33 c INPROCESSING 399.02/400.33 c GARBAGE COLLECT 399.02/400.33 c rational objective -2815.02 1110.86/1114.58 c bounds -354 >= -65931 @ 404.056 1110.86/1114.58 c #Conflicts: 42000 | #Constraints: 48409 1110.86/1114.58 c bounds -402 >= -65931 @ 409.995 1110.86/1114.58 c #Conflicts: 43000 | #Constraints: 49410 1110.86/1114.58 c #Conflicts: 44000 | #Constraints: 50410 1110.86/1114.58 c bounds -402 >= -65899 @ 413.087 1110.86/1114.58 c bounds -402 >= -65867 @ 415.396 1110.86/1114.58 c bounds -402 >= -65835 @ 417.331 1110.86/1114.58 c #Conflicts: 45000 | #Constraints: 51518 1110.86/1114.58 c bounds -630 >= -65835 @ 418.2 1110.86/1114.58 c bounds -630 >= -65803 @ 419.019 1110.86/1114.58 c bounds -632 >= -65803 @ 419.213 1110.86/1114.58 c bounds -636 >= -65803 @ 419.292 1110.86/1114.58 c bounds -636 >= -65771 @ 420.163 1110.86/1114.58 c bounds -640 >= -65771 @ 420.24 1110.86/1114.58 c bounds -641 >= -65771 @ 425.165 1110.86/1114.58 c bounds -641 >= -65739 @ 426.115 1110.86/1114.58 c bounds -641 >= -65707 @ 426.651 1110.86/1114.58 c bounds -641 >= -65675 @ 427.674 1110.86/1114.58 c #Conflicts: 46000 | #Constraints: 52700 1110.86/1114.58 c bounds -641 >= -65643 @ 428.94 1110.86/1114.58 c bounds -641 >= -65611 @ 430.017 1110.86/1114.58 c bounds -641 >= -65579 @ 431.702 1110.86/1114.58 c bounds -641 >= -65547 @ 434.432 1110.86/1114.58 c #Conflicts: 47000 | #Constraints: 53877 1110.86/1114.58 c INPROCESSING 1110.86/1114.58 c GARBAGE COLLECT 1110.86/1114.58 c bounds -641 >= -65515 @ 439.399 1110.86/1114.58 c bounds -641 >= -65483 @ 440.564 1110.86/1114.58 c bounds -641 >= -65451 @ 442.053 1110.86/1114.58 c bounds -641 >= -65419 @ 443.616 1110.86/1114.58 c #Conflicts: 48000 | #Constraints: 46809 1110.86/1114.58 c bounds -641 >= -65387 @ 446.357 1110.86/1114.58 c bounds -641 >= -65355 @ 449.066 1110.86/1114.58 c bounds -641 >= -65323 @ 451.997 1110.86/1114.58 c #Conflicts: 49000 | #Constraints: 47941 1110.86/1114.58 c bounds -642 >= -65323 @ 456.988 1110.86/1114.58 c bounds -642 >= -65291 @ 458.016 1110.86/1114.58 c bounds -642 >= -65259 @ 458.032 1110.86/1114.58 c bounds -642 >= -65227 @ 458.045 1110.86/1114.58 c bounds -642 >= -65195 @ 458.056 1110.86/1114.58 c bounds -642 >= -65163 @ 458.117 1110.86/1114.58 c bounds -642 >= -65131 @ 458.2 1110.86/1114.58 c bounds -642 >= -65099 @ 458.21 1110.86/1114.58 c bounds -642 >= -65067 @ 458.466 1110.86/1114.58 c bounds -642 >= -65035 @ 459.935 1110.86/1114.58 c bounds -644 >= -65035 @ 460.146 1110.86/1114.58 c bounds -644 >= -65003 @ 460.857 1110.86/1114.58 c bounds -848 >= -65003 @ 460.902 1110.86/1114.58 c #Conflicts: 50000 | #Constraints: 49084 1110.86/1114.58 c bounds -856 >= -65003 @ 465.981 1110.86/1114.58 c bounds -856 >= -64971 @ 467.531 1110.86/1114.58 c bounds -856 >= -64907 @ 467.636 1110.86/1114.58 c bounds -856 >= -64875 @ 467.647 1110.86/1114.58 c bounds -856 >= -64843 @ 467.656 1110.86/1114.58 c bounds -856 >= -64811 @ 467.835 1110.86/1114.58 c bounds -856 >= -64779 @ 469.365 1110.86/1114.58 c #Conflicts: 51000 | #Constraints: 50178 1110.86/1114.58 c bounds -856 >= -64747 @ 471.284 1110.86/1114.58 c bounds -856 >= -64715 @ 476.908 1110.86/1114.58 c #Conflicts: 52000 | #Constraints: 51295 1110.86/1114.58 c bounds -856 >= -64683 @ 482.141 1110.86/1114.58 c INPROCESSING 1110.86/1114.58 c GARBAGE COLLECT 1110.86/1114.58 c bounds -872 >= -64683 @ 533.751 1110.86/1114.58 c #Conflicts: 53000 | #Constraints: 46532 1110.86/1114.58 c #Conflicts: 54000 | #Constraints: 47532 1110.86/1114.58 c #Conflicts: 55000 | #Constraints: 48532 1110.86/1114.58 c #Conflicts: 56000 | #Constraints: 49532 1110.86/1114.58 c #Conflicts: 57000 | #Constraints: 50532 1110.86/1114.58 c #Conflicts: 58000 | #Constraints: 51532 1110.86/1114.58 c #Conflicts: 59000 | #Constraints: 52532 1110.86/1114.58 c #Conflicts: 60000 | #Constraints: 53537 1110.86/1114.58 c #Conflicts: 61000 | #Constraints: 54538 1110.86/1114.58 c bounds -1024 >= -64683 @ 1016.47 1110.86/1114.58 c bounds -1024 >= -63739 @ 1016.47 1110.86/1114.58 c bounds -1024 >= -62779 @ 1016.48 1110.86/1114.58 c bounds -1024 >= -61915 @ 1016.48 1110.86/1114.58 c bounds -1024 >= -61099 @ 1016.49 1110.86/1114.58 c bounds -1024 >= -60235 @ 1016.49 1110.86/1114.58 c bounds -1024 >= -59387 @ 1016.5 1110.86/1114.58 c bounds -1024 >= -58619 @ 1016.51 1110.86/1114.58 c bounds -1024 >= -57851 @ 1016.51 1110.86/1114.58 c #Conflicts: 62000 | #Constraints: 55563 1110.86/1114.58 c bounds -1024 >= -57835 @ 1027.19 1110.86/1114.58 c bounds -1024 >= -57819 @ 1027.47 1110.86/1114.58 c bounds -1024 >= -57803 @ 1028.02 1110.86/1114.58 c bounds -1024 >= -57787 @ 1032.44 1110.86/1114.58 c bounds -1024 >= -57771 @ 1033.52 1110.86/1114.58 c bounds -1024 >= -57755 @ 1034.38 1110.86/1114.58 c bounds -1024 >= -57739 @ 1034.5 1110.86/1114.58 c bounds -1024 >= -57723 @ 1034.92 1110.86/1114.58 c bounds -1024 >= -57707 @ 1035.72 1110.86/1114.58 c bounds -1024 >= -57691 @ 1036.74 1110.86/1114.58 c bounds -1024 >= -57675 @ 1038.77 1110.86/1114.58 c #Conflicts: 63000 | #Constraints: 56842 1110.86/1114.58 c bounds -1024 >= -57659 @ 1043.55 1110.86/1114.58 c bounds -1024 >= -57643 @ 1045.09 1110.86/1114.58 c bounds -1024 >= -57627 @ 1047.43 1110.86/1114.58 c bounds -1024 >= -57611 @ 1049.14 1110.86/1114.58 c bounds -1024 >= -57595 @ 1052.87 1110.86/1114.58 c bounds -1024 >= -57579 @ 1055.54 1110.86/1114.58 c bounds -1024 >= -57563 @ 1058.08 1110.86/1114.58 c bounds -1024 >= -57547 @ 1061.68 1110.86/1114.58 c #Conflicts: 64000 | #Constraints: 58103 1110.86/1114.58 c bounds -1024 >= -57531 @ 1071.23 1110.86/1114.58 c #Conflicts: 65000 | #Constraints: 59139 1110.86/1114.58 c bounds -1024 >= -57515 @ 1088.17 1110.86/1114.58 c bounds -1024 >= -57499 @ 1098.17 1110.86/1114.58 c #Conflicts: 66000 | #Constraints: 60226 1189.21/1193.19 c bounds -1024 >= -57483 @ 1108.52 1189.21/1193.19 c bounds -1024 >= -57467 @ 1119.61 1189.21/1193.19 c #Conflicts: 67000 | #Constraints: 61319 1189.21/1193.19 c bounds -1024 >= -57451 @ 1139.29 1189.21/1193.19 c #Conflicts: 68000 | #Constraints: 62367 1189.21/1193.19 c bounds -1024 >= -57435 @ 1163.3 1189.21/1193.19 c #Conflicts: 69000 | #Constraints: 63433 1189.21/1193.19 c INPROCESSING 1189.21/1193.19 c GARBAGE COLLECT 1189.21/1193.19 c rational objective -2815.02 1357.31/1361.73 c bounds -1024 >= -57419 @ 1186.94 1357.31/1361.73 c bounds -1024 >= -57323 @ 1209.66 1357.31/1361.73 c bounds -1024 >= -57307 @ 1209.72 1357.31/1361.73 c bounds -1024 >= -57291 @ 1209.93 1357.31/1361.73 c bounds -1024 >= -57275 @ 1210.24 1357.31/1361.73 c bounds -1024 >= -57259 @ 1210.5 1357.31/1361.73 c bounds -1024 >= -57243 @ 1210.72 1357.31/1361.73 c bounds -1024 >= -57227 @ 1211.22 1357.31/1361.73 c bounds -1024 >= -57211 @ 1211.43 1357.31/1361.73 c bounds -1024 >= -57195 @ 1211.67 1357.31/1361.73 c bounds -1024 >= -57179 @ 1211.86 1357.31/1361.73 c bounds -1024 >= -57163 @ 1211.91 1357.31/1361.73 c bounds -1024 >= -57147 @ 1212.1 1357.31/1361.73 c bounds -1024 >= -57131 @ 1212.38 1357.31/1361.73 c bounds -1024 >= -57115 @ 1212.55 1357.31/1361.73 c #Conflicts: 70000 | #Constraints: 53402 1357.31/1361.73 c bounds -1024 >= -57099 @ 1212.8 1357.31/1361.73 c bounds -1024 >= -57083 @ 1212.86 1357.31/1361.73 c bounds -1024 >= -57067 @ 1212.95 1357.31/1361.73 c bounds -1024 >= -57051 @ 1213.02 1357.31/1361.73 c bounds -1024 >= -57035 @ 1213.42 1357.31/1361.73 c bounds -1024 >= -57019 @ 1214.07 1357.31/1361.73 c bounds -1024 >= -57003 @ 1214.57 1357.31/1361.73 c bounds -1024 >= -56987 @ 1215.31 1357.31/1361.73 c bounds -1024 >= -56971 @ 1219.76 1357.31/1361.73 c #Conflicts: 71000 | #Constraints: 54615 1357.31/1361.73 c bounds -1024 >= -56955 @ 1226.88 1357.31/1361.73 c bounds -1024 >= -56939 @ 1229.15 1357.31/1361.73 c #Conflicts: 72000 | #Constraints: 55678 1357.31/1361.73 c bounds -1024 >= -56923 @ 1232.51 1357.31/1361.73 c bounds -1024 >= -56907 @ 1236.22 1357.31/1361.73 c bounds -1024 >= -56891 @ 1237.12 1357.31/1361.73 c #Conflicts: 73000 | #Constraints: 56861 1357.31/1361.73 c bounds -1024 >= -56875 @ 1238.98 1357.31/1361.73 c bounds -1024 >= -56859 @ 1240.19 1357.31/1361.73 c bounds -1024 >= -56843 @ 1242.33 1357.31/1361.73 c #Conflicts: 74000 | #Constraints: 58023 1357.31/1361.73 c bounds -1024 >= -56827 @ 1245.06 1357.31/1361.73 c bounds -1024 >= -56811 @ 1248.73 1357.31/1361.73 c #Conflicts: 75000 | #Constraints: 59167 1357.31/1361.73 c bounds -1024 >= -56795 @ 1252.32 1357.31/1361.73 c bounds -1024 >= -56779 @ 1254.23 1357.31/1361.73 c #Conflicts: 76000 | #Constraints: 60287 1357.31/1361.73 c INPROCESSING 1357.31/1361.73 c GARBAGE COLLECT 1357.31/1361.73 c bounds -1024 >= -56763 @ 1260.94 1357.31/1361.73 c #Conflicts: 77000 | #Constraints: 52004 1357.31/1361.73 c bounds -1024 >= -56747 @ 1268.47 1357.31/1361.73 c #Conflicts: 78000 | #Constraints: 53055 1357.31/1361.73 c #Conflicts: 79000 | #Constraints: 54055 1357.31/1361.73 c bounds -1024 >= -56731 @ 1274.61 1357.31/1361.73 c #Conflicts: 80000 | #Constraints: 55091 1357.31/1361.73 c bounds -1024 >= -56715 @ 1282.28 1357.31/1361.73 c #Conflicts: 81000 | #Constraints: 56151 1357.31/1361.73 c #Conflicts: 82000 | #Constraints: 57151 1357.31/1361.73 c bounds -1024 >= -56699 @ 1312.42 1357.31/1361.73 c #Conflicts: 83000 | #Constraints: 58208 1357.31/1361.73 c bounds -1024 >= -56683 @ 1323.22 1357.31/1361.73 c #Conflicts: 84000 | #Constraints: 59256 1357.31/1361.73 c INPROCESSING 1357.31/1361.73 c GARBAGE COLLECT 1357.31/1361.73 c rational objective -2813.98 1669.90/1675.29 c #Conflicts: 85000 | #Constraints: 52069 1669.90/1675.29 c #Conflicts: 86000 | #Constraints: 53069 1669.90/1675.29 c bounds -1024 >= -56667 @ 1373.34 1669.90/1675.29 c #Conflicts: 87000 | #Constraints: 54153 1669.90/1675.29 c #Conflicts: 88000 | #Constraints: 55153 1669.90/1675.29 c #Conflicts: 89000 | #Constraints: 56153 1669.90/1675.29 c bounds -1024 >= -56651 @ 1396.68 1669.90/1675.29 c #Conflicts: 90000 | #Constraints: 57207 1669.90/1675.29 c #Conflicts: 91000 | #Constraints: 58207 1669.90/1675.29 c bounds -1024 >= -56635 @ 1414.45 1669.90/1675.29 c #Conflicts: 92000 | #Constraints: 59285 1669.90/1675.29 c #Conflicts: 93000 | #Constraints: 60285 1669.90/1675.29 c #Conflicts: 94000 | #Constraints: 61285 1669.90/1675.29 c bounds -1024 >= -56619 @ 1519.81 1669.90/1675.29 c #Conflicts: 95000 | #Constraints: 62354 1669.90/1675.29 c #Conflicts: 96000 | #Constraints: 63354 1669.90/1675.29 c #Conflicts: 97000 | #Constraints: 64354 1669.90/1675.29 c #Conflicts: 98000 | #Constraints: 65354 1669.90/1675.29 c #Conflicts: 99000 | #Constraints: 66354 1669.90/1675.29 c bounds -1024 >= -56603 @ 1580.8 1669.90/1675.29 c #Conflicts: 100000 | #Constraints: 67399 1669.90/1675.29 c #Conflicts: 101000 | #Constraints: 68399 1669.90/1675.29 c #Conflicts: 102000 | #Constraints: 69399 1669.90/1675.29 c #Conflicts: 103000 | #Constraints: 70399 1669.90/1675.29 c bounds -1024 >= -56587 @ 1620.99 1669.90/1675.29 c #Conflicts: 104000 | #Constraints: 71465 1669.90/1675.29 c #Conflicts: 105000 | #Constraints: 72465 1669.90/1675.29 c INPROCESSING 1669.90/1675.29 c GARBAGE COLLECT 1669.90/1675.29 c rational objective -2811.86 1875.71/1881.63 c #Conflicts: 106000 | #Constraints: 58826 1875.71/1881.63 c #Conflicts: 107000 | #Constraints: 59826 1875.71/1881.63 c bounds -1024 >= -56571 @ 1694.73 1875.71/1881.63 c #Conflicts: 108000 | #Constraints: 60874 1875.71/1881.63 c #Conflicts: 109000 | #Constraints: 61874 1875.71/1881.63 c #Conflicts: 110000 | #Constraints: 62874 1875.71/1881.63 c bounds -1024 >= -56555 @ 1735.03 1875.71/1881.63 c #Conflicts: 111000 | #Constraints: 63943 1875.71/1881.63 c #Conflicts: 112000 | #Constraints: 64943 1875.71/1881.63 c #Conflicts: 113000 | #Constraints: 65943 1875.71/1881.63 c bounds -1024 >= -56539 @ 1776.68 1875.71/1881.63 c INPROCESSING 1875.71/1881.63 c GARBAGE COLLECT 1875.71/1881.63 c rational objective -2809.17
ERROR: no interpretation found !
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: 63968 MiB (57205 MiB free)
memory of node 1: 64473 MiB (62479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455047-1721463488/watcher-4455047-1721463488 -o /tmp/evaluation-result-4455047-1721463488/solver-4455047-1721463488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040616 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455047-1721463488.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1045042, runsolver pid=1045039
[startup+0.108841 s]*
/proc/loadavg: 4.15 4.11 4.10 5/256 1045043
/proc/meminfo: memFree=122543992/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=49028 memory=18240 CPUtime=0.1 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 5077 0 0 0 7 3 0 0 20 0 1 0 198515867 50204672 4560 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 12257 4560 1291 922 0 4209 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49028 KiB
Current children cumulated memory: 18240 KiB
[startup+0.205587 s]*
/proc/loadavg: 4.15 4.11 4.10 5/256 1045043
/proc/meminfo: memFree=122504336/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=92332 memory=62464 CPUtime=0.2 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 15149 0 0 0 14 6 0 0 20 0 1 0 198515867 94547968 15616 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 23083 15616 1642 922 0 15035 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 62464 KiB
[startup+0.305711 s]*
/proc/loadavg: 4.15 4.11 4.10 5/256 1045043
/proc/meminfo: memFree=122490488/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=98184 memory=64940 CPUtime=0.3 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 16995 0 0 0 24 6 0 0 20 0 1 0 198515867 100540416 16235 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 24546 16235 1738 922 0 16498 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98184 KiB
Current children cumulated memory: 64940 KiB
[startup+0.700233 s]
/proc/loadavg: 4.15 4.11 4.10 5/256 1045043
/proc/meminfo: memFree=122489004/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=102448 memory=68900 CPUtime=0.69 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 17979 0 0 0 63 6 0 0 20 0 1 0 198515867 104906752 17225 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 25612 17225 1738 922 0 17564 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102448 KiB
Current children cumulated memory: 68900 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.11 4.10 5/256 1045043
/proc/meminfo: memFree=122470028/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=111564 memory=77280 CPUtime=1.48 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 19510 0 0 0 142 6 0 0 20 0 1 0 198515867 114241536 19320 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 27891 19320 1738 922 0 19843 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111564 KiB
Current children cumulated memory: 77280 KiB
[startup+3.10579 s]
/proc/loadavg: 4.15 4.11 4.10 5/256 1045044
/proc/meminfo: memFree=122446876/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=111564 memory=77280 CPUtime=3.08 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 19533 0 0 0 302 6 0 0 20 0 1 0 198515867 114241536 19320 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 27891 19320 1738 922 0 19843 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111564 KiB
Current children cumulated memory: 77280 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.11 4.10 5/256 1045044
/proc/meminfo: memFree=122413768/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=111564 memory=77280 CPUtime=6.27 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 19548 0 0 0 620 7 0 0 20 0 1 0 198515867 114241536 19320 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 27891 19320 1738 922 0 19843 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111564 KiB
Current children cumulated memory: 77280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1045046
/proc/meminfo: memFree=122224424/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=303028 memory=255520 CPUtime=12.65 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 52302 0 0 0 1248 17 0 0 20 0 1 0 198515867 310300672 63880 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 75757 63880 1769 922 0 67709 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 303028 KiB
Current children cumulated memory: 255520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.10 5/256 1045047
/proc/meminfo: memFree=120959352/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=591392 memory=528712 CPUtime=25.41 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 87892 0 0 0 2504 37 0 0 20 0 1 0 198515867 605585408 132178 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 147848 132178 1850 922 0 139800 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 591392 KiB
Current children cumulated memory: 528712 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1045050
/proc/meminfo: memFree=120420416/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=591392 memory=529212 CPUtime=50.93 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 88082 0 0 0 5035 58 0 0 20 0 1 0 198515867 605585408 132303 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 147848 132303 1850 922 0 139800 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 591392 KiB
Current children cumulated memory: 529212 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 4.20 4.13 5/259 1045066
/proc/meminfo: memFree=119611608/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=591392 memory=529452 CPUtime=101.97 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 88129 0 0 0 10099 98 0 0 20 0 1 0 198515867 605585408 132363 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 147848 132363 1850 922 0 139800 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 591392 KiB
Current children cumulated memory: 529452 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.17 4.13 5/259 1045077
/proc/meminfo: memFree=116960684/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=600632 memory=537604 CPUtime=161.78 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 88679 0 0 0 16007 171 0 0 20 0 1 0 198515867 615047168 134401 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 150158 134401 1850 922 0 142110 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 600632 KiB
Current children cumulated memory: 537604 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/259 1045087
/proc/meminfo: memFree=116193128/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=848408 memory=674424 CPUtime=221.59 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 114262 0 0 0 21924 235 0 0 20 0 1 0 198515867 868769792 168606 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 212102 168606 1850 922 0 204054 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 848408 KiB
Current children cumulated memory: 674424 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 1045098
/proc/meminfo: memFree=115576544/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=849316 memory=676788 CPUtime=281.4 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 114864 0 0 0 27877 263 0 0 20 0 1 0 198515867 869699584 169197 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 212329 169197 1850 922 0 204281 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 849316 KiB
Current children cumulated memory: 676788 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/257 1045109
/proc/meminfo: memFree=111564844/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=851456 memory=680176 CPUtime=341.22 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 115743 0 0 0 33832 290 0 0 20 0 1 0 198515867 871890944 170044 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 212864 170044 1850 922 0 204816 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 851456 KiB
Current children cumulated memory: 680176 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/257 1045120
/proc/meminfo: memFree=110999328/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=894812 memory=724396 CPUtime=401.02 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 126837 0 0 0 39766 336 0 0 20 0 1 0 198515867 916287488 181099 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 223703 181099 1850 922 0 215655 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 894812 KiB
Current children cumulated memory: 724396 KiB
[startup+462.3 s]
/proc/loadavg: 4.50 4.25 4.15 5/256 1045514
/proc/meminfo: memFree=109989572/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=929428 memory=774552 CPUtime=460.84 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 136772 0 0 0 45609 475 0 0 20 0 1 0 198515867 951734272 193638 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 232357 193638 1850 922 0 224309 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/255 1046909
/proc/meminfo: memFree=124402544/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3033.48 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 426680 0 0 0 301815 1533 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3033.48 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.20 4.13 5/257 1046924
/proc/meminfo: memFree=124201752/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3093.33 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 426850 0 0 0 307754 1579 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/257 1046935
/proc/meminfo: memFree=124038708/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3153.17 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427021 0 0 0 313694 1623 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/258 1046946
/proc/meminfo: memFree=123869460/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3213.02 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427196 0 0 0 319630 1672 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 1046956
/proc/meminfo: memFree=123816788/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3272.87 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427412 0 0 0 325570 1717 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/258 1046968
/proc/meminfo: memFree=123810268/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3332.74 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427581 0 0 0 331510 1764 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/258 1046979
/proc/meminfo: memFree=123809240/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3392.6 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427759 0 0 0 337446 1814 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/255 1046989
/proc/meminfo: memFree=123806100/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3452.46 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 427929 0 0 0 343387 1859 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 1046999
/proc/meminfo: memFree=123804736/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3512.33 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428100 0 0 0 349328 1905 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 1047010
/proc/meminfo: memFree=123803964/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3319252 CPUtime=3572.19 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428275 0 0 0 355267 1952 0 0 20 0 1 0 198515867 4310536192 829813 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 829813 1850 922 0 1044329 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3319252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.37 4.17 4.11 5/254 1047014
/proc/meminfo: memFree=123797544/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3321628 CPUtime=3600.01 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428367 0 0 0 358028 1973 0 0 20 0 1 0 198515867 4310536192 830407 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 830407 1850 922 0 1044329 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3321628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.21 s]
# the end of solver process 1045042 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3582.26 s, system=19.7722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.37 4.17 4.11 5/254 1047014
/proc/meminfo: memFree=123797544/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3321628 CPUtime=3601.02 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428367 0 0 0 358127 1975 0 0 20 0 1 0 198515867 4310536192 830407 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 830407 1850 922 0 1044329 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3321628 KiB
[startup+3612 s]*
/proc/loadavg: 4.37 4.17 4.11 5/254 1047015
/proc/meminfo: memFree=123797456/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3321628 CPUtime=3601.82 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428367 0 0 0 358206 1976 0 0 20 0 1 0 198515867 4310536192 830407 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 830407 1850 922 0 1044329 0
Current children cumulated CPU time: 3601.82 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3321628 KiB
[startup+3612.2 s]
/proc/loadavg: 4.37 4.17 4.11 5/254 1047015
/proc/meminfo: memFree=123797456/131524600 swapFree=131071996/131071996
[pid=1045042] ppid=1045039 vsize=4209508 memory=3321628 CPUtime=3602.02 cores=0,2
/proc/1045042/stat : 1045042 (roundingsat) R 1045039 1045042 1040606 0 -1 4194304 428367 0 0 0 358226 1976 0 0 20 0 1 0 198515867 4310536192 830407 134679101440 4194304 7968373 140731802299728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 17510400 140731802301372 140731802301536 140731802301536 140731802308553 0
/proc/1045042/statm: 1052377 830407 1850 922 0 1044329 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 4209508 KiB
Current children cumulated memory: 3321628 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.21
CPU time (s): 3602.03
CPU user time (s): 3582.26
CPU system time (s): 19.7722
CPU usage (%): 99.7183
Max. virtual memory (cumulated for all children) (KiB): 4209508
Max. memory (cumulated for all children) (KiB): 3321628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.26
system time used= 19.7722
maximum resident set size= 3321628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 24730
# summary of solver processes directly reported to runsolver:
# pid: 1045042
# total CPU time (s): 3602.03
# total CPU user time (s): 3582.26
# total CPU system time (s): 19.7722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90035 second user time and 16.0431 second system time
The end
Begin job on nodeC028 at 2024-07-20 10:18:21 IDJOB=4455047 IDBENCH=156167 IDSOLVER=3084 FILE ID=nodeC028/4455047-1721463488 RUNJOBID= nodeC028-1721456189-1040616 SLURM_JOB_ID= 7545691 Free space on /tmp= 889832 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455047-1721463488/watcher-4455047-1721463488 -o /tmp/evaluation-result-4455047-1721463488/solver-4455047-1721463488 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721456189-1040616 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455047-1721463488.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1839e390ed6efb0b7de52ce1d96beb02 RANDOM SEED=1208799384 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3661.130 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3686.097 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3635.485 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3600.109 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3672.442 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 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 : 3686.160 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 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 : 3620.365 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.937 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122557780 kB MemAvailable: 123338636 kB Buffers: 549368 kB Cached: 1078656 kB SwapCached: 0 kB Active: 1298860 kB Inactive: 7053080 kB Active(anon): 1560 kB Inactive(anon): 6768268 kB Active(file): 1297300 kB Inactive(file): 284812 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7844 kB Writeback: 0 kB AnonPages: 6719348 kB Mapped: 117996 kB Shmem: 45912 kB KReclaimable: 77132 kB Slab: 185368 kB SReclaimable: 77132 kB SUnreclaim: 108236 kB KernelStack: 4124 kB PageTables: 22768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7915612 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66336 kB HardwareCorrupted: 0 kB AnonHugePages: 3579904 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 20547584 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890040 MiB End job on nodeC028 at 2024-07-20 11:18:33