0.00/0.01 c solving HOME/instance-4545502-1753238919.opb (Picat 3.9b6)
91.33/91.68 s SATISFIABLE
91.33/91.68 v ~x224 x1919 ~x3606 ~x5297 ~x1067 x2760 ~x4451 ~x229 x1918 ~x3607
91.33/91.68 v ~x5298 ~x1072 ~x2761 ~x4452 ~x228 ~x1917 x3608 ~x5299 ~x1071 ~x2762
91.33/91.68 v x4453 x227 ~x1916 ~x3609 ~x5300 x1070 ~x2763 ~x4454 ~x232 x1915
91.33/91.68 v ~x3610 x5301 x1075 x2764 ~x4455 x231 ~x1924 x3611 ~x5302 ~x1074
91.33/91.68 v ~x2765 x4456 ~x230 ~x1923 ~x3612 ~x5303 ~x1073 ~x2766 ~x4457 ~x235
91.33/91.68 v ~x1922 x3613 ~x5304 ~x1078 x2767 ~x4458 x234 ~x1921 ~x3614 ~x5305
91.33/91.68 v ~x1077 ~x2768 x4459 ~x233 x1920 ~x3615 ~x5306 x1076 x2769 ~x4460
91.33/91.68 v ~x238 ~x1929 ~x3616 ~x5307 x1081 ~x2770 ~x4461 x237 ~x1928 x3617
91.33/91.68 v ~x5308 ~x1080 ~x2771 x4462 ~x236 ~x1927 ~x3618 ~x5309 ~x1079 ~x2772
91.33/91.68 v ~x4463 ~x241 ~x1926 ~x3619 ~x5310 x1084 ~x2773 ~x4464 x240 x1925
91.33/91.68 v x3620 ~x5311 ~x1083 x2774 x4465 ~x239 ~x1934 ~x3621 ~x5312 ~x1082
91.33/91.68 v ~x2775 ~x4466 x244 ~x1933 x3622 ~x5313 ~x1087 x2776 ~x4467 ~x243
91.33/91.68 v x1932 ~x3623 ~x5314 ~x1086 ~x2777 x4468 ~x242 x1931 ~x3624 ~x5315
91.33/91.68 v x1085 ~x2778 x4469 ~x247 ~x1930 ~x3625 ~x5316 ~x1090 x2779 x4470
91.33/91.68 v ~x246 x1939 x3626 ~x5317 ~x1089 ~x2780 x4471 x245 ~x1938 ~x3627
91.33/91.68 v ~x5318 x1088 ~x2781 x4472 ~x250 ~x1937 x3628 ~x5319 x1093 x2782
91.33/91.68 v x4473 x249 ~x1936 ~x3629 ~x5320 ~x1092 ~x2783 x4474 ~x248 ~x1935
91.33/91.68 v ~x3630 ~x5321 ~x1091 ~x2784 x4475 ~x253 x1944 ~x3631 x5322 x1096
91.33/91.68 v ~x2785 x4476 x252 ~x1943 x3632 x5323 ~x1095 x2786 ~x4477 ~x251
91.33/91.68 v ~x1942 ~x3633 x5324 ~x1094 ~x2787 x4478 ~x256 ~x1941 x3634 x5325
91.33/91.68 v ~x1099 x2788 ~x4479 ~x255 ~x1940 ~x3635 ~x5326 ~x1098 ~x2789 x4480
91.33/91.68 v x254 x1949 ~x3636 x5327 x1097 x2790 x4481 x259 ~x1948 x3637
91.33/91.68 v ~x5328 ~x1102 ~x2791 x4482 ~x258 ~x1947 ~x3638 x5329 ~x1101 ~x2792
91.33/91.68 v x4483 ~x257 ~x1946 ~x3639 x5330 x1100 x2793 x4484 ~x1945 x3640
91.33/91.68 v ~x5331 x1105 ~x2794 x4485 ~x262 x1954 ~x3641 x5332 ~x1104 ~x2795
91.33/91.68 v x4486 ~x261 ~x1953 ~x3642 ~x5333 ~x1103 ~x2796 x4487 x260 ~x1952
91.33/91.68 v ~x3643 ~x5334 ~x1108 x2797 x4488 x265 ~x1951 x3644 ~x5335 x1107
91.33/91.68 v ~x2798 x4489 ~x264 ~x1950 ~x3645 ~x5336 ~x1106 ~x2799 ~x4490 ~x263
91.33/91.68 v ~x1959 ~x3646 ~x5337 ~x1111 x2800 ~x4491 ~x268 ~x1958 x3647 x5338
91.33/91.68 v x1110 ~x2801 x4492 ~x267 ~x1957 ~x3648 x5339 ~x1109 x2802 ~x4493
91.33/91.68 v x266 ~x1956 ~x3649 x5340 ~x1114 ~x2803 ~x4494 x271 ~x1955 x3650
91.33/91.68 v x5341 ~x1113 ~x2804 x4495 ~x270 x1964 ~x3651 x5342 x1112 ~x2805
91.33/91.68 v x4496 ~x269 x1963 ~x3652 x5343 x1117 x2806 x4497 ~x274 ~x1962
91.33/91.68 v x3653 x5344 ~x1116 ~x2807 x4498 ~x273 x1961 ~x3654 x5345 ~x1115
91.33/91.68 v x2808 ~x4499 x272 ~x1960 ~x3655 x5346 x1120 ~x2809 ~x4500 x277
91.33/91.68 v x1969 x3656 x5347 ~x1119 ~x2810 x4501 ~x276 x1968 ~x3657 x5348
91.33/91.68 v ~x1118 x2811 x4502 ~x275 ~x1967 ~x3658 ~x5349 ~x1123 ~x2812 x4503
91.33/91.68 v ~x280 x1966 x3659 x5350 ~x1122 ~x2813 x4504 ~x279 ~x1965 ~x3660
91.33/91.68 v x5351 x1121 x2814 x4505 x278 x3661 x1974 ~x5352 ~x2815 ~x1126
91.33/91.68 v x4506 x283 x1973 x3662 x5353 ~x1125 ~x2816 x4507 ~x282 ~x1972
91.33/91.68 v x3663 ~x5354 x1124 ~x2817 ~x4508 ~x281 x1971 x3664 x5355 x1129
91.33/91.68 v ~x2818 ~x4509 ~x286 ~x1970 x3665 ~x5356 ~x1128 x2819 x4510 ~x285
91.33/91.68 v x1979 x3666 ~x5357 ~x1127 x2820 x4511 x284 ~x1978 x3667 ~x5358
91.33/91.68 v x1132 ~x2821 x4512 x289 x1977 x3668 x5359 ~x1131 ~x2822 x4513
91.33/91.68 v ~x288 x1976 x3669 x5360 ~x1130 x2823 ~x4514 ~x287 ~x1975 x3670
91.33/91.68 v x5361 ~x1135 ~x2824 ~x4515 ~x292 x1984 ~x3671 x5362 ~x1134 ~x2825
91.33/91.68 v x4516 x291 x1983 ~x3672 x5363 x1133 ~x2826 ~x4517 ~x290 x1982
91.33/91.68 v x3673 x5364 ~x1138 ~x2827 ~x4518 ~x295 x1981 ~x3674 ~x5365 x1137
91.33/91.68 v x2828 x4519 x294 ~x1980 ~x3675 ~x5366 ~x1136 x2829 ~x4520 ~x293
91.33/91.68 v x1989 x3676 ~x5367 ~x1141 ~x2830 ~x4521 ~x298 x1988 ~x3677 ~x5368
91.33/91.68 v x1140 ~x2831 x4522 x297 ~x1987 ~x3678 ~x5369 ~x1139 x2832 ~x4523
91.33/91.68 v ~x296 x1986 x3679 ~x5370 x1144 ~x2833 ~x4524 ~x301 ~x1985 x3680
91.33/91.68 v ~x5371 ~x1143 ~x2834 x4525 x300 x1994 x3681 ~x5372 ~x1142 ~x2835
91.33/91.68 v ~x4526 ~x299 ~x1993 x3682 ~x5373 ~x1147 ~x2836 ~x4527 x304 x1992
91.33/91.68 v x3683 ~x5374 ~x1146 x2837 x4528 ~x303 ~x1991 x3684 ~x5375 x1145
91.33/91.68 v ~x2838 ~x4529 ~x302 x1990 x3685 ~x5376 ~x1150 ~x2839 ~x4530 ~x307
91.33/91.68 v x1999 ~x3686 ~x5377 x1149 x2840 x4531 ~x306 x1998 ~x3687 ~x5378
91.33/91.68 v ~x1148 ~x2841 x4532 x305 ~x1997 x3688 ~x5379 ~x1153 x2842 x4533
91.33/91.68 v ~x310 x1996 x3689 ~x5380 x1152 ~x2843 x4534 ~x309 ~x1995 x3690
91.33/91.68 v ~x5381 ~x1151 ~x2844 x4535 x308 x2004 x3691 ~x5382 x1156 x2845
91.33/91.68 v x4536 x313 x2003 ~x3692 ~x5383 ~x1155 ~x2846 x4537 ~x312 ~x2002
91.33/91.68 v ~x3693 ~x5384 ~x1154 x2847 x4538 ~x311 x2001 x3694 x5385 ~x1159
91.33/91.69 v ~x2848 x4539 ~x316 ~x2000 ~x3695 x5386 ~x1158 ~x2849 ~x4540 x315
91.33/91.69 v ~x2009 ~x3696 x5387 x1157 ~x2850 x4541 ~x314 x2008 x3697 x5388
91.33/91.69 v x1162 ~x2851 ~x4542 ~x319 ~x2007 ~x3698 x5389 ~x1161 x2852 x4543
91.33/91.69 v x318 ~x2006 ~x3699 x5390 ~x1160 ~x2853 x4544 ~x317 x2005 x3700
91.33/91.69 v x5391 ~x1165 ~x2854 x4545 x322 x2014 ~x3701 x5392 ~x1164 x2855
91.33/91.69 v x4546 ~x321 x2013 ~x3702 x5393 x1163 ~x2856 x4547 ~x320 ~x2012
91.33/91.69 v x3703 x5394 x1168 ~x2857 x4548 ~x325 x2011 ~x3704 x5395 ~x1167
91.33/91.69 v x2858 x4549 ~x324 ~x2010 ~x3705 x5396 ~x1166 ~x2859 x4550 x323
91.33/91.69 v ~x2019 x3706 x5397 ~x1171 x2860 x4551 ~x328 ~x2018 ~x3707 x5398
91.33/91.69 v ~x1170 ~x2861 x4552 ~x327 x2017 ~x3708 x5399 x1169 x2862 ~x4553
91.33/91.69 v x326 ~x2016 x3709 x5400 ~x1174 x2863 ~x4554 x331 x2015 x3710
91.33/91.69 v x5401 x1173 x2864 x4555 ~x330 ~x2024 x3711 x5402 ~x1172 ~x2865
91.33/91.69 v ~x4556 ~x329 x2023 x3712 x5403 ~x1177 ~x2866 ~x4557 ~x334 x2022
91.33/91.69 v x3713 x5404 x1176 x2867 x4558 ~x333 x2021 x3714 x5405 ~x1175
91.33/91.69 v ~x2868 x4559 x332 ~x2020 x3715 x5406 x1180 x2869 x4560 x337
91.33/91.69 v x2029 x3716 ~x5407 ~x1179 x2870 x4561 ~x336 x2028 x3717 ~x5408
91.33/91.69 v ~x1178 ~x2871 ~x4562 ~x335 ~x2027 x3718 ~x5409 ~x1183 x2872 ~x4563
91.33/91.69 v ~x340 ~x2026 x3719 ~x5410 ~x1182 ~x2873 x4564 x339 x2025 x3720
91.33/91.69 v ~x5411 x1181 ~x2874 x4565 ~x338 ~x2034 ~x3721 ~x5412 ~x1186 ~x2875
91.33/91.69 v x4566 ~x343 x2033 x3722 ~x5413 ~x1185 ~x2876 x4567 x342 ~x2032
91.33/91.69 v ~x3723 ~x5414 x1184 ~x2877 x4568 ~x341 ~x2031 ~x3724 ~x5415 x1189
91.33/91.69 v ~x2878 x4569 x346 x2030 x3725 ~x5416 ~x1188 x2879 x4570 ~x345
91.33/91.69 v ~x2039 ~x3726 ~x5417 ~x1187 x2880 ~x4571 ~x344 x2038 ~x3727 ~x5418
91.33/91.69 v ~x1192 x2881 ~x4572 ~x349 ~x2037 x3728 ~x5419 x1191 x2882 x4573
91.33/91.69 v ~x348 ~x2036 ~x3729 ~x5420 ~x1190 x2883 x4574 x347 x2035 ~x3730
91.33/91.69 v ~x5421 ~x1195 x2884 x4575 ~x352 ~x2044 x3731 ~x5422 x1194 x2885
91.33/91.69 v x4576 x351 ~x2043 ~x3732 ~x5423 ~x1193 x2886 ~x4577 ~x350 x2042
91.33/91.69 v ~x3733 ~x5424 x1198 ~x2887 ~x4578 ~x355 x2041 x3734 ~x5425 ~x1197
91.33/91.69 v ~x2888 x4579 x354 ~x2040 ~x3735 ~x5426 ~x1196 x2889 ~x4580 ~x353
91.33/91.69 v x2049 ~x3736 x5427 ~x1201 ~x2890 ~x4581 x358 x2048 x3737 ~x5428
91.33/91.69 v ~x1200 x2891 x4582 ~x357 ~x2047 ~x3738 ~x5429 x1199 x2892 ~x4583
91.33/91.69 v ~x356 x2046 ~x3739 ~x5430 x1204 ~x2893 ~x4584 ~x361 ~x2045 x3740
91.33/91.69 v ~x5431 ~x1203 x2894 x4585 ~x360 x2054 ~x3741 ~x5432 ~x1202 ~x2895
91.33/91.69 v ~x4586 x359 x2053 ~x3742 ~x5433 ~x1207 ~x2896 ~x4587 x364 ~x2052
91.33/91.69 v x3743 ~x5434 ~x1206 ~x2897 x4588 ~x363 x2051 ~x3744 ~x5435 x1205
91.33/91.69 v ~x2898 ~x4589 ~x362 ~x2050 ~x3745 ~x5436 x1210 ~x2899 ~x4590 ~x367
91.33/91.69 v x2059 x3746 ~x5437 ~x1209 ~x2900 x4591 ~x366 x2058 ~x3747 ~x5438
91.33/91.69 v ~x1208 x2901 ~x4592 x365 ~x2057 ~x3748 ~x5439 ~x1213 x2902 ~x4593
91.33/91.69 v x370 x2056 x3749 ~x5440 ~x1212 x2903 x4594 ~x369 ~x2055 ~x3750
91.33/91.69 v ~x5441 x1211 x2904 x4595 ~x368 x2064 ~x3751 ~x5442 ~x1216 x2905
91.33/91.69 v x4596 ~x373 x2063 x3752 ~x5443 x1215 x2906 x4597 ~x372 ~x2062
91.33/91.69 v ~x3753 ~x5444 ~x1214 x2907 x4598 x371 x2061 ~x3754 ~x5445 ~x1219
91.33/91.69 v x2908 x4599 ~x376 ~x2060 x3755 ~x5446 x1218 ~x2909 x4600 x375
91.33/91.69 v ~x2069 ~x3756 ~x5447 ~x1217 ~x2910 x4601 ~x374 ~x2068 ~x3757 x5448
91.33/91.69 v ~x1222 x2911 x4602 ~x379 ~x2067 x3758 x5449 x1221 ~x2912 ~x4603
91.33/91.69 v x378 ~x2066 ~x3759 x5450 ~x1220 x2913 x4604 ~x377 ~x2065 ~x3760
91.33/91.69 v x5451 ~x1225 x2914 ~x4605 x382 ~x2070 x3761 x5452 x1224 ~x2915
91.33/91.69 v x4606 ~x381 x2071 ~x3762 x5453 ~x1223 x2916 x4607 ~x380 ~x2072
91.33/91.69 v ~x3763 x5454 ~x1228 ~x2917 x4608 ~x385 ~x2073 x3764 ~x5455 x1227
91.33/91.69 v ~x2918 x4609 ~x384 ~x2074 ~x3765 x5456 ~x1226 ~x2919 x4610 x383
91.33/91.69 v x2075 ~x3766 x5457 ~x1231 ~x2920 x4611 x388 ~x2076 x3767 x5458
91.33/91.69 v x1230 ~x2921 x4612 ~x387 ~x2077 ~x3768 ~x5459 ~x1229 ~x2922 x4613
91.33/91.69 v ~x386 x2078 ~x3769 x5460 x1234 x2923 x4614 ~x391 ~x2079 x3770
91.33/91.69 v ~x5461 ~x1233 x2924 x4615 ~x390 ~x2080 ~x3771 ~x5462 ~x1232 x2925
91.33/91.69 v ~x4616 x389 x2081 ~x3772 ~x5463 ~x1237 x2926 ~x4617 x394 ~x2082
91.33/91.69 v x3773 x5464 ~x1236 x2927 x4618 ~x393 ~x2083 ~x3774 x5465 x1235
91.33/91.69 v x2928 ~x4619 ~x392 x2084 ~x3775 x5466 x1240 x2929 ~x4620 ~x397
91.33/91.69 v ~x2085 x3776 x5467 ~x1239 x2930 x4621 ~x396 x2086 ~x3777 x5468
91.33/91.69 v ~x1238 x2931 x4622 x395 ~x2087 ~x3778 x5469 ~x1243 ~x2932 x4623
91.33/91.69 v x400 ~x2088 x3779 ~x5470 ~x1242 x2933 x4624 ~x399 x2089 ~x3780
91.33/91.69 v ~x5471 x1241 ~x2934 ~x4625 ~x398 ~x2090 ~x3781 ~x5472 ~x1246 x2935
91.33/91.69 v ~x4626 ~x403 ~x2091 x3782 ~x5473 ~x1245 x2936 x4627 ~x402 x2092
91.33/91.69 v ~x3783 ~x5474 x1244 ~x2937 x4628 x401 ~x2093 ~x3784 ~x5475 x1249
91.33/91.69 v x2938 x4629 x406 x2094 x3785 ~x5476 ~x1248 ~x2939 x4630 ~x405
91.33/91.69 v ~x2095 ~x3786 ~x5477 ~x1247 ~x2940 x4631 ~x404 ~x2096 x3787 ~x5478
91.33/91.69 v x1252 ~x2941 x4632 ~x409 x2097 x3788 ~x5479 ~x1251 ~x2942 x4633
91.33/91.69 v ~x408 ~x2098 x3789 ~x5480 ~x1250 ~x2943 ~x4634 x407 ~x2099 x3790
91.33/91.69 v ~x5481 ~x1255 x2944 ~x4635 x412 ~x2100 x3791 ~x5482 ~x1254 x2945
91.33/91.69 v x4636 ~x411 ~x2101 x3792 ~x5483 x1253 x2946 x4637 ~x410 x2102
91.33/91.69 v x3793 ~x5484 x1258 x2947 x4638 ~x415 ~x2103 x3794 ~x5485 ~x1257
91.33/91.69 v x2948 x4639 ~x414 x2104 x3795 ~x5486 ~x1256 x2949 ~x4640 x413
91.33/91.69 v ~x2105 x3796 ~x5487 ~x1261 x2950 ~x4641 ~x418 ~x2106 ~x3797 ~x5488
91.33/91.69 v ~x1260 x2951 x4642 x417 ~x2107 ~x3798 ~x5489 x1259 x2952 ~x4643
91.33/91.69 v ~x416 x2108 x3799 x5490 ~x1264 x2953 ~x4644 ~x421 ~x2109 ~x3800
91.33/91.69 v x5491 ~x1263 x2954 x4645 x420 x2110 ~x3801 x5492 x1262 x2955
91.33/91.69 v ~x4646 ~x419 ~x2111 x3802 x5493 x1267 ~x2956 ~x4647 x424 ~x2112
91.33/91.69 v x3803 x5494 ~x1266 x2957 x4648 ~x423 x2113 x3804 x5495 ~x1265
91.33/91.69 v x2958 ~x4649 ~x422 x3805 x5496 ~x1270 ~x2959 ~x4650 ~x427 ~x3806
91.33/91.69 v ~x5497 ~x1269 x2960 x4651 ~x2114 ~x426 ~x3807 x5498 x1268 ~x2961
91.33/91.69 v ~x4652 x2115 x425 x3808 x5499 x1273 x2962 ~x4653 ~x2116 ~x430
91.33/91.69 v x3809 x5500 ~x1272 ~x2963 x4654 ~x2117 ~x429 x3810 x5501 ~x1271
91.33/91.69 v ~x2964 ~x4655 x2118 x428 x3811 x5502 ~x1276 ~x2965 ~x4656 ~x2119
91.33/91.69 v x433 ~x3812 x5503 x1275 x2966 x4657 ~x2120 ~x432 ~x3813 x5504
91.33/91.69 v ~x1274 x2967 x4658 x2121 ~x431 x3814 x5505 ~x1279 x2968 x4659
91.33/91.69 v ~x2122 ~x436 x3815 x5506 x1278 x2969 x4660 ~x2123 ~x435 x3816
91.33/91.69 v x5507 ~x1277 x2970 x4661 ~x2124 x434 x3817 x5508 ~x1282 x2971
91.33/91.69 v x4662 x2125 x439 ~x3818 x5509 x1281 x2972 x4663 ~x2126 ~x438
91.33/91.69 v ~x3819 x5510 ~x1280 x2973 x4664 x2127 ~x437 x3820 x5511 ~x1285
91.33/91.69 v x2974 x4665 ~x2128 ~x442 ~x3821 x5512 x1284 ~x2975 ~x4666 ~x2129
91.33/91.69 v ~x441 ~x3822 x5513 ~x1283 ~x2976 x4667 x2130 x440 x3823 x5514
91.33/91.69 v x1288 x2977 ~x4668 ~x2131 x445 ~x3824 x5515 ~x1287 ~x2978 x4669
91.33/91.69 v ~x2132 ~x444 ~x3825 ~x5516 ~x1286 x2979 ~x4670 ~x2133 ~x443 x3826
91.33/91.69 v x5517 ~x1291 x2980 ~x4671 ~x2134 x448 ~x3827 ~x5518 ~x1290 ~x2981
91.33/91.69 v x4672 x2135 ~x447 ~x3828 x5519 x1289 x2982 ~x4673 ~x2136 ~x446
91.33/91.69 v x3829 x5520 ~x1294 ~x2983 ~x4674 x2137 ~x451 ~x3830 ~x5521 x1293
91.33/91.69 v ~x2984 x4675 ~x2138 ~x450 ~x3831 x5522 ~x1292 ~x2985 ~x4676 ~x2139
91.33/91.69 v x449 x3832 ~x5523 ~x1297 ~x2986 ~x4677 x2140 ~x454 ~x3833 ~x5524
91.33/91.69 v x1296 ~x2987 x4678 ~x2141 ~x453 ~x3834 ~x5525 ~x1295 ~x2988 ~x4679
91.33/91.69 v ~x2142 x452 x3835 ~x5526 x1300 x2989 ~x4680 x2143 x457 x3836
91.33/91.69 v x5527 ~x1299 x2990 x4681 ~x2144 ~x456 x3837 x5528 ~x1298 x2991
91.33/91.69 v ~x4682 ~x2145 ~x455 x3838 x5529 ~x1303 x2992 ~x4683 ~x2146 ~x460
91.33/91.69 v x3839 x5530 ~x1302 x2993 x4684 x2147 ~x459 x3840 x5531 x1301
91.33/91.69 v x2994 ~x4685 ~x2148 x458 x3841 x5532 x1306 x2995 ~x4686 ~x2149
91.33/91.69 v x463 x3842 x5533 ~x1305 x2996 x4687 x2150 ~x462 x3843 x5534
91.33/91.69 v ~x1304 x2997 ~x4688 ~x2151 ~x461 x3844 x5535 ~x1309 x2998 ~x4689
91.33/91.69 v ~x2152 ~x466 x3845 x5536 ~x1308 x2999 x4690 x2153 ~x465 x3846
91.33/91.69 v x5537 x1307 x3000 ~x4691 ~x2154 x464 ~x3847 x5538 x1312 x3001
91.33/91.69 v ~x4692 ~x2155 x469 x3848 ~x5539 ~x1311 x3002 x4693 x2156 ~x468
91.33/91.69 v ~x3849 x5540 ~x1310 x3003 ~x4694 x2157 ~x467 x3850 x5541 ~x1315
91.33/91.69 v x3004 ~x4695 ~x2158 ~x472 x3851 x5542 ~x1314 x3005 x4696 ~x2159
91.33/91.69 v ~x471 x3852 x5543 x1313 x3006 ~x4697 ~x2160 x470 x3853 ~x5544
91.33/91.69 v x1318 x3007 ~x4698 ~x2161 x475 x3854 x5545 ~x1317 x3008 x4699
91.33/91.69 v x2162 ~x474 x3855 x5546 ~x1316 x3009 ~x4700 x2163 ~x473 x3856
91.33/91.69 v x5547 ~x1321 x3010 ~x4701 ~x2164 ~x478 x3857 x5548 ~x1320 x3011
91.33/91.69 v x4702 ~x2165 ~x477 x3858 x5549 x1319 x3012 ~x4703 ~x2166 x476
91.33/91.69 v x3859 x5550 ~x1324 x3013 ~x4704 ~x2167 x481 ~x3860 x5551 x1323
91.33/91.69 v x3014 x4705 x2168 ~x480 ~x3861 x5552 ~x1322 x3015 ~x4706 ~x2169
91.33/91.69 v ~x479 x3862 x5553 ~x1327 x3016 ~x4707 x2170 ~x484 ~x3863 x5554
91.33/91.69 v x1326 x3017 x4708 ~x2171 ~x483 ~x3864 x5555 ~x1325 x3018 ~x4709
91.33/91.69 v ~x2172 x482 x3865 x5556 x1330 ~x3019 ~x4710 ~x2173 x487 x3866
91.33/91.69 v x5557 ~x1329 ~x3020 x4711 x2174 ~x486 x3867 x5558 ~x1328 x3021
91.33/91.69 v ~x4712 ~x2175 ~x485 x3868 x5559 ~x1333 ~x3022 ~x4713 ~x2176 ~x490
91.33/91.69 v ~x3869 ~x5560 ~x1332 x3023 x4714 x2177 ~x489 ~x3870 x5561 x1331
91.33/91.69 v x3024 ~x4715 ~x2178 x488 x3871 x5562 x1336 ~x3025 ~x4716 x2179
91.33/91.69 v x493 x3872 ~x5563 ~x1335 x3026 x4717 ~x2180 ~x492 x3873 x5564
91.33/91.69 v ~x1334 ~x3027 ~x4718 x2181 ~x491 x3874 ~x5565 ~x1339 ~x3028 ~x4719
91.33/91.69 v ~x2182 ~x496 ~x3875 x5566 ~x1338 ~x3029 x4720 ~x2183 ~x495 ~x3876
91.33/91.69 v ~x5567 x1337 ~x3030 ~x4721 ~x2184 x494 x3877 ~x5568 x1342 ~x3031
91.33/91.69 v ~x4722 x2185 x499 x3878 x5569 ~x1341 ~x3032 x4723 ~x2186 ~x498
91.33/91.69 v x3879 x5570 ~x1340 x3033 ~x4724 ~x2187 ~x497 x3880 x5571 ~x1345
91.33/91.69 v x3034 ~x4725 x2188 ~x502 ~x3881 x5572 ~x1344 x3035 x4726 ~x2189
91.33/91.69 v ~x501 ~x3882 x5573 x1343 x3036 ~x4727 x2190 x500 x3883 x5574
91.33/91.69 v ~x1348 x3037 ~x4728 ~x2191 x505 ~x3884 x5575 x1347 x3038 x4729
91.33/91.69 v ~x2192 ~x504 ~x3885 x5576 ~x1346 x3039 ~x4730 ~x2193 ~x503 x3886
91.33/91.69 v x5577 ~x1351 x3040 ~x4731 x2194 x508 ~x3887 x5578 x1350 ~x3041
91.33/91.69 v x4732 ~x2195 ~x507 ~x3888 x5579 ~x1349 ~x3042 x4733 ~x2196 ~x506
91.33/91.69 v x3889 x5580 x1354 x3043 x4734 ~x2197 ~x511 ~x3890 ~x5581 ~x1353
91.33/91.69 v ~x3044 x4735 x2198 ~x510 ~x3891 x5582 ~x1352 x3045 x4736 ~x2199
91.33/91.69 v x509 x3892 x5583 ~x1357 x3046 x4737 ~x2200 x514 ~x3893 ~x5584
91.33/91.69 v ~x1356 ~x3047 x4738 x2201 ~x513 ~x3894 x5585 x1355 x3048 x4739
91.33/91.69 v ~x2202 ~x512 x3895 ~x5586 ~x1360 ~x3049 x4740 ~x2203 ~x517 ~x3896
91.33/91.69 v x5587 ~x1359 ~x3050 x4741 x2204 ~x516 ~x3897 ~x5588 x1358 ~x3051
91.33/91.69 v x4742 ~x2205 x515 x3898 ~x5589 x1363 ~x3052 x4743 ~x2206 x520
91.33/91.69 v x3899 x5590 ~x1362 ~x3053 x4744 x2207 ~x519 x3900 x5591 ~x1361
91.33/91.69 v ~x3054 x4745 ~x2208 ~x518 x3901 x5592 x1366 x3055 x4746 ~x2209
91.33/91.69 v ~x523 x3902 x5593 ~x1365 x3056 x4747 x2210 ~x522 x3903 x5594
91.33/91.69 v ~x1364 x3057 x4748 ~x2211 x521 x3904 x5595 ~x1369 x3058 x4749
91.33/91.69 v ~x2212 x3905 x5596 ~x1368 x3059 x4750 x2213 x526 x3906 x5597
91.33/91.69 v x1367 x3060 x4751 ~x2214 ~x525 x3907 x5598 x1372 x3061 x4752
91.33/91.69 v x2215 ~x524 x3908 ~x5599 ~x1371 x3062 x4753 ~x2216 ~x529 x3909
91.33/91.69 v ~x5600 ~x1370 x3063 x4754 ~x2217 ~x528 ~x3910 x5601 ~x1375 x3064
91.33/91.69 v x4755 x2218 x527 x3911 ~x5602 ~x1374 x3065 x4756 ~x2219 x532
91.33/91.69 v ~x3912 x5603 x1373 ~x3066 x4757 x2220 ~x531 ~x3913 x5604 x1378
91.33/91.69 v x3067 x4758 ~x2221 ~x530 x3914 ~x5605 ~x1377 x3068 x4759 ~x2222
91.33/91.69 v ~x535 ~x3915 x5606 ~x1376 x3069 x4760 ~x2223 ~x534 ~x3916 ~x5607
91.33/91.69 v ~x1381 x3070 x4761 ~x2224 x533 x3917 ~x5608 ~x1380 ~x3071 x4762
91.33/91.69 v x2225 x538 ~x3918 ~x5609 x1379 x3072 x4763 ~x2226 ~x537 ~x3919
91.33/91.69 v ~x5610 x1384 ~x3073 x4764 x2227 ~x536 x3920 ~x5611 ~x1383 x3074
91.33/91.69 v x4765 ~x2228 ~x541 ~x3921 x5612 ~x1382 x3075 x4766 x2229 ~x540
91.33/91.69 v ~x3922 x5613 ~x1387 x3076 x4767 ~x2230 x539 x3923 x5614 ~x1386
91.33/91.69 v x3077 x4768 ~x2231 ~x544 ~x3924 x5615 x1385 x3078 x4769 ~x2232
91.33/91.69 v ~x543 ~x3925 x5616 ~x1390 x3079 x4770 ~x2233 x542 x3926 ~x5617
91.33/91.69 v x1389 x3080 x4771 x2234 x547 ~x3927 ~x5618 ~x1388 x3081 x4772
91.33/91.69 v ~x2235 ~x546 ~x3928 ~x5619 ~x1393 x3082 x4773 ~x2236 ~x545 x3929
91.33/91.69 v ~x5620 x1392 x3083 x4774 x2237 ~x550 ~x3930 ~x5621 ~x1391 x3084
91.33/91.69 v x4775 ~x2238 x549 x3931 ~x5622 ~x1396 ~x3085 ~x4797 x2239 ~x548
91.33/91.69 v ~x3932 ~x5623 x1395 ~x3086 ~x4796 ~x2240 ~x553 ~x3933 ~x5624 ~x1394
91.33/91.69 v x3087 ~x4795 x2241 x552 ~x3934 ~x5625 ~x1399 ~x3088 x4794 ~x2242
91.33/91.69 v ~x551 x3935 ~x5626 x1398 x3089 ~x4793 ~x2243 x556 ~x3936 ~x5627
91.33/91.69 v ~x1397 x3090 ~x4792 ~x2244 ~x555 ~x3937 ~x5628 x1402 ~x3091 ~x4791
91.33/91.69 v x2245 ~x554 x3938 ~x5629 ~x1401 x3092 ~x4790 ~x2246 ~x559 ~x3939
91.33/91.69 v ~x5630 ~x1400 ~x3093 ~x4789 x2247 ~x558 ~x3940 ~x5631 ~x1405 ~x3094
91.33/91.69 v ~x4788 ~x2248 x557 x3941 ~x5632 ~x1404 ~x3095 ~x4787 ~x2249 x562
91.33/91.69 v ~x3942 ~x5633 x1403 ~x3096 ~x4786 x2250 ~x561 x3943 ~x5634 ~x1408
91.33/91.69 v ~x3097 ~x4785 ~x2251 ~x560 ~x3944 ~x5635 ~x1407 ~x3098 ~x4784 ~x2252
91.33/91.69 v ~x565 ~x3945 ~x5636 x1406 x3099 ~x4783 x2253 ~x564 ~x3946 x5637
91.33/91.69 v x1411 x3100 ~x4782 ~x2254 x563 x3947 ~x5638 ~x1410 x3101 ~x4781
91.33/91.69 v ~x2255 x568 ~x3948 ~x5639 ~x1409 x3102 ~x4780 ~x2256 ~x567 x3949
91.33/91.69 v ~x5640 ~x1414 x3103 ~x4779 x2257 ~x566 ~x3950 ~x5641 x1413 x3104
91.33/91.69 v ~x4778 ~x2258 ~x571 ~x3951 ~x5642 ~x1412 x3105 ~x4777 x2259 ~x570
91.33/91.69 v x3952 ~x5643 ~x1417 x3106 ~x4776 ~x2260 x569 x3953 ~x5644 x1416
91.33/91.69 v x3107 ~x4819 ~x2261 x574 x3954 ~x5645 ~x1415 x3108 ~x4818 x2262
91.33/91.69 v ~x573 x3955 ~x5646 ~x1420 x3109 ~x4817 ~x2263 ~x572 x3956 ~x5647
91.33/91.69 v x1419 ~x3110 ~x4816 ~x2264 ~x577 x3957 ~x5648 ~x1418 x3111 ~x4815
91.33/91.69 v x2265 ~x576 ~x3958 ~x5649 ~x1423 x3112 ~x4814 ~x2266 x575 x3959
91.33/91.69 v ~x5650 x1422 x3113 x4813 ~x2267 x580 ~x3960 ~x5651 ~x1421 x3114
91.33/91.69 v ~x4812 x2268 ~x579 ~x3961 ~x5652 ~x1426 x3115 ~x4811 ~x2269 ~x578
91.33/91.69 v x3962 ~x5653 x1425 x3116 ~x4810 ~x2270 ~x583 ~x3963 ~x5654 ~x1424
91.33/91.69 v x3117 ~x4809 x2271 ~x582 ~x3964 ~x5655 ~x1429 x3118 ~x4808 ~x2272
91.33/91.69 v x581 x3965 ~x5656 x1428 x3119 ~x4807 ~x2273 x586 ~x3966 ~x5657
91.33/91.69 v ~x1427 x3120 ~x4806 x2274 ~x585 ~x3967 x5658 ~x1432 x3121 ~x4805
91.33/91.69 v ~x2275 ~x584 x3968 ~x5659 ~x1431 x3122 ~x4804 ~x2276 ~x589 ~x3969
91.33/91.69 v ~x5660 x1430 x3123 ~x4803 ~x2277 ~x588 ~x3970 ~x5661 x1435 x3124
91.33/91.69 v ~x4802 x2278 x587 x3971 ~x5662 ~x1434 x3125 ~x4801 ~x2279 ~x592
91.33/91.69 v ~x3972 ~x5663 ~x1433 x3126 ~x4800 x2280 x591 ~x3973 ~x5664 ~x1438
91.33/91.69 v x3127 ~x4799 ~x2281 ~x590 x3974 ~x5665 x1437 x3128 ~x4798 ~x2282
91.33/91.69 v ~x595 ~x3975 ~x5666 ~x1436 x3129 ~x4841 ~x2283 x594 x3976 ~x5667
91.33/91.69 v ~x1441 ~x3130 ~x4840 ~x2284 ~x593 x3977 ~x5668 x1440 x3131 ~x4839
91.33/91.69 v x2285 x598 x3978 ~x5669 ~x1439 ~x3132 ~x4838 ~x2286 ~x597 x3979
91.33/91.69 v ~x5670 x1444 x3133 ~x4837 ~x2287 ~x596 x3980 ~x5671 ~x1443 x3134
91.33/91.69 v ~x4836 x2288 ~x601 x3981 ~x5672 ~x1442 ~x3135 ~x4835 ~x2289 ~x600
91.33/91.69 v x3982 ~x5673 ~x1447 x3136 ~x4834 ~x2290 x599 x3983 ~x5674 ~x1446
91.33/91.69 v ~x3137 ~x4833 x2291 x604 x3984 ~x5675 x1445 x3138 ~x4832 x2292
91.33/91.69 v ~x603 x3985 ~x5676 x1450 ~x3139 ~x4831 ~x2293 ~x602 ~x3986 ~x5677
91.33/91.69 v ~x1449 ~x3140 x4830 ~x2294 ~x607 ~x3987 ~x5678 ~x1448 ~x3141 ~x4829
91.33/91.69 v ~x2295 ~x606 x3988 x5679 ~x1453 x3142 ~x4828 ~x2296 x605 ~x3989
91.33/91.69 v ~x5680 ~x1452 x3143 ~x4827 x2297 ~x610 ~x3990 ~x5681 x1451 x3144
91.33/91.69 v ~x4826 ~x2298 x609 x3991 x5682 ~x1456 x3145 ~x4825 ~x2299 ~x608
91.33/91.69 v x3992 x5683 x1455 x3146 ~x4824 x2300 ~x613 x3993 ~x5684 ~x1454
91.33/91.69 v x3147 ~x4823 ~x2301 x612 x3994 x5685 ~x1459 x3148 ~x4822 ~x2302
91.33/91.69 v ~x611 ~x3995 ~x5686 x1458 x3149 ~x4821 x2303 x616 ~x3996 ~x5687
91.33/91.69 v ~x1457 x3150 ~x4820 ~x2304 ~x615 x3997 x5688 ~x1462 x3151 ~x4863
91.33/91.69 v ~x2305 ~x614 x3998 ~x5689 x1461 x3152 ~x4862 x2306 ~x619 x3999
91.33/91.69 v x5690 ~x1460 x3153 ~x4861 ~x2307 ~x618 x4000 x5691 ~x1465 ~x3154
91.33/91.69 v ~x4860 ~x2308 x617 x4001 x5692 x1464 x3155 ~x4859 x2309 ~x622
91.33/91.69 v x4002 x5693 ~x1463 x3156 ~x4858 ~x2310 ~x621 x4003 x5694 x1468
91.33/91.69 v x3157 ~x4857 ~x2311 x620 ~x4004 x5695 ~x1467 x3158 ~x4856 x2312
91.33/91.69 v x625 ~x4005 ~x5696 ~x1466 ~x3159 ~x4855 ~x2313 ~x624 x4006 ~x5697
91.33/91.69 v ~x1471 x3160 ~x4854 ~x2314 ~x623 ~x4007 ~x5698 ~x1470 x3161 ~x4853
91.33/91.69 v x2315 ~x628 ~x4008 ~x5699 x1469 x3162 ~x4852 ~x2316 x627 x4009
91.33/91.69 v ~x5700 ~x1474 x3163 ~x4851 ~x2317 ~x626 ~x4010 ~x5701 x1473 x3164
91.33/91.69 v x4850 x2318 ~x631 ~x4011 ~x5702 ~x1472 x3165 ~x4849 ~x2319 x630
91.33/91.69 v x4012 x5703 ~x1477 x3166 ~x4848 ~x2320 ~x629 ~x4013 x5704 x1476
91.33/91.69 v x3167 ~x4847 x2321 x634 ~x4014 ~x5705 ~x1475 x3168 ~x4846 x2322
91.33/91.69 v ~x633 x4015 x5706 x1480 x3169 ~x4845 ~x2323 ~x632 ~x4016 ~x5707
91.33/91.69 v ~x1479 x3170 ~x4844 ~x2324 ~x637 ~x4017 ~x5708 ~x1478 x3171 ~x4843
91.33/91.69 v x2325 ~x636 x4018 x5709 ~x1483 x3172 ~x4842 ~x2326 x635 ~x4019
91.33/91.69 v ~x5710 ~x1482 x3173 ~x4885 ~x2327 ~x640 ~x4020 x5711 x1481 x3174
91.33/91.69 v ~x4884 x2328 ~x639 x4021 x5712 x1486 x3175 ~x4883 ~x2329 x638
91.33/91.69 v ~x4022 x5713 ~x1485 ~x3176 ~x4882 ~x2330 x643 ~x4023 x5714 ~x1484
91.33/91.69 v x3177 ~x4881 x2331 ~x642 x4024 x5715 ~x1489 x3178 ~x4880 ~x2332
91.33/91.69 v ~x641 x4025 x5716 ~x1488 x3179 ~x4879 ~x2333 ~x646 x4026 ~x5717
91.33/91.69 v x1487 x3180 ~x4878 x2334 ~x645 x4027 ~x5718 x1492 ~x3181 ~x4877
91.33/91.69 v ~x2335 x644 x4028 ~x5719 ~x1491 x3182 ~x4876 ~x2336 x649 x4029
91.33/91.69 v ~x5720 ~x1490 ~x3183 ~x4875 x2337 ~x648 x4030 ~x5721 ~x1495 x3184
91.33/91.69 v ~x4874 ~x2338 ~x647 x4031 ~x5722 ~x1494 x3185 ~x4873 ~x2339 x652
91.33/91.69 v x4032 ~x5723 x1493 x3186 ~x4872 ~x2340 ~x651 x4033 x5724 ~x1498
91.33/91.69 v x3187 ~x4871 ~x2341 ~x650 x4034 x5725 ~x1497 x3188 x4870 x2342
91.33/91.69 v ~x655 x4035 ~x5726 x1496 x3189 ~x4869 ~x2343 ~x654 ~x4036 x5727
91.33/91.69 v x1501 x3190 ~x4868 x2344 x653 x4037 ~x5728 ~x1500 x3191 ~x4867
91.33/91.69 v ~x2345 x658 ~x4038 ~x5729 ~x1499 x3192 ~x4866 x2346 ~x657 ~x4039
91.33/91.69 v x5730 x1504 x3193 ~x4865 ~x2347 ~x656 x4040 ~x5731 ~x1503 x3194
91.33/91.69 v ~x4864 ~x2348 ~x661 ~x4041 x5732 ~x1502 x3195 ~x4907 x2349 ~x660
91.33/91.69 v ~x4042 x5733 ~x1507 x3196 ~x4906 ~x2350 x659 x4043 x5734 ~x1506
91.33/91.69 v x3197 ~x4905 ~x2351 x664 ~x4044 x5735 x1505 ~x3198 ~x4904 x2352
91.33/91.69 v ~x663 ~x4045 x5736 x1510 x3199 ~x4903 ~x2353 ~x662 x4046 x5737
91.33/91.69 v ~x1509 x3200 ~x4902 ~x2354 ~x667 ~x4047 ~x5738 ~x1508 x3201 ~x4901
91.33/91.69 v x2355 ~x666 ~x4048 ~x5739 ~x1513 x3202 ~x4900 ~x2356 x665 x4049
91.33/91.69 v ~x5740 ~x1512 ~x3203 ~x4899 ~x2357 x670 ~x4050 ~x5741 x1511 x3204
91.33/91.69 v ~x4898 x2358 ~x669 ~x4051 ~x5742 ~x1516 ~x3205 x4897 ~x2359 ~x668
91.33/91.69 v x4052 ~x5743 ~x1515 x3206 ~x4896 ~x2360 ~x673 ~x4053 ~x5744 x1514
91.33/91.69 v x3207 ~x4895 x2361 ~x672 ~x4054 ~x5745 x1519 x3208 ~x4894 ~x2362
91.33/91.69 v x671 x4055 x5746 ~x1518 x3209 ~x4893 ~x2363 ~x676 ~x4056 ~x5747
91.33/91.69 v ~x1517 x3210 ~x4892 ~x2364 ~x675 x4057 x5748 x1522 x3211 ~x4891
91.33/91.69 v x2365 x674 ~x4058 ~x5749 ~x1521 x3212 ~x4890 ~x2366 x679 ~x4059
91.33/91.69 v ~x5750 ~x1520 x3213 ~x4889 x2367 ~x678 ~x4060 x5751 ~x1525 x3214
91.33/91.69 v ~x4888 ~x2368 ~x677 x4061 ~x5752 ~x1524 x3215 ~x4887 ~x2369 x682
91.33/91.69 v ~x4062 x5753 x1523 x3216 ~x4886 x2370 ~x681 ~x4063 x5754 x1528
91.33/91.69 v ~x3217 ~x4929 ~x2371 ~x680 x4064 x5755 ~x1527 ~x3218 ~x4928 ~x2372
91.33/91.69 v ~x685 ~x4065 x5756 ~x1526 x3219 ~x4927 ~x2373 ~x684 ~x4066 x5757
91.33/91.69 v ~x1531 ~x3220 ~x4926 x2374 x683 x4067 ~x5758 ~x1530 x3221 ~x4925
91.33/91.69 v ~x2375 ~x688 ~x4068 ~x5759 x1529 x3222 ~x4924 x2376 ~x687 ~x4069
91.33/91.69 v ~x5760 ~x1534 ~x3223 ~x4923 ~x2377 x686 x4070 ~x5761 ~x1533 x3224
91.33/91.69 v ~x4922 ~x2378 x691 ~x4071 ~x5762 x1532 ~x3225 ~x4921 ~x2379 ~x690
91.33/91.69 v ~x4072 ~x5763 x1537 ~x3226 ~x4920 ~x2380 ~x689 x4073 ~x5764 ~x1536
91.33/91.69 v ~x3227 ~x4919 x2381 ~x694 ~x4074 ~x5765 ~x1535 ~x3228 ~x4918 ~x2382
91.33/91.69 v ~x693 ~x4075 ~x5766 ~x1540 ~x3229 ~x4917 x2383 x692 x4076 ~x5767
91.33/91.69 v ~x1539 x3230 ~x4916 ~x2384 x697 ~x4077 ~x5768 x1538 x3231 ~x4915
91.33/91.69 v x2385 ~x696 ~x4078 x5769 x1543 x3232 ~x4914 ~x2386 ~x695 x4079
91.33/91.69 v ~x5770 ~x1542 x3233 ~x4913 ~x2387 ~x700 ~x4080 ~x5771 ~x1541 x3234
91.33/91.69 v ~x4912 ~x2388 ~x699 ~x4081 x5772 ~x1546 x3235 ~x4911 ~x2389 x698
91.33/91.69 v x4082 ~x5773 x1545 x3236 ~x4910 x2390 x703 ~x4083 x5774 ~x1544
91.33/91.69 v x3237 ~x4909 ~x2391 ~x4084 ~x702 ~x5775 x3238 ~x1549 x4908 ~x2392
91.33/91.69 v ~x701 x4085 x5776 x1548 ~x3239 ~x4951 x2393 ~x706 ~x4086 x5777
91.33/91.69 v ~x1547 ~x3240 ~x4950 x2394 ~x705 ~x4087 x5778 ~x1552 x3241 ~x4949
91.33/91.69 v ~x2395 x704 x4088 ~x5779 x1551 ~x3242 ~x4948 ~x2396 x709 ~x4089
91.33/91.69 v ~x5780 ~x1550 x3243 ~x4947 x2397 ~x708 ~x4090 ~x5781 ~x1555 x3244
91.33/91.69 v ~x4946 ~x2398 ~x707 x4091 ~x5782 x1554 ~x3245 ~x4945 ~x2399 x712
91.33/91.69 v ~x4092 ~x5783 ~x1553 x3246 ~x4944 x2400 ~x711 ~x4093 ~x5784 x1558
91.33/91.69 v ~x3247 x4943 ~x2401 ~x710 x4094 ~x5785 ~x1557 ~x3248 ~x4942 ~x2402
91.33/91.69 v ~x715 ~x4095 ~x5786 ~x1556 ~x3249 ~x4941 x2403 ~x714 ~x4096 ~x5787
91.33/91.69 v ~x1561 ~x3250 ~x4940 ~x2404 x713 x4097 x5788 ~x1560 ~x3251 ~x4939
91.33/91.69 v ~x2405 ~x718 ~x4098 x5789 x1559 ~x3252 ~x4938 ~x2406 x717 ~x4099
91.33/91.69 v x5790 ~x1564 x3253 ~x4937 ~x2407 ~x716 x4100 ~x5791 ~x1563 x3254
91.33/91.69 v ~x4936 x2408 ~x721 ~x4101 ~x5792 x1562 x3255 ~x4935 x2409 x720
91.33/91.69 v ~x4102 x5793 x1567 x3256 ~x4934 ~x2410 ~x719 x4103 ~x5794 ~x1566
91.33/91.69 v x3257 ~x4933 ~x2411 ~x724 ~x4104 x5795 ~x1565 x3258 ~x4932 ~x2412
91.33/91.69 v x723 ~x4105 x5796 ~x1570 x3259 ~x4931 ~x2413 ~x722 x4106 x5797
91.33/91.69 v ~x1569 x3260 ~x4930 x2414 ~x727 ~x4107 x5798 x1568 ~x3261 ~x4973
91.33/91.69 v ~x2415 x726 ~x4108 x5799 x1573 ~x3262 ~x4972 ~x2416 ~x725 x4109
91.33/91.69 v x5800 ~x1572 x3263 ~x4971 x2417 x730 ~x4110 ~x5801 ~x1571 ~x3264
91.33/91.69 v ~x4970 ~x2418 ~x729 ~x4111 ~x5802 ~x1576 x3265 ~x4969 ~x2419 ~x728
91.33/91.69 v x4112 ~x5803 ~x1575 x3266 x4968 x2420 ~x733 ~x4113 ~x5804 x1574
91.33/91.69 v ~x3267 ~x4967 ~x2421 ~x732 x4114 ~x5805 x1579 x3268 ~x4966 ~x2422
91.33/91.69 v x731 ~x4115 ~x5806 ~x1578 ~x3269 ~x4965 x2423 x736 ~x4116 ~x5807
91.33/91.69 v ~x1577 ~x3270 ~x4964 x2424 ~x735 ~x4117 ~x5808 ~x1582 ~x3271 ~x4963
91.33/91.69 v ~x2425 ~x734 x4118 ~x5809 x1581 ~x3272 ~x4962 ~x2426 ~x739 ~x4119
91.33/91.69 v ~x5810 ~x1580 ~x3273 ~x4961 ~x2427 ~x738 x4120 ~x5811 ~x1585 ~x3274
91.33/91.69 v ~x4960 x2428 x737 ~x4121 ~x5812 x1584 x3275 ~x4959 ~x2429 ~x742
91.33/91.69 v ~x4122 ~x5813 ~x1583 x3276 ~x4958 ~x2430 ~x741 ~x4123 ~x5814 x1592
91.33/91.69 v x3277 ~x4957 x2431 x740 x4124 ~x5815 x1591 x3278 ~x4956 ~x2432
91.33/91.69 v x745 ~x4125 ~x5816 ~x1590 x3279 ~x4955 x2433 ~x744 ~x4126 ~x5817
91.33/91.69 v ~x1589 x3280 ~x4954 ~x2434 ~x743 x4127 ~x5818 x1588 x3281 ~x4953
91.33/91.69 v ~x2435 ~x748 ~x4128 ~x5819 x1587 x3282 ~x4952 x2436 ~x747 x4129
91.33/91.69 v ~x5820 ~x1586 ~x3283 ~x4995 ~x2437 x746 ~x4130 ~x5821 x1599 ~x3284
91.33/91.69 v ~x4994 ~x2438 x751 ~x4131 ~x5822 x1598 x3285 ~x4993 ~x2439 ~x750
91.33/91.69 v ~x4132 ~x5823 ~x1597 ~x3286 ~x4992 ~x2440 ~x749 x4133 ~x5824 ~x1596
91.33/91.69 v x3287 ~x4991 x2441 x754 ~x4134 ~x5825 x1595 x3288 ~x4990 ~x2442
91.33/91.69 v ~x753 x4135 ~x5826 x1594 ~x3289 ~x4989 ~x2443 ~x752 ~x4136 ~x5827
91.33/91.69 v ~x1593 x3290 ~x4988 x2444 ~x757 ~x4137 ~x5828 x1606 ~x3291 ~x4987
91.33/91.69 v x2445 ~x756 x4138 ~x5829 x1605 ~x3292 ~x4986 ~x2446 x755 ~x4139
91.33/91.69 v x5830 ~x1604 ~x3293 ~x4985 ~x2447 x760 ~x4140 x5831 ~x1603 ~x3294
91.33/91.69 v ~x4984 x2448 ~x759 x4141 ~x5832 x1602 ~x3295 ~x4983 ~x2449 ~x758
91.33/91.69 v ~x4142 x5833 x1601 ~x3296 ~x4982 ~x2450 ~x763 ~x4143 ~x5834 ~x1600
91.33/91.69 v x3297 ~x4981 x2451 ~x762 x4144 x5835 x1613 x3298 ~x4980 ~x2452
91.33/91.69 v x761 ~x4145 ~x5836 ~x1612 x3299 ~x4979 ~x2453 x766 ~x4146 x5837
91.33/91.69 v ~x1611 x3300 x4978 x2454 ~x765 ~x4147 x5838 ~x1610 x3301 ~x4977
91.33/91.69 v ~x2455 ~x764 x4148 x5839 x1609 x3302 ~x4976 ~x2456 ~x769 ~x4149
91.33/91.69 v x5840 x1608 x3303 ~x4975 x2457 ~x768 ~x4150 x5841 ~x1607 x3304
91.33/91.69 v ~x4974 ~x2458 x767 x4151 x5842 ~x1620 ~x3305 ~x5017 ~x2459 x772
91.33/91.69 v ~x4152 ~x5843 x1619 ~x3306 ~x5016 x2460 ~x771 ~x4153 ~x5844 ~x1618
91.33/91.69 v x3307 ~x5015 ~x2461 ~x770 x4154 ~x5845 ~x1617 ~x3308 ~x5014 ~x2462
91.33/91.69 v ~x775 ~x4155 ~x5846 ~x1616 x3309 ~x5013 ~x2463 ~x774 ~x4156 ~x5847
91.33/91.69 v x1615 x3310 ~x5012 ~x2464 x773 x4157 ~x5848 ~x1614 ~x3311 ~x5011
91.33/91.69 v x2465 x778 ~x4158 ~x5849 x1627 x3312 ~x5010 ~x2466 ~x777 ~x4159
91.33/91.69 v ~x5850 x1626 ~x3313 ~x5009 ~x2467 ~x776 x4160 x5851 ~x1625 ~x3314
91.33/91.69 v x5008 x2468 ~x781 ~x4161 x5852 ~x1624 ~x3315 ~x5007 ~x2469 ~x780
91.33/91.69 v ~x4162 ~x5853 x1623 ~x3316 ~x5006 ~x2470 x779 x4163 x5854 x1622
91.33/91.69 v ~x3317 ~x5005 x2471 x784 ~x4164 ~x5855 ~x1621 ~x3318 ~x5004 ~x2472
91.33/91.69 v ~x783 ~x4165 x5856 ~x1634 x3319 ~x5003 ~x2473 ~x782 x4166 ~x5857
91.33/91.69 v ~x1633 x3320 ~x5002 x2474 ~x787 ~x4167 x5858 x1632 x3321 ~x5001
91.33/91.69 v ~x2475 ~x786 ~x4168 x5859 ~x1631 x3322 ~x5000 ~x2476 x785 x4169
91.33/91.69 v x5860 ~x1630 x3323 ~x4999 x2477 ~x790 ~x4170 x5861 ~x1629 ~x3324
91.33/91.69 v ~x4998 x2478 ~x789 ~x4171 x5862 ~x1628 ~x3325 ~x4997 ~x2479 x788
91.33/91.69 v x4172 x5863 x1641 ~x3326 ~x4996 ~x2480 x793 ~x4173 ~x5864 x1640
91.33/91.69 v ~x3327 ~x5039 ~x2481 ~x792 ~x4174 ~x5865 ~x1639 ~x3328 ~x5038 ~x2482
91.33/91.69 v ~x791 x4175 ~x5866 ~x1638 ~x3329 ~x5037 x2483 ~x796 ~x4176 ~x5867
91.33/91.69 v x1637 ~x3330 ~x5036 ~x2484 ~x795 ~x4177 ~x5868 x1636 ~x3331 ~x5035
91.33/91.69 v ~x2485 x794 x4178 ~x5869 ~x1635 ~x3332 ~x5034 x2486 x799 ~x4179
91.33/91.69 v ~x5870 x1648 ~x3333 ~x5033 ~x2487 ~x798 ~x4180 ~x5871 x1647 ~x3334
91.33/91.69 v ~x5032 ~x2488 ~x797 x4181 ~x5872 ~x1646 ~x3335 ~x5031 x2489 ~x802
91.33/91.69 v ~x4182 ~x5873 ~x1645 ~x3336 ~x5030 ~x2490 ~x801 x4183 ~x5874 x1644
91.33/91.69 v ~x3337 ~x5029 ~x2491 x800 ~x4184 x5875 x1643 ~x3338 ~x5028 x2492
91.33/91.69 v x805 ~x4185 ~x5876 ~x1642 ~x3339 ~x5027 ~x2493 ~x804 ~x4186 ~x5877
91.33/91.69 v ~x1655 ~x3340 ~x5026 ~x2494 ~x803 x4187 ~x5878 ~x1654 ~x3341 ~x5025
91.33/91.69 v x2495 ~x808 ~x4188 x5879 ~x1653 ~x3342 ~x5024 x2496 ~x807 ~x4189
91.33/91.69 v ~x5880 ~x1652 ~x3343 ~x5023 ~x2497 x806 x4190 x5881 ~x1651 ~x3344
91.33/91.69 v ~x5022 ~x2498 x811 ~x4191 ~x5882 x1650 x3345 ~x5021 x2499 ~x810
91.33/91.69 v ~x4192 ~x5883 ~x1649 x3346 ~x5020 ~x2500 ~x809 x4193 ~x5884 x1662
91.33/91.69 v x3347 x5019 ~x2501 ~x814 ~x4194 ~x5885 x1661 x3348 ~x5018 ~x2502
91.33/91.69 v ~x813 ~x4195 ~x5886 ~x1660 x3349 ~x5061 ~x2503 x812 x4196 ~x5887
91.33/91.69 v ~x1659 x3350 ~x5060 x2504 x817 ~x4197 ~x5888 x1658 x3351 ~x5059
91.33/91.69 v ~x2505 ~x816 x4198 ~x5889 x1657 x3352 ~x5058 x2506 ~x815 ~x4199
91.33/91.69 v ~x5890 ~x1656 ~x3353 ~x5057 ~x2507 x820 ~x4200 ~x5891 x1669 ~x3354
91.33/91.69 v ~x5056 ~x2508 ~x819 ~x4201 ~x5892 x1668 x3355 ~x5055 x2509 ~x818
91.33/91.69 v x4202 x5893 x1667 ~x3356 ~x5054 ~x2510 ~x823 ~x4203 x5894 x1666
91.33/91.69 v ~x3357 ~x5053 ~x2511 ~x822 ~x4204 ~x5895 ~x1665 x3358 ~x5052 x2512
91.33/91.69 v x821 x4205 x5896 ~x1664 x3359 ~x5051 ~x2513 ~x826 ~x4206 ~x5897
91.33/91.69 v ~x1663 x3360 ~x5050 x2514 ~x825 ~x4207 ~x5898 ~x1676 x3361 ~x5049
91.33/91.69 v ~x2515 x824 x4208 x5899 x1675 ~x3362 ~x5048 ~x2516 x829 ~x4209
91.33/91.69 v x5900 ~x1674 ~x3363 x5047 ~x2517 ~x828 ~x4210 x5901 x1673 x3364
91.33/91.69 v ~x5046 x2518 ~x827 x4211 x5902 ~x1672 x3365 ~x5045 ~x2519 ~x832
91.33/91.69 v ~x4212 x5903 x1671 x3366 ~x5044 ~x2520 ~x831 ~x4213 x5904 ~x1670
91.33/91.69 v x3367 ~x5043 ~x2521 x830 x4214 x5905 x1683 x3368 ~x5042 x2522
91.33/91.69 v x835 ~x4215 ~x5906 ~x1682 x3369 ~x5041 ~x2523 ~x834 ~x4216 ~x5907
91.33/91.69 v ~x1681 x3370 ~x5040 ~x2524 ~x833 x4217 ~x5908 ~x1680 ~x3371 ~x5083
91.33/91.69 v x2525 ~x838 ~x4218 ~x5909 x1679 ~x3372 ~x5082 ~x2526 ~x837 ~x4219
91.33/91.69 v ~x5910 ~x1678 x3373 ~x5081 ~x2527 x836 x4220 ~x5911 ~x1677 x3374
91.33/91.69 v ~x5080 x2528 x1 x841 ~x4221 ~x5912 ~x1690 x3375 ~x5079 ~x2529
91.33/91.69 v ~x840 ~x4222 ~x5913 ~x1689 x3376 ~x5078 ~x2530 ~x4 ~x839 x4223
91.33/91.69 v ~x5914 ~x1688 ~x3377 ~x5077 x2531 x3 ~x844 ~x4224 ~x5915 ~x1687
91.33/91.69 v ~x3378 ~x5076 x2532 ~x2 ~x843 ~x4225 ~x5916 ~x1686 x3379 ~x5075
91.33/91.69 v ~x2533 ~x7 x842 x4226 x5917 x1685 ~x3380 ~x5074 ~x2534 x6
91.33/91.69 v x847 ~x4227 ~x5918 ~x1684 ~x3381 ~x5073 ~x2535 ~x5 ~x846 ~x4228
91.33/91.69 v ~x5919 ~x1697 x3382 ~x5072 ~x2536 ~x10 ~x845 x4229 ~x5920 ~x1696
91.33/91.69 v ~x3383 ~x5071 x2537 ~x9 ~x850 ~x4230 ~x5921 ~x1695 ~x3384 ~x5070
91.33/91.69 v ~x2538 x8 ~x849 ~x4231 ~x5922 ~x1694 x3385 ~x5069 ~x2539 x13
91.33/91.69 v x848 ~x5923 ~x1693 ~x3386 ~x5068 x2540 ~x12 x853 ~x5924 x1692
91.33/91.69 v ~x3387 ~x5067 x2541 x4232 ~x11 ~x852 ~x5925 ~x1691 x3388 ~x5066
91.33/91.69 v ~x2542 ~x4233 ~x851 ~x5926 ~x1704 ~x3389 ~x5065 ~x2543 ~x4234 x856
91.33/91.69 v ~x5927 ~x16 x1703 ~x3390 x5064 x2544 x4235 ~x855 ~x5928 ~x15
91.33/91.69 v ~x1702 x3391 ~x5063 ~x2545 ~x4236 ~x854 ~x5929 x14 ~x1701 ~x3392
91.33/91.69 v ~x5062 ~x2546 ~x4237 ~x859 ~x5930 x19 x1700 ~x3393 ~x5105 ~x2547
91.33/91.69 v x4238 ~x858 ~x5931 ~x18 x1699 x3394 ~x5104 ~x2548 ~x4239 x857
91.33/91.69 v ~x5932 ~x17 ~x1698 x3395 ~x5103 x2549 ~x4240 x862 ~x5933 ~x22
91.33/91.69 v x1711 x3396 ~x5102 ~x2550 x4241 ~x861 ~x5934 ~x21 x1710 x3397
91.33/91.69 v ~x5101 ~x2551 ~x4242 ~x860 ~x5935 x20 ~x1709 x3398 ~x5100 x2552
91.33/91.69 v ~x4243 ~x865 x5936 x25 ~x1708 x3399 ~x5099 ~x2553 x4244 ~x864
91.33/91.69 v ~x5937 ~x24 x1707 x3400 ~x5098 ~x2554 ~x4245 x863 x5938 ~x23
91.33/91.69 v x1706 x3401 ~x5097 x2555 x4246 ~x868 ~x5939 ~x28 ~x1705 x3402
91.33/91.69 v ~x5096 ~x2556 ~x4247 ~x867 ~x5940 ~x27 x1718 x3403 ~x5095 ~x2557
91.33/91.69 v ~x4248 x866 x5941 x26 x1717 x3404 ~x5094 x2558 ~x4249 x871
91.33/91.69 v ~x5942 x31 ~x1716 x3405 ~x5093 ~x2559 x4250 ~x870 x5943 ~x30
91.33/91.69 v ~x1715 ~x3406 ~x5092 ~x2560 ~x4251 ~x869 x5944 ~x29 x1714 x3407
91.33/91.69 v ~x5091 x2561 ~x4252 ~x874 x5945 x1713 ~x3408 ~x5090 x2562 x4253
91.33/91.69 v x873 x5946 ~x1712 x3409 x5089 ~x2563 ~x4254 ~x34 ~x872 ~x5947
91.33/91.69 v x1725 x3410 ~x5088 ~x2564 x4255 x33 ~x877 ~x5948 x1724 x3411
91.33/91.69 v ~x5087 ~x2565 x4256 ~x32 x876 ~x5949 ~x1723 x3412 ~x5086 x2566
91.33/91.69 v x4257 ~x37 ~x875 ~x5950 ~x1722 x3413 ~x5085 ~x2567 ~x4258 x36
91.33/91.69 v ~x880 ~x5951 x1721 x3414 ~x5084 ~x2568 x4259 ~x35 x879 ~x5952
91.33/91.69 v x1720 x3415 ~x5127 ~x2569 ~x4260 ~x40 ~x878 ~x5953 ~x1719 ~x3416
91.33/91.69 v ~x5126 x2570 x4261 x39 ~x883 ~x5954 x1732 ~x3417 ~x5125 x2571
91.33/91.69 v ~x4262 ~x38 x882 ~x5955 x1731 x3418 ~x5124 ~x2572 ~x4263 ~x43
91.33/91.69 v ~x881 ~x5956 ~x1730 ~x3419 ~x5123 ~x2573 ~x4264 x42 ~x886 ~x5957
91.33/91.69 v ~x1729 ~x3420 ~x5122 ~x2574 x4265 ~x41 x885 ~x5958 x1728 x3421
91.33/91.69 v ~x5121 ~x2575 ~x4266 ~x46 ~x884 x5959 x1727 x3422 ~x5120 x2576
91.33/91.69 v x4267 x45 ~x889 ~x5960 ~x1726 x3423 ~x5119 ~x2577 ~x4268 ~x44
91.33/91.69 v x888 ~x5961 x1739 x3424 ~x5118 ~x2578 ~x4269 ~x49 ~x887 ~x5962
91.33/91.69 v x1738 ~x3425 ~x5117 x2579 x4270 x48 x892 ~x5963 x1737 ~x3426
91.33/91.69 v ~x5116 ~x2580 x4271 ~x47 ~x891 x5964 x1736 x3427 ~x5115 ~x2581
91.33/91.69 v x4272 x52 ~x890 ~x5965 x1735 x3428 ~x5114 x2582 ~x4273 ~x51
91.33/91.69 v ~x895 ~x5966 x1734 x3429 ~x5113 x2583 x4274 ~x50 ~x894 ~x5967
91.33/91.69 v ~x1733 x3430 ~x5112 ~x2584 ~x4275 ~x55 x893 ~x5968 x1744 x3431
91.33/91.69 v ~x5111 ~x2585 ~x4276 ~x54 ~x898 ~x5969 x1743 x3432 ~x5110 ~x2586
91.33/91.69 v x4277 x53 x897 ~x5970 ~x1742 x3433 x5109 ~x2587 ~x4278 x58
91.33/91.69 v ~x896 ~x5971 ~x1741 ~x3434 ~x5108 x2588 ~x4279 ~x57 ~x901 ~x5972
91.33/91.69 v ~x1740 ~x3435 ~x5107 x2589 x4280 ~x56 x900 ~x5973 ~x1749 x3436
91.33/91.69 v ~x5106 ~x2590 ~x4281 ~x61 ~x899 ~x5974 x1748 x3437 ~x5149 ~x2591
91.33/91.69 v ~x4282 ~x60 ~x904 ~x5975 x1747 x3438 ~x5148 ~x2592 x4283 x59
91.33/91.69 v ~x903 ~x5976 ~x1746 x3439 ~x5147 ~x2593 ~x4284 ~x64 x902 ~x5977
91.33/91.69 v ~x1745 ~x3440 ~x5146 x2594 ~x4285 ~x63 x907 ~x5978 x1754 ~x3441
91.33/91.69 v ~x5145 ~x2595 x4286 x62 ~x906 ~x5979 x1753 x3442 ~x5144 ~x2596
91.33/91.69 v ~x4287 ~x905 x5980 ~x1752 ~x3443 ~x5143 x2597 ~x4288 x67 ~x910
91.33/91.69 v ~x5981 x1751 ~x3444 ~x5142 ~x2598 x4289 ~x66 ~x909 ~x5982 ~x1750
91.33/91.69 v x3445 ~x5141 ~x2599 ~x4290 ~x65 x908 ~x5983 x1759 ~x3446 ~x5140
91.33/91.69 v x2600 ~x4291 ~x70 x913 ~x5984 ~x1758 ~x3447 ~x5139 ~x2601 x4292
91.33/91.69 v x69 ~x912 x5985 x1757 x3448 ~x5138 ~x2602 ~x4293 ~x68 ~x911
91.33/91.69 v ~x5986 x1756 ~x3449 x5137 x2603 ~x4294 ~x73 ~x916 x5987 ~x1755
91.33/91.69 v ~x3450 ~x5136 ~x2604 x4295 x72 ~x915 ~x5988 x1764 x3451 ~x5135
91.33/91.69 v ~x2605 ~x4296 ~x71 x914 ~x5989 x1763 ~x3452 ~x5134 x2606 ~x4297
91.33/91.69 v ~x76 x919 ~x5990 x1762 ~x3453 ~x5133 ~x2607 x4298 ~x75 ~x918
91.33/91.69 v ~x5991 x1761 x3454 ~x5132 ~x2608 ~x4299 x74 ~x917 ~x5992 ~x1760
91.33/91.69 v ~x3455 ~x5131 x2609 ~x4300 x79 ~x922 ~x5993 ~x1769 ~x3456 ~x5130
91.33/91.69 v x2610 x4301 ~x78 ~x921 ~x5994 x1768 x3457 ~x5129 ~x2611 ~x4302
91.33/91.69 v ~x77 x920 ~x5995 ~x1767 x3458 ~x5128 ~x2612 ~x4303 ~x82 x925
91.33/91.69 v ~x5996 x1766 x3459 ~x5171 ~x2613 x4304 x81 ~x924 ~x5997 ~x1765
91.33/91.69 v x3460 ~x5170 ~x2614 ~x4305 ~x80 ~x923 ~x5998 x1774 x3461 ~x5169
91.33/91.69 v x2615 ~x4306 ~x85 x928 ~x5999 ~x1773 x3462 ~x5168 x2616 x4307
91.33/91.69 v x84 ~x927 ~x6000 x1772 x3463 ~x5167 ~x2617 ~x4308 ~x83 ~x926
91.33/91.69 v x6001 ~x1771 x3464 ~x5166 ~x2618 x4309 ~x88 ~x931 ~x6002 x1770
91.33/91.69 v x3465 ~x5165 ~x2619 ~x4310 x87 ~x930 ~x6003 ~x1779 x3466 x5164
91.33/91.69 v ~x2620 ~x4311 ~x86 x929 ~x6004 ~x1778 x3467 ~x5163 x2621 ~x4312
91.33/91.69 v ~x91 ~x934 ~x6005 ~x1777 x3468 ~x5162 ~x2622 x4313 x90 ~x933
91.33/91.69 v x6006 x1776 ~x3469 ~x5161 x2623 ~x4314 ~x89 x932 ~x6007 ~x1775
91.33/91.69 v x3470 ~x5160 ~x2624 ~x4315 x94 x937 x6008 x1784 ~x3471 ~x5159
91.33/91.69 v ~x2625 x4316 ~x93 ~x936 ~x6009 ~x1783 x3472 ~x5158 ~x2626 ~x4317
91.33/91.69 v ~x92 ~x935 ~x6010 x1782 x3473 ~x5157 x2627 x4318 ~x97 ~x940
91.33/91.69 v ~x6011 ~x1781 x3474 ~x5156 x2628 x4319 ~x96 ~x939 ~x6012 ~x1780
91.33/91.69 v x3475 ~x5155 ~x2629 x4320 x95 x938 ~x6013 x1789 x3476 ~x5154
91.33/91.69 v ~x2630 ~x4321 x100 x943 ~x6014 ~x1788 x3477 ~x5153 ~x2631 x4322
91.33/91.69 v ~x99 ~x942 ~x6015 ~x1787 x3478 ~x5152 ~x2632 ~x4323 ~x98 ~x941
91.33/91.69 v ~x6016 ~x1786 ~x3479 ~x5151 x2633 x4324 ~x103 x946 ~x6017 x1785
91.33/91.69 v ~x3480 ~x5150 x2634 ~x4325 ~x102 ~x945 ~x6018 x1794 x3481 ~x5193
91.33/91.69 v ~x2635 ~x4326 x101 ~x944 x6019 ~x1793 ~x3482 ~x5192 ~x2636 ~x4327
91.33/91.69 v x106 ~x949 x6020 ~x1792 ~x3483 ~x5191 ~x2637 x4328 ~x105 ~x948
91.33/91.69 v ~x6021 x1791 x3484 ~x5190 x2638 ~x4329 ~x104 x947 x6022 ~x1790
91.33/91.69 v x3485 x5189 ~x2639 x4330 ~x109 x952 ~x6023 ~x1799 x3486 ~x5188
91.33/91.69 v x2640 ~x4331 ~x108 ~x951 ~x6024 ~x1798 x3487 ~x5187 ~x2641 ~x4332
91.33/91.69 v x107 ~x950 x6025 x1797 ~x3488 ~x5186 ~x2642 x4333 ~x112 ~x955
91.33/91.69 v ~x6026 ~x1796 ~x3489 ~x5185 ~x2643 x4334 x111 ~x954 x6027 x1795
91.33/91.69 v x3490 ~x5184 x2644 x4335 ~x110 x953 x6028 ~x1804 x3491 ~x5183
91.33/91.69 v ~x2645 ~x4336 ~x115 ~x958 x6029 x1803 x3492 ~x5182 x2646 x4337
91.33/91.69 v x114 ~x957 x6030 x1802 x3493 ~x5181 ~x2647 ~x4338 ~x113 x956
91.33/91.69 v x6031 x1801 x3494 ~x5180 ~x2648 ~x4339 x118 x961 ~x6032 ~x1800
91.33/91.69 v x3495 ~x5179 x2649 x4340 ~x117 ~x960 ~x6033 x1809 x3496 ~x5178
91.33/91.69 v ~x2650 ~x4341 ~x116 ~x959 ~x6034 x1808 ~x3497 ~x5177 ~x2651 ~x4342
91.33/91.69 v ~x121 ~x964 ~x6035 ~x1807 ~x3498 ~x5176 x2652 x4343 ~x120 ~x963
91.33/91.69 v ~x6036 ~x1806 x3499 ~x5175 ~x2653 ~x4344 x119 x962 ~x6037 x1805
91.33/91.69 v x3500 ~x5174 ~x2654 ~x4345 x124 x967 ~x6038 ~x1814 x3501 ~x5173
91.33/91.69 v ~x2655 x4346 ~x123 ~x966 ~x6039 ~x1813 x3502 ~x5172 x2656 ~x4347
91.33/91.69 v ~x122 ~x965 x6040 ~x1812 ~x3503 ~x5215 ~x2657 ~x4348 ~x127 ~x970
91.33/91.69 v x6041 ~x1811 ~x3504 ~x5214 x2658 x4349 ~x126 ~x969 ~x6042 x1810
91.33/91.69 v x3505 x5213 ~x2659 ~x4350 x125 x968 x6043 ~x1819 ~x3506 ~x5212
91.33/91.69 v ~x2660 ~x4351 ~x130 x973 ~x6044 x1818 ~x3507 ~x5211 ~x2661 x4352
91.33/91.69 v ~x129 ~x972 ~x6045 ~x1817 x3508 ~x5210 ~x2662 ~x4353 x128 ~x971
91.33/91.69 v x6046 ~x1816 ~x3509 ~x5209 x2663 ~x4354 ~x976 ~x6047 x1815 ~x3510
91.33/91.69 v ~x5208 ~x2664 x4355 x133 ~x975 x6048 ~x1824 x3511 ~x5207 x2665
91.33/91.69 v ~x4356 ~x132 x974 x6049 ~x1823 ~x3512 ~x5206 ~x2666 ~x4357 ~x131
91.33/91.69 v x979 x6050 x1822 ~x3513 ~x5205 x2667 x4358 ~x136 ~x978 x6051
91.33/91.69 v x1821 x3514 ~x5204 ~x2668 ~x4359 x135 ~x977 x6052 ~x1820 ~x3515
91.33/91.69 v ~x5203 ~x2669 ~x4360 ~x134 ~x982 x6053 x1829 ~x3516 ~x5202 x2670
91.33/91.69 v x4361 ~x139 ~x981 ~x6054 x1828 x3517 ~x5201 ~x2671 ~x4362 x138
91.33/91.69 v x980 ~x6055 x1827 ~x3518 ~x5200 ~x2672 x4363 ~x137 x985 ~x6056
91.33/91.69 v ~x1826 ~x3519 ~x5199 x2673 ~x4364 ~x142 ~x984 ~x6057 ~x1825 x3520
91.33/91.69 v ~x5198 ~x2674 ~x4365 x141 ~x983 ~x6058 ~x1834 x3521 ~x5197 ~x2675
91.33/91.69 v x4366 ~x140 x988 ~x6059 ~x1833 x3522 ~x5196 ~x2676 ~x4367 ~x145
91.33/91.69 v ~x987 ~x6060 x1832 x3523 ~x5195 x2677 ~x4368 x144 ~x986 x6061
91.33/91.69 v ~x1831 x3524 ~x5194 ~x2678 ~x4369 ~x143 ~x991 x6062 ~x1830 x3525
91.33/91.69 v ~x5237 ~x2679 x4370 ~x148 ~x990 ~x6063 ~x1839 x3526 x5236 x2680
91.33/91.69 v ~x4371 x147 x989 x6064 x1838 x3527 ~x5235 ~x2681 x4372 ~x146
91.33/91.69 v ~x994 ~x6065 ~x1837 x3528 ~x5234 ~x2682 ~x4373 ~x151 x993 ~x6066
91.33/91.69 v ~x1836 x3529 ~x5233 x2683 ~x4374 x150 ~x992 x6067 ~x1835 x3530
91.33/91.69 v ~x5232 ~x2684 ~x4375 ~x149 ~x997 ~x6068 x1844 x3531 ~x5231 x2685
91.33/91.69 v x4376 ~x154 x996 x6069 ~x1843 ~x3532 ~x5230 ~x2686 ~x4377 ~x153
91.33/91.69 v ~x995 x6070 ~x1842 x3533 ~x5229 ~x2687 ~x4378 x152 ~x1000 x6071
91.33/91.69 v ~x1841 ~x3534 ~x5228 x2688 x4379 x157 ~x999 x6072 ~x1840 ~x3535
91.33/91.69 v ~x5227 ~x2689 ~x4380 ~x156 x998 x6073 ~x1849 x3536 ~x5226 ~x2690
91.33/91.69 v x4381 ~x155 x1003 x6074 ~x1848 ~x3537 ~x5225 ~x2691 ~x4382 ~x160
91.33/91.69 v ~x1002 ~x6075 ~x1847 ~x3538 ~x5224 ~x2692 ~x4383 ~x159 ~x1001 ~x6076
91.33/91.69 v ~x1846 x3539 ~x5223 x2693 ~x4384 x158 x1006 ~x6077 ~x1845 ~x3540
91.33/91.69 v ~x5222 x2694 x4385 x163 ~x1005 ~x6078 x1854 ~x3541 ~x5221 ~x2695
91.33/91.69 v ~x4386 ~x162 ~x1004 ~x6079 ~x1853 x3542 ~x5220 ~x2696 x4387 ~x161
91.33/91.69 v ~x1009 ~x6080 ~x1852 ~x3543 ~x5219 x2697 ~x4388 ~x166 ~x1008 ~x6081
91.33/91.69 v ~x1851 x3544 ~x5218 ~x2698 ~x4389 ~x165 x1007 x6082 ~x1850 ~x3545
91.33/91.69 v ~x5217 ~x2699 x4390 x164 ~x1012 x6083 x1859 ~x3546 ~x5216 ~x2700
91.33/91.69 v ~x4391 x169 ~x1011 ~x6084 ~x1858 ~x3547 x5259 ~x2701 ~x4392 ~x168
91.33/91.69 v x1010 x6085 ~x1857 x3548 ~x5258 x2702 x4393 ~x167 x1015 ~x6086
91.33/91.69 v ~x1856 ~x3549 ~x5257 ~x2703 ~x4394 ~x172 ~x1014 ~x6087 ~x1855 x3550
91.33/91.69 v ~x5256 ~x2704 ~x4395 ~x171 ~x1013 x6088 x1864 ~x3551 ~x5255 x2705
91.33/91.69 v x4396 x170 ~x1018 ~x6089 ~x1863 ~x3552 ~x5254 ~x2706 ~x4397 x175
91.33/91.69 v ~x1017 x6090 ~x1862 ~x3553 ~x5253 x2707 ~x4398 ~x174 x1016 x6091
91.33/91.69 v ~x1861 x3554 ~x5252 ~x2708 x4399 ~x173 x1021 x6092 ~x1860 ~x3555
91.33/91.69 v ~x5251 ~x2709 ~x4400 x178 ~x1020 x6093 x1869 ~x3556 ~x5250 x2710
91.33/91.69 v ~x4401 ~x177 ~x1019 x6094 ~x1868 x3557 ~x5249 ~x2711 ~x4402 ~x176
91.33/91.69 v ~x1024 x6095 x1867 ~x3558 ~x5248 x2712 x4403 ~x181 ~x1023 ~x6096
91.33/91.69 v x1866 x3559 ~x5247 ~x2713 ~x4404 ~x180 x1022 ~x6097 ~x1865 ~x3560
91.33/91.69 v ~x5246 ~x2714 ~x4405 x179 x1027 ~x6098 x1874 ~x3561 ~x5245 ~x2715
91.33/91.69 v x4406 ~x184 ~x1026 ~x6099 x1873 ~x3562 ~x5244 x2716 ~x4407 ~x183
91.33/91.69 v ~x1025 x1872 x3563 ~x5243 ~x2717 ~x4408 x182 x1030 x1871 ~x3564
91.33/91.69 v ~x5242 x2718 x4409 x187 ~x1029 ~x1870 x3565 ~x5241 ~x2719 ~x4410
91.33/91.69 v ~x186 ~x1028 x1879 ~x3566 ~x5240 ~x2720 ~x4411 ~x185 ~x1033 ~x1878
91.33/91.69 v ~x3567 ~x5239 x2721 x4412 x190 ~x1032 ~x1877 x3568 ~x5238 ~x2722
91.33/91.69 v ~x4413 ~x189 x1031 ~x1876 ~x3569 ~x5260 ~x2723 ~x4414 ~x188 ~x1036
91.33/91.69 v ~x1875 ~x3570 ~x5261 x2724 x4415 ~x193 ~x1035 x1884 x3571 ~x5262
91.33/91.69 v ~x2725 ~x4416 ~x192 x1034 ~x1883 ~x3572 ~x5263 ~x2726 x4417 x191
91.33/91.69 v x1039 x1882 ~x3573 ~x5264 x2727 x4418 ~x196 ~x1038 ~x1881 x3574
91.33/91.69 v ~x5265 ~x2728 x4419 ~x195 ~x1037 x1880 ~x3575 ~x5266 ~x2729 x4420
91.33/91.69 v x194 x1042 x1889 ~x3576 ~x5267 ~x2730 x4421 x199 ~x1041 ~x1888
91.33/91.69 v x3577 ~x5268 x2731 x4422 ~x198 ~x1040 ~x1887 ~x3578 ~x5269 ~x2732
91.33/91.69 v x4423 ~x197 ~x1045 ~x1886 ~x3579 ~x5270 x2733 x4424 ~x202 ~x1044
91.33/91.69 v ~x1885 ~x3580 ~x5271 ~x2734 x4425 x201 x1043 x1894 x3581 ~x5272
91.33/91.69 v ~x2735 x4426 ~x200 ~x1048 ~x1893 ~x3582 ~x5273 x2736 ~x4427 ~x205
91.33/91.69 v ~x1047 ~x1892 ~x3583 ~x5274 ~x2737 ~x4428 x204 x1046 ~x1891 x3584
91.33/91.69 v ~x5275 ~x2738 x4429 ~x203 x1051 ~x1890 ~x3585 ~x5276 x2739 ~x4430
91.33/91.69 v ~x208 ~x1050 ~x1899 ~x3586 ~x5277 ~x2740 ~x4431 ~x207 ~x1049 ~x1898
91.33/91.69 v x3587 ~x5278 ~x2741 x4432 x206 ~x1897 ~x3588 ~x5279 ~x2742 x4433
91.33/91.69 v x211 ~x1896 ~x3589 x5280 ~x1054 x2743 x4434 ~x210 x1895 x3590
91.33/91.69 v ~x5281 ~x1053 ~x2744 x4435 ~x209 x1904 ~x3591 ~x5282 x1052 x2745
91.33/91.69 v ~x4436 ~x214 ~x1903 ~x3592 ~x5283 x1057 ~x2746 ~x4437 ~x213 ~x1902
91.33/91.69 v x3593 ~x5284 ~x1056 ~x2747 x4438 x212 ~x1901 ~x3594 ~x5285 ~x1055
91.33/91.69 v ~x2748 x4439 x217 ~x1900 ~x3595 ~x5286 ~x1060 ~x2749 x4440 ~x216
91.33/91.69 v ~x1909 x3596 ~x5287 ~x1059 x2750 x4441 ~x215 ~x1908 ~x3597 ~x5288
91.33/91.69 v x1058 x2751 x4442 ~x220 x1907 ~x3598 ~x5289 x1063 ~x2752 x4443
91.33/91.69 v x219 ~x1906 x3599 ~x5290 ~x1062 ~x2753 x4444 ~x218 x1905 ~x3600
91.33/91.69 v ~x5291 ~x1061 x2754 ~x4445 ~x223 ~x1914 ~x3601 ~x5292 ~x1066 ~x2755
91.33/91.69 v ~x4446 x222 x1913 x3602 ~x5293 ~x1065 ~x2756 x4447 ~x221 x1912
91.33/91.69 v ~x3603 ~x5294 x1064 x2757 x4448 x226 x1911 ~x3604 ~x5295 x1069
91.33/91.69 v ~x2758 x4449 ~x225 ~x1910 x3605 ~x5296 ~x1068 ~x2759 x4450
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61105 MiB free)
memory of node 1: 64465 MiB (59736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545502-1753238919/watcher-4545502-1753238919 -o /tmp/evaluation-result-4545502-1753238919/solver-4545502-1753238919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753238911-155469 --watchdog 3760 pb_picat HOME/instance-4545502-1753238919.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=155570, runsolver pid=155567
[startup+0.100063 s]*
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123705076/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2027148 memory=40684 CPUtime=0.09 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 1081 0 0 0 9 0 0 0 20 0 1 0 239570565 2075799552 10171 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 506787 10171 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40684 KiB
[startup+0.20567 s]*
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123683232/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2027148 memory=63412 CPUtime=0.19 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 1148 0 0 0 18 1 0 0 20 0 1 0 239570565 2075799552 15853 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 506787 15853 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 63412 KiB
[startup+0.305606 s]*
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123666092/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2036984 memory=86908 CPUtime=0.29 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 3093 0 0 0 28 1 0 0 20 0 1 0 239570565 2085871616 21727 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 509246 21727 1728 343 0 506310 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036984 KiB
Current children cumulated memory: 86908 KiB
[startup+0.700107 s]
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123630052/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2071676 memory=119496 CPUtime=0.68 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 9646 0 0 0 65 3 0 0 20 0 1 0 239570565 2121396224 29874 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 517919 29874 1728 343 0 514983 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2071676 KiB
Current children cumulated memory: 119496 KiB
[startup+1.50006 s]
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123624004/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2071676 memory=119496 CPUtime=1.49 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 9646 0 0 0 144 5 0 0 20 0 1 0 239570565 2121396224 29874 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 517919 29874 1728 343 0 514983 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2071676 KiB
Current children cumulated memory: 119496 KiB
[startup+3.10558 s]
/proc/loadavg: 2.52 2.84 3.56 5/268 155571
/proc/meminfo: memFree=123612672/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2092168 memory=132712 CPUtime=3.08 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 12562 0 0 0 301 7 0 0 20 0 1 0 239570565 2142380032 33178 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 523042 33178 1728 343 0 520106 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2092168 KiB
Current children cumulated memory: 132712 KiB
[startup+6.30016 s]
/proc/loadavg: 2.64 2.86 3.56 5/268 155571
/proc/meminfo: memFree=123583172/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2089528 memory=134292 CPUtime=6.27 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 17558 0 0 0 618 9 0 0 20 0 1 0 239570565 2139676672 33573 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 522382 33573 1728 343 0 519446 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2089528 KiB
Current children cumulated memory: 134292 KiB
[startup+12.7001 s]
/proc/loadavg: 2.75 2.87 3.56 5/268 155571
/proc/meminfo: memFree=123586232/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2092224 memory=137076 CPUtime=12.65 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 23734 0 0 0 1254 11 0 0 20 0 1 0 239570565 2142437376 34269 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 523056 34269 1728 343 0 520120 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2092224 KiB
Current children cumulated memory: 137076 KiB
[startup+25.5002 s]
/proc/loadavg: 3.10 2.95 3.58 5/268 155571
/proc/meminfo: memFree=123583084/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2092224 memory=141172 CPUtime=25.41 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 31703 0 0 0 2527 14 0 0 20 0 1 0 239570565 2142437376 35293 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 523056 35293 1728 343 0 520120 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2092224 KiB
Current children cumulated memory: 141172 KiB
[startup+51.1055 s]
/proc/loadavg: 3.41 3.03 3.59 5/268 155572
/proc/meminfo: memFree=123558332/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2091908 memory=128156 CPUtime=50.95 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 44466 0 0 0 5075 20 0 0 20 0 1 0 239570565 2142113792 32039 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 522977 32039 1728 343 0 520041 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2091908 KiB
Current children cumulated memory: 128156 KiB
[startup+91.702 s]
# the end of solver process 155570 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=91.1676 s, system=0.275231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.41 3.03 3.59 5/268 155572
/proc/meminfo: memFree=123558332/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2091908 memory=128156 CPUtime=51.04 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 44485 0 0 0 5084 20 0 0 20 0 1 0 239570565 2142113792 32039 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 522977 32039 1728 343 0 520041 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 2091908 KiB
Current children cumulated memory: 128156 KiB
[startup+76.8001 s]
/proc/loadavg: 3.69 3.13 3.61 5/267 155573
/proc/meminfo: memFree=123567008/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2108568 memory=147508 CPUtime=76.58 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 54983 0 0 0 7632 26 0 0 20 0 1 0 239570565 2159173632 36877 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 527142 36877 1728 343 0 524206 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 2108568 KiB
Current children cumulated memory: 147508 KiB
[startup+83.2001 s]
/proc/loadavg: 3.71 3.14 3.61 5/267 155573
/proc/meminfo: memFree=123559536/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2108568 memory=155700 CPUtime=82.96 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 56513 0 0 0 8270 26 0 0 20 0 1 0 239570565 2159173632 38925 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 527142 38925 1728 343 0 524206 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 2108568 KiB
Current children cumulated memory: 155700 KiB
[startup+86.4001 s]
/proc/loadavg: 3.74 3.16 3.61 5/267 155573
/proc/meminfo: memFree=123562924/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2092184 memory=141364 CPUtime=86.14 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 57012 0 0 0 8588 26 0 0 20 0 1 0 239570565 2142396416 35341 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 523046 35341 1728 343 0 520110 0
Current children cumulated CPU time: 86.14 s
Current children cumulated vsize: 2092184 KiB
Current children cumulated memory: 141364 KiB
[startup+89.6001 s]
/proc/loadavg: 3.76 3.17 3.61 5/267 155573
/proc/meminfo: memFree=123561484/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2108568 memory=144180 CPUtime=89.33 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 57206 0 0 0 8907 26 0 0 20 0 1 0 239570565 2159173632 36045 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 527142 36045 1728 343 0 524206 0
Current children cumulated CPU time: 89.33 s
Current children cumulated vsize: 2108568 KiB
Current children cumulated memory: 144180 KiB
[startup+90.4001 s]
/proc/loadavg: 3.76 3.17 3.61 5/267 155573
/proc/meminfo: memFree=123567628/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2079896 memory=131184 CPUtime=90.13 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 57390 0 0 0 8987 26 0 0 20 0 1 0 239570565 2129813504 32796 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 519974 32796 1728 343 0 517038 0
Current children cumulated CPU time: 90.13 s
Current children cumulated vsize: 2079896 KiB
Current children cumulated memory: 131184 KiB
[startup+91.2002 s]
/proc/loadavg: 3.76 3.17 3.61 5/267 155573
/proc/meminfo: memFree=123567880/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2108568 memory=149556 CPUtime=90.93 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 58917 0 0 0 9067 26 0 0 20 0 1 0 239570565 2159173632 37389 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 527142 37389 1728 343 0 524206 0
Current children cumulated CPU time: 90.93 s
Current children cumulated vsize: 2108568 KiB
Current children cumulated memory: 149556 KiB
[startup+91.6001 s]
/proc/loadavg: 3.76 3.17 3.61 5/267 155573
/proc/meminfo: memFree=123567880/131250000 swapFree=33010672/33010684
[pid=155570] ppid=155567 vsize=2108568 memory=153652 CPUtime=91.33 cores=1,3
/proc/155570/stat : 155570 (pb_picat) R 155567 155570 154745 0 -1 4194304 58919 0 0 0 9107 26 0 0 20 0 1 0 239570565 2159173632 38413 18446744073709551615 94380276760576 94380278162157 140727664302416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94380278433584 94380280307888 94380291006464 140727664306588 140727664306664 140727664306664 140727664312268 0
/proc/155570/statm: 527142 38413 1728 343 0 524206 0
Current children cumulated CPU time: 91.33 s
Current children cumulated vsize: 2108568 KiB
Current children cumulated memory: 153652 KiB
Child status: 0
Real time (s): 91.702
CPU time (s): 91.4428
CPU user time (s): 91.1676
CPU system time (s): 0.275231
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 2141376
Max. memory (cumulated for all children) (KiB): 155700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.1676
system time used= 0.275231
maximum resident set size= 155700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58947
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= 66
involuntary context switches= 117
# summary of solver processes directly reported to runsolver:
# pid: 155570
# total CPU time (s): 91.4428
# total CPU user time (s): 91.1676
# total CPU system time (s): 0.275231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.194137 second user time and 0.415005 second system time
The end
Begin job on nodeC026 at 2025-07-23 04:48:39
IDJOB=4545502
IDBENCH=180906
IDSOLVER=3346
FILE ID=nodeC026/4545502-1753238919
RUNJOBID= nodeC026-1753238911-155469
SLURM_JOB_ID= 9687858
Free space on /tmp= 433004 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-Soccer-22-18-20-1_c24.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545502-1753238919/watcher-4545502-1753238919 -o /tmp/evaluation-result-4545502-1753238919/solver-4545502-1753238919 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753238911-155469 --watchdog 3760 pb_picat HOME/instance-4545502-1753238919.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 00e748e1facf3af7122a1c82ef1f7099
RANDOM SEED=875237471
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3600.847
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3600.691
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3599.752
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3599.800
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.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 : 3667.908
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.946
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 123742984 kB
MemAvailable: 128728864 kB
Buffers: 2128 kB
Cached: 5610868 kB
SwapCached: 4 kB
Active: 2061328 kB
Inactive: 4468728 kB
Active(anon): 937988 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 4463384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15852 kB
Writeback: 20 kB
AnonPages: 920172 kB
Mapped: 119844 kB
Shmem: 26268 kB
KReclaimable: 459956 kB
Slab: 563972 kB
SReclaimable: 459956 kB
SUnreclaim: 104016 kB
KernelStack: 4336 kB
PageTables: 4924 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6680284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 741376 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC026 at 2025-07-23 04:50:11