0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4425142-1720879788.wbo>
0.00/0.09	c original problem has 7252 variables (7252 bin, 0 int, 0 impl, 0 cont) and 13974 constraints
0.00/0.09	c problem read in 0.09
0.09/0.17	c presolving:
0.09/0.19	c (round 1, fast)       4 del vars, 8 del conss, 0 add conss, 0 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 3516 impls, 4528 clqs
0.09/0.19	c (round 2, fast)       8 del vars, 10 del conss, 0 add conss, 3514 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 3516 impls, 4528 clqs
0.09/0.20	c (round 3, medium)     89 del vars, 10 del conss, 0 add conss, 3514 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 3516 impls, 4366 clqs
0.09/0.20	c (round 4, fast)       89 del vars, 172 del conss, 0 add conss, 3514 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 3516 impls, 4366 clqs
0.21/0.23	c (round 5, exhaustive) 89 del vars, 172 del conss, 0 add conss, 3514 chg bounds, 184 chg sides, 368 chg coeffs, 6774 upgd conss, 3516 impls, 4366 clqs
0.21/0.25	c (round 6, exhaustive) 89 del vars, 2999 del conss, 942 add conss, 3514 chg bounds, 184 chg sides, 368 chg coeffs, 6774 upgd conss, 3516 impls, 4366 clqs
1.58/1.61	c    (1.6s) probing: 1000/10554 (9.5%) - 15 fixings, 7 aggregations, 24350 implications, 0 bound changes
1.58/1.69	c (round 7, exhaustive) 119 del vars, 2999 del conss, 942 add conss, 3514 chg bounds, 184 chg sides, 370 chg coeffs, 6774 upgd conss, 3516 impls, 29756 clqs
1.68/1.70	c (round 8, fast)       119 del vars, 3043 del conss, 942 add conss, 3514 chg bounds, 184 chg sides, 375 chg coeffs, 6777 upgd conss, 3516 impls, 29771 clqs
1.68/1.70	c (round 9, fast)       145 del vars, 3059 del conss, 942 add conss, 3514 chg bounds, 184 chg sides, 375 chg coeffs, 6777 upgd conss, 3516 impls, 29771 clqs
1.68/1.72	c (round 10, exhaustive) 145 del vars, 3071 del conss, 954 add conss, 3514 chg bounds, 184 chg sides, 375 chg coeffs, 6777 upgd conss, 3516 impls, 29771 clqs
1.78/1.85	c (round 11, exhaustive) 170 del vars, 3073 del conss, 954 add conss, 3514 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30407 clqs
1.87/1.93	c (round 12, exhaustive) 196 del vars, 3077 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30380 clqs
1.87/1.94	c (round 13, fast)       196 del vars, 3103 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
1.99/2.02	c (round 14, exhaustive) 221 del vars, 3103 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
1.99/2.02	c (round 15, fast)       221 del vars, 3126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
1.99/2.08	c (round 16, exhaustive) 246 del vars, 3126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
1.99/2.08	c (round 17, fast)       246 del vars, 3151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.09/2.13	c (round 18, exhaustive) 271 del vars, 3151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.09/2.14	c (round 19, fast)       271 del vars, 3176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.17/2.20	c (round 20, exhaustive) 296 del vars, 3176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.17/2.20	c (round 21, fast)       296 del vars, 3201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.17/2.26	c (round 22, exhaustive) 321 del vars, 3201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.17/2.26	c (round 23, fast)       321 del vars, 3226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.27/2.32	c (round 24, exhaustive) 346 del vars, 3226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.27/2.33	c (round 25, fast)       346 del vars, 3251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.27/2.38	c (round 26, exhaustive) 371 del vars, 3251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.27/2.38	c (round 27, fast)       371 del vars, 3276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.37/2.45	c (round 28, exhaustive) 396 del vars, 3276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.37/2.45	c (round 29, fast)       396 del vars, 3301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.47/2.50	c (round 30, exhaustive) 421 del vars, 3301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.47/2.51	c (round 31, fast)       421 del vars, 3326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.47/2.56	c (round 32, exhaustive) 446 del vars, 3326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.47/2.56	c (round 33, fast)       446 del vars, 3351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.57/2.62	c (round 34, exhaustive) 471 del vars, 3351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.57/2.62	c (round 35, fast)       471 del vars, 3376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.57/2.68	c (round 36, exhaustive) 496 del vars, 3376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.57/2.68	c (round 37, fast)       496 del vars, 3401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.67/2.74	c (round 38, exhaustive) 521 del vars, 3401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.67/2.74	c (round 39, fast)       521 del vars, 3426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.67/2.79	c (round 40, exhaustive) 546 del vars, 3426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.77/2.80	c (round 41, fast)       546 del vars, 3451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.77/2.86	c (round 42, exhaustive) 571 del vars, 3451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.77/2.86	c (round 43, fast)       571 del vars, 3476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.87/2.91	c (round 44, exhaustive) 596 del vars, 3476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.87/2.92	c (round 45, fast)       596 del vars, 3501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.87/2.97	c (round 46, exhaustive) 621 del vars, 3501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.87/2.97	c (round 47, fast)       621 del vars, 3526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.87/2.99	c    (3.0s) probing: 2000/10554 (19.0%) - 17 fixings, 485 aggregations, 26338 implications, 0 bound changes
2.98/3.03	c (round 48, exhaustive) 646 del vars, 3526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.98/3.04	c (round 49, fast)       646 del vars, 3551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.98/3.09	c (round 50, exhaustive) 671 del vars, 3551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
2.98/3.10	c (round 51, fast)       671 del vars, 3576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.08/3.15	c (round 52, exhaustive) 696 del vars, 3576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.08/3.15	c (round 53, fast)       696 del vars, 3601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.17/3.21	c (round 54, exhaustive) 721 del vars, 3601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.17/3.21	c (round 55, fast)       721 del vars, 3626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.17/3.26	c (round 56, exhaustive) 746 del vars, 3626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.17/3.26	c (round 57, fast)       746 del vars, 3651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.27/3.32	c (round 58, exhaustive) 771 del vars, 3651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.27/3.32	c (round 59, fast)       771 del vars, 3676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.27/3.38	c (round 60, exhaustive) 796 del vars, 3676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.27/3.38	c (round 61, fast)       796 del vars, 3701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.37/3.43	c (round 62, exhaustive) 821 del vars, 3701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.37/3.43	c (round 63, fast)       821 del vars, 3726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.37/3.48	c (round 64, exhaustive) 846 del vars, 3726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.37/3.48	c (round 65, fast)       846 del vars, 3751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.47/3.54	c (round 66, exhaustive) 871 del vars, 3751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.47/3.54	c (round 67, fast)       871 del vars, 3776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.47/3.59	c (round 68, exhaustive) 896 del vars, 3776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.57/3.60	c (round 69, fast)       896 del vars, 3801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.57/3.66	c (round 70, exhaustive) 921 del vars, 3801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.57/3.66	c (round 71, fast)       921 del vars, 3826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.67/3.71	c (round 72, exhaustive) 946 del vars, 3826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.67/3.72	c (round 73, fast)       946 del vars, 3851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.67/3.77	c (round 74, exhaustive) 971 del vars, 3851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.67/3.77	c (round 75, fast)       971 del vars, 3876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.77/3.83	c (round 76, exhaustive) 996 del vars, 3876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.77/3.83	c (round 77, fast)       996 del vars, 3901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.77/3.88	c (round 78, exhaustive) 1021 del vars, 3901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.77/3.89	c (round 79, fast)       1021 del vars, 3926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.87/3.94	c (round 80, exhaustive) 1046 del vars, 3926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.87/3.94	c (round 81, fast)       1046 del vars, 3951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.87/4.00	c (round 82, exhaustive) 1071 del vars, 3951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.98/4.01	c (round 83, fast)       1071 del vars, 3976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.98/4.05	c (round 84, exhaustive) 1096 del vars, 3976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.98/4.06	c (round 85, fast)       1096 del vars, 4001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
3.98/4.11	c (round 86, exhaustive) 1121 del vars, 4001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.08/4.11	c (round 87, fast)       1121 del vars, 4026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.08/4.13	c    (4.1s) probing: 3000/10554 (28.4%) - 17 fixings, 989 aggregations, 26338 implications, 0 bound changes
4.08/4.16	c (round 88, exhaustive) 1146 del vars, 4026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.08/4.16	c (round 89, fast)       1146 del vars, 4051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.17/4.22	c (round 90, exhaustive) 1171 del vars, 4051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.17/4.22	c (round 91, fast)       1171 del vars, 4076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.17/4.28	c (round 92, exhaustive) 1196 del vars, 4076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.17/4.29	c (round 93, fast)       1196 del vars, 4101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.27/4.34	c (round 94, exhaustive) 1221 del vars, 4101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.27/4.34	c (round 95, fast)       1221 del vars, 4126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.37/4.40	c (round 96, exhaustive) 1246 del vars, 4126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.37/4.40	c (round 97, fast)       1246 del vars, 4151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.37/4.45	c (round 98, exhaustive) 1271 del vars, 4151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.37/4.45	c (round 99, fast)       1271 del vars, 4176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.46/4.51	c (round 100, exhaustive) 1296 del vars, 4176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.46/4.51	c (round 101, fast)       1296 del vars, 4201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.46/4.56	c (round 102, exhaustive) 1321 del vars, 4201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.46/4.56	c (round 103, fast)       1321 del vars, 4226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.56/4.62	c (round 104, exhaustive) 1346 del vars, 4226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.56/4.62	c (round 105, fast)       1346 del vars, 4251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.56/4.67	c (round 106, exhaustive) 1371 del vars, 4251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.56/4.67	c (round 107, fast)       1371 del vars, 4276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.66/4.73	c (round 108, exhaustive) 1396 del vars, 4276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.66/4.73	c (round 109, fast)       1396 del vars, 4301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.66/4.78	c (round 110, exhaustive) 1421 del vars, 4301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.66/4.79	c (round 111, fast)       1421 del vars, 4326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.76/4.84	c (round 112, exhaustive) 1446 del vars, 4326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.76/4.84	c (round 113, fast)       1446 del vars, 4351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.76/4.89	c (round 114, exhaustive) 1471 del vars, 4351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.76/4.89	c (round 115, fast)       1471 del vars, 4376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.86/4.95	c (round 116, exhaustive) 1496 del vars, 4376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.86/4.95	c (round 117, fast)       1496 del vars, 4401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.86/5.00	c (round 118, exhaustive) 1521 del vars, 4401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.98/5.01	c (round 119, fast)       1521 del vars, 4426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30381 clqs
4.98/5.06	c (round 120, exhaustive) 1546 del vars, 4426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
4.98/5.06	c (round 121, fast)       1546 del vars, 4451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.07/5.13	c (round 122, exhaustive) 1571 del vars, 4451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.07/5.13	c (round 123, fast)       1571 del vars, 4476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.07/5.18	c (round 124, exhaustive) 1596 del vars, 4476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.07/5.18	c (round 125, fast)       1596 del vars, 4501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.16/5.23	c    (5.2s) probing: 4000/10554 (37.9%) - 17 fixings, 1478 aggregations, 26343 implications, 0 bound changes
5.16/5.24	c (round 126, exhaustive) 1621 del vars, 4501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.16/5.24	c (round 127, fast)       1621 del vars, 4526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.16/5.29	c (round 128, exhaustive) 1646 del vars, 4526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.26/5.30	c (round 129, fast)       1646 del vars, 4551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.26/5.35	c (round 130, exhaustive) 1671 del vars, 4551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.26/5.36	c (round 131, fast)       1671 del vars, 4576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.36/5.41	c (round 132, exhaustive) 1696 del vars, 4576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.36/5.41	c (round 133, fast)       1696 del vars, 4601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.36/5.47	c (round 134, exhaustive) 1721 del vars, 4601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.36/5.47	c (round 135, fast)       1721 del vars, 4626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.46/5.52	c (round 136, exhaustive) 1746 del vars, 4626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.46/5.52	c (round 137, fast)       1746 del vars, 4651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.46/5.58	c (round 138, exhaustive) 1771 del vars, 4651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.46/5.58	c (round 139, fast)       1771 del vars, 4676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.56/5.64	c (round 140, exhaustive) 1796 del vars, 4676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.56/5.64	c (round 141, fast)       1796 del vars, 4701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.56/5.69	c (round 142, exhaustive) 1821 del vars, 4701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.56/5.69	c (round 143, fast)       1821 del vars, 4726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.67/5.74	c (round 144, exhaustive) 1846 del vars, 4726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.67/5.74	c (round 145, fast)       1846 del vars, 4751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.67/5.79	c (round 146, exhaustive) 1871 del vars, 4751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.77/5.80	c (round 147, fast)       1871 del vars, 4776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.77/5.85	c (round 148, exhaustive) 1896 del vars, 4776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.77/5.85	c (round 149, fast)       1896 del vars, 4801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.87/5.90	c (round 150, exhaustive) 1921 del vars, 4801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.87/5.90	c (round 151, fast)       1921 del vars, 4826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.87/5.95	c (round 152, exhaustive) 1946 del vars, 4826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.87/5.95	c (round 153, fast)       1946 del vars, 4851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.87/6.01	c (round 154, exhaustive) 1971 del vars, 4851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.98/6.01	c (round 155, fast)       1971 del vars, 4876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.98/6.06	c (round 156, exhaustive) 1996 del vars, 4876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
5.98/6.06	c (round 157, fast)       1996 del vars, 4901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
6.08/6.12	c (round 158, exhaustive) 2021 del vars, 4901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
6.08/6.12	c (round 159, fast)       2021 del vars, 4926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30382 clqs
6.08/6.17	c (round 160, exhaustive) 2046 del vars, 4926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
6.08/6.18	c (round 161, fast)       2046 del vars, 4951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
6.17/6.24	c    (6.2s) probing: 5000/10554 (47.4%) - 17 fixings, 1932 aggregations, 26346 implications, 0 bound changes
6.17/6.24	c (round 162, exhaustive) 2071 del vars, 4951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.17/6.24	c (round 163, fast)       2071 del vars, 4976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.27/6.31	c (round 164, exhaustive) 2096 del vars, 4976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.27/6.31	c (round 165, fast)       2096 del vars, 5001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.27/6.36	c (round 166, exhaustive) 2121 del vars, 5001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.27/6.36	c (round 167, fast)       2121 del vars, 5026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.37/6.41	c (round 168, exhaustive) 2146 del vars, 5026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.37/6.41	c (round 169, fast)       2146 del vars, 5051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.37/6.45	c (round 170, exhaustive) 2171 del vars, 5051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.37/6.46	c (round 171, fast)       2171 del vars, 5076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.47/6.51	c (round 172, exhaustive) 2196 del vars, 5076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.47/6.51	c (round 173, fast)       2196 del vars, 5101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.47/6.56	c (round 174, exhaustive) 2221 del vars, 5101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.47/6.56	c (round 175, fast)       2221 del vars, 5126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.56/6.61	c (round 176, exhaustive) 2246 del vars, 5126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.56/6.61	c (round 177, fast)       2246 del vars, 5151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.56/6.66	c (round 178, exhaustive) 2271 del vars, 5151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.56/6.66	c (round 179, fast)       2271 del vars, 5176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.66/6.71	c (round 180, exhaustive) 2296 del vars, 5176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.66/6.71	c (round 181, fast)       2296 del vars, 5201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.66/6.76	c (round 182, exhaustive) 2321 del vars, 5201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.66/6.76	c (round 183, fast)       2321 del vars, 5226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.76/6.82	c (round 184, exhaustive) 2346 del vars, 5226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.76/6.82	c (round 185, fast)       2346 del vars, 5251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.76/6.86	c (round 186, exhaustive) 2371 del vars, 5251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.76/6.87	c (round 187, fast)       2371 del vars, 5276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.86/6.91	c (round 188, exhaustive) 2396 del vars, 5276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.86/6.92	c (round 189, fast)       2396 del vars, 5301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.86/6.97	c (round 190, exhaustive) 2421 del vars, 5301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.86/6.97	c (round 191, fast)       2421 del vars, 5326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.98/7.01	c (round 192, exhaustive) 2446 del vars, 5326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.98/7.02	c (round 193, fast)       2446 del vars, 5351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.98/7.07	c (round 194, exhaustive) 2471 del vars, 5351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
6.98/7.07	c (round 195, fast)       2471 del vars, 5376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.07/7.11	c (round 196, exhaustive) 2496 del vars, 5376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.07/7.12	c (round 197, fast)       2496 del vars, 5401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.07/7.16	c (round 198, exhaustive) 2521 del vars, 5401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.07/7.16	c (round 199, fast)       2521 del vars, 5426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.16/7.21	c (round 200, exhaustive) 2546 del vars, 5426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.16/7.21	c (round 201, fast)       2546 del vars, 5451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.16/7.24	c    (7.2s) probing: 6000/10554 (56.9%) - 17 fixings, 2420 aggregations, 26347 implications, 0 bound changes
7.16/7.26	c (round 202, exhaustive) 2571 del vars, 5451 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.16/7.26	c (round 203, fast)       2571 del vars, 5476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.26/7.31	c (round 204, exhaustive) 2596 del vars, 5476 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.26/7.31	c (round 205, fast)       2596 del vars, 5501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.26/7.36	c (round 206, exhaustive) 2621 del vars, 5501 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.26/7.36	c (round 207, fast)       2621 del vars, 5526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.36/7.41	c (round 208, exhaustive) 2646 del vars, 5526 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.36/7.41	c (round 209, fast)       2646 del vars, 5551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.36/7.45	c (round 210, exhaustive) 2671 del vars, 5551 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.36/7.46	c (round 211, fast)       2671 del vars, 5576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.46/7.50	c (round 212, exhaustive) 2696 del vars, 5576 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.46/7.50	c (round 213, fast)       2696 del vars, 5601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.46/7.55	c (round 214, exhaustive) 2721 del vars, 5601 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.46/7.55	c (round 215, fast)       2721 del vars, 5626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.60	c (round 216, exhaustive) 2746 del vars, 5626 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.60	c (round 217, fast)       2746 del vars, 5651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.64	c (round 218, exhaustive) 2771 del vars, 5651 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.64	c (round 219, fast)       2771 del vars, 5676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.69	c (round 220, exhaustive) 2796 del vars, 5676 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.56/7.69	c (round 221, fast)       2796 del vars, 5701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.66/7.74	c (round 222, exhaustive) 2821 del vars, 5701 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.66/7.74	c (round 223, fast)       2821 del vars, 5726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.66/7.79	c (round 224, exhaustive) 2846 del vars, 5726 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.66/7.79	c (round 225, fast)       2846 del vars, 5751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.76/7.83	c (round 226, exhaustive) 2871 del vars, 5751 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.76/7.84	c (round 227, fast)       2871 del vars, 5776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.76/7.88	c (round 228, exhaustive) 2896 del vars, 5776 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.76/7.89	c (round 229, fast)       2896 del vars, 5801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.86/7.93	c (round 230, exhaustive) 2921 del vars, 5801 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.86/7.93	c (round 231, fast)       2921 del vars, 5826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.86/7.97	c (round 232, exhaustive) 2946 del vars, 5826 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.86/7.98	c (round 233, fast)       2946 del vars, 5851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.97/8.02	c (round 234, exhaustive) 2971 del vars, 5851 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.97/8.03	c (round 235, fast)       2971 del vars, 5876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.97/8.07	c (round 236, exhaustive) 2996 del vars, 5876 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
7.97/8.08	c (round 237, fast)       2996 del vars, 5901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
8.07/8.12	c (round 238, exhaustive) 3021 del vars, 5901 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
8.07/8.12	c (round 239, fast)       3021 del vars, 5926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
8.07/8.15	c    (8.1s) probing: 7000/10554 (66.3%) - 17 fixings, 2897 aggregations, 26348 implications, 0 bound changes
8.07/8.17	c (round 240, exhaustive) 3046 del vars, 5926 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
8.07/8.17	c (round 241, fast)       3046 del vars, 5951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30384 clqs
8.16/8.21	c (round 242, exhaustive) 3071 del vars, 5951 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.16/8.21	c (round 243, fast)       3071 del vars, 5976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.16/8.26	c (round 244, exhaustive) 3096 del vars, 5976 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.16/8.26	c (round 245, fast)       3096 del vars, 6001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.30	c (round 246, exhaustive) 3121 del vars, 6001 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.30	c (round 247, fast)       3121 del vars, 6026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.34	c (round 248, exhaustive) 3146 del vars, 6026 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.35	c (round 249, fast)       3146 del vars, 6051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.39	c (round 250, exhaustive) 3171 del vars, 6051 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.26/8.39	c (round 251, fast)       3171 del vars, 6076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.36/8.43	c (round 252, exhaustive) 3196 del vars, 6076 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.36/8.44	c (round 253, fast)       3196 del vars, 6101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.36/8.48	c (round 254, exhaustive) 3221 del vars, 6101 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.36/8.48	c (round 255, fast)       3221 del vars, 6126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.46/8.52	c (round 256, exhaustive) 3246 del vars, 6126 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.46/8.52	c (round 257, fast)       3246 del vars, 6151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.46/8.57	c (round 258, exhaustive) 3271 del vars, 6151 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.46/8.57	c (round 259, fast)       3271 del vars, 6176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.56/8.61	c (round 260, exhaustive) 3296 del vars, 6176 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.56/8.61	c (round 261, fast)       3296 del vars, 6201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.56/8.66	c (round 262, exhaustive) 3321 del vars, 6201 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.56/8.66	c (round 263, fast)       3321 del vars, 6226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.70	c (round 264, exhaustive) 3346 del vars, 6226 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.70	c (round 265, fast)       3346 del vars, 6251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.74	c (round 266, exhaustive) 3371 del vars, 6251 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.75	c (round 267, fast)       3371 del vars, 6276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.79	c (round 268, exhaustive) 3396 del vars, 6276 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.66/8.79	c (round 269, fast)       3396 del vars, 6301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.76/8.83	c (round 270, exhaustive) 3421 del vars, 6301 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.76/8.83	c (round 271, fast)       3421 del vars, 6326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.76/8.87	c (round 272, exhaustive) 3446 del vars, 6326 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.76/8.87	c (round 273, fast)       3446 del vars, 6351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.86/8.92	c (round 274, exhaustive) 3471 del vars, 6351 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.86/8.92	c (round 275, fast)       3471 del vars, 6376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.86/8.96	c (round 276, exhaustive) 3496 del vars, 6376 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.86/8.96	c (round 277, fast)       3496 del vars, 6401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.86/9.00	c (round 278, exhaustive) 3521 del vars, 6401 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.97/9.01	c (round 279, fast)       3521 del vars, 6426 del conss, 956 add conss, 3515 chg bounds, 184 chg sides, 382 chg coeffs, 6780 upgd conss, 3516 impls, 30383 clqs
8.97/9.05	c    (9.0s) probing: 8000/10554 (75.8%) - 17 fixings, 3387 aggregations, 27042 implications, 0 bound changes
9.85/9.93	c    (9.9s) probing: 8964/10554 (84.9%) - 17 fixings, 3387 aggregations, 39066 implications, 0 bound changes
9.85/9.93	c    (9.9s) probing aborted: 1000/1000 successive useless probings
9.85/9.93	c    (9.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
9.85/9.94	c    (9.9s) no symmetry present (symcode time: 0.00)
9.85/9.95	c presolving (280 rounds: 280 fast, 141 medium, 140 exhaustive):
9.85/9.95	c  3525 deleted vars, 6426 deleted constraints, 956 added constraints, 3515 tightened bounds, 0 added holes, 184 changed sides, 382 changed coefficients
9.85/9.95	c  3516 implications, 39945 cliques
9.85/9.95	c presolved problem has 7243 variables (7123 bin, 0 int, 120 impl, 0 cont) and 8498 constraints
9.85/9.95	c     248 constraints of type <knapsack>
9.85/9.95	c    2479 constraints of type <setppc>
9.85/9.95	c     917 constraints of type <and>
9.85/9.95	c    3497 constraints of type <linear>
9.85/9.95	c    1208 constraints of type <logicor>
9.85/9.95	c     149 constraints of type <indicator>
9.85/9.95	c transformed objective value is always integral (scale: 1)
9.85/9.95	c Presolving Time: 9.82
9.85/9.95	c - non default parameters ----------------------------------------------------------------------
9.85/9.95	c # SCIP version 10.0.0
9.85/9.95	c 
9.85/9.95	c # maximal time in seconds to run
9.85/9.95	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.85/9.95	c limits/time = 3596.993088
9.85/9.95	c 
9.85/9.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.85/9.95	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.85/9.95	c limits/memory = 27900
9.85/9.95	c 
9.85/9.95	c # belongs reading time to solving time?
9.85/9.95	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.85/9.95	c timing/reading = TRUE
9.85/9.95	c 
9.85/9.95	c -----------------------------------------------------------------------------------------------
9.85/9.95	c start solving
9.85/9.95	c 
10.07/10.17	o 177262
10.07/10.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.07/10.17	c p10.2s|     1 |     0 |     0 |     - |   locks|   0 |7243 |8504 |9386 |   0 |  0 |   6 |   0 | 0.000000e+00 | 1.772620e+05 |    Inf | unknown
10.15/10.29	o 19817
10.15/10.29	c i10.3s|     1 |     0 |     0 |     - |  oneopt|   0 |7243 |8533 |9386 |   0 |  0 |  35 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
10.65/10.70	c  10.7s|     1 |     0 |  1115 |     - |    98M |   0 |7243 |8533 |9386 |   0 |  0 |  35 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
10.85/11.00	c  11.0s|     1 |     0 |  1619 |     - |   105M |   0 |7243 |8534 |9487 | 101 |  1 |  36 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
11.25/11.33	c  11.3s|     1 |     0 |  2050 |     - |   113M |   0 |7243 |8535 |9558 | 172 |  2 |  37 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
11.45/11.58	c  11.6s|     1 |     0 |  2240 |     - |   115M |   0 |7243 |8536 |9615 | 229 |  3 |  38 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
11.84/11.98	c  12.0s|     1 |     0 |  2678 |     - |   124M |   0 |7243 |8537 |9670 | 284 |  4 |  39 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
12.24/12.34	c  12.3s|     1 |     0 |  3024 |     - |   131M |   0 |7243 |8538 |9725 | 339 |  5 |  40 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
12.74/12.85	c  12.8s|     1 |     0 |  3320 |     - |   142M |   0 |7243 |8539 |9773 | 387 |  6 |  41 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
13.34/13.42	c  13.4s|     1 |     0 |  3804 |     - |   155M |   0 |7243 |8540 |9806 | 420 |  7 |  42 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
13.83/13.91	c  13.9s|     1 |     0 |  4047 |     - |   166M |   0 |7243 |8541 |9860 | 474 |  8 |  43 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
14.33/14.40	c  14.4s|     1 |     0 |  4296 |     - |   175M |   0 |7243 |8542 |9892 | 506 |  9 |  44 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
14.74/14.83	c  14.8s|     1 |     0 |  4602 |     - |   178M |   0 |7243 |8543 |9934 | 548 | 10 |  45 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
14.84/14.99	c  15.0s|     1 |     0 |  4717 |     - |   179M |   0 |7243 |8544 |9934 | 581 | 11 |  46 |   0 | 0.000000e+00 | 1.981700e+04 |    Inf | unknown
20.82/20.96	o 922
20.82/20.96	c d21.0s|     1 |     0 | 15783 |     - |farkasdi|   0 |7243 |8551 |9934 |   0 | 11 |  53 |   0 | 0.000000e+00 | 9.220000e+02 |    Inf | unknown
23.41/23.59	o 825
23.41/23.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.41/23.59	c L23.6s|     1 |     0 | 24991 |     - |    alns|   0 |7243 |8552 |9934 | 581 | 11 |  54 |   0 | 0.000000e+00 | 8.250000e+02 |    Inf | unknown
23.51/23.60	c  23.6s|     1 |     0 | 24991 |     - |   182M |   0 |7243 |8552 |9934 | 581 | 11 |  54 |   0 | 0.000000e+00 | 8.250000e+02 |    Inf | unknown
23.81/23.91	c  23.9s|     1 |     0 | 25118 |     - |   182M |   0 |7243 |8553 |9956 | 603 | 12 |  55 |   0 | 0.000000e+00 | 8.250000e+02 |    Inf | unknown
23.81/23.95	c  23.9s|     1 |     0 | 25155 |     - |   182M |   0 |7243 |8555 |9962 | 609 | 13 |  57 |   0 | 0.000000e+00 | 8.250000e+02 |    Inf | unknown
30.39/30.52	c  30.5s|     1 |     2 | 25242 |     - |   182M |   0 |7243 |8557 |9962 | 609 | 13 |  59 |  46 | 0.000000e+00 | 8.250000e+02 |    Inf | unknown
60.81/61.04	o 234
60.81/61.04	c r61.0s|    41 |    40 | 38318 | 835.9 |shifting|  40 |7243 |8557 |  10k| 930 |  0 |  59 | 298 | 0.000000e+00 | 2.340000e+02 |    Inf | unknown
60.81/61.10	o 199
60.81/61.10	c i61.1s|    41 |    40 | 39469 | 864.7 |  oneopt|  40 |7243 |8557 |  10k| 936 |  1 |  59 | 298 | 0.000000e+00 | 1.990000e+02 |    Inf | unknown
60.99/61.26	o 153
60.99/61.26	c r61.3s|    41 |    40 | 39547 | 866.6 |shifting|  40 |7243 |8557 |  10k| 962 |  5 |  59 | 298 | 0.000000e+00 | 1.530000e+02 |    Inf | unknown
60.99/61.27	c   [indicator] <pseudoboolean10164_rhs_ind>: <t_indicatorvar3425> = 0 -> <indslack_pseudoboolean10164_rhs_ind> = 0 (<indlin_pseudoboolean10164_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3425_neg> = 1 and <indslack_pseudoboolean10164_rhs_ind> = 2
60.99/61.27	c   [indicator] <pseudoboolean10301_rhs_ind>: <t_indicatorvar3468> = 0 -> <indslack_pseudoboolean10301_rhs_ind> = 0 (<indlin_pseudoboolean10301_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3468_neg> = 1 and <indslack_pseudoboolean10301_rhs_ind> = 4
60.99/61.27	c   [indicator] <pseudoboolean10109_rhs_ind>: <t_indicatorvar3400> = 0 -> <indslack_pseudoboolean10109_rhs_ind> = 0 (<indlin_pseudoboolean10109_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3400_neg> = 1 and <indslack_pseudoboolean10109_rhs_ind> = 23
60.99/61.27	c   [indicator] <pseudoboolean10117_rhs_ind>: <t_indicatorvar3404> = 0 -> <indslack_pseudoboolean10117_rhs_ind> = 0 (<indlin_pseudoboolean10117_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3404_neg> = 1 and <indslack_pseudoboolean10117_rhs_ind> = 7
60.99/61.27	c   [indicator] <pseudoboolean10355_rhs_ind>: <t_indicatorvar3481> = 0 -> <indslack_pseudoboolean10355_rhs_ind> = 0 (<indlin_pseudoboolean10355_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3481_neg> = 1 and <indslack_pseudoboolean10355_rhs_ind> = 1
60.99/61.27	c   [indicator] <pseudoboolean10436_rhs_ind>: <t_indicatorvar3512> = 0 -> <indslack_pseudoboolean10436_rhs_ind> = 0 (<indlin_pseudoboolean10436_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3512_neg> = 1 and <indslack_pseudoboolean10436_rhs_ind> = 8
60.99/61.27	c   [indicator] <pseudoboolean10432_rhs_ind>: <t_indicatorvar3509> = 0 -> <indslack_pseudoboolean10432_rhs_ind> = 0 (<indlin_pseudoboolean10432_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3509_neg> = 1 and <indslack_pseudoboolean10432_rhs_ind> = 5
60.99/61.27	c   [indicator] <pseudoboolean10266_rhs_ind>: <t_indicatorvar3458> = 0 -> <indslack_pseudoboolean10266_rhs_ind> = 0 (<indlin_pseudoboolean10266_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3458_neg> = 1 and <indslack_pseudoboolean10266_rhs_ind> = 16
60.99/61.27	c   [indicator] <pseudoboolean10312_rhs_ind>: <t_indicatorvar3470> = 0 -> <indslack_pseudoboolean10312_rhs_ind> = 0 (<indlin_pseudoboolean10312_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3470_neg> = 1 and <indslack_pseudoboolean10312_rhs_ind> = 16
60.99/61.27	c   [indicator] <pseudoboolean10219_rhs_ind>: <t_indicatorvar3443> = 0 -> <indslack_pseudoboolean10219_rhs_ind> = 0 (<indlin_pseudoboolean10219_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3443_neg> = 1 and <indslack_pseudoboolean10219_rhs_ind> = 24
60.99/61.27	c   [indicator] <pseudoboolean10169_rhs_ind>: <t_indicatorvar3428> = 0 -> <indslack_pseudoboolean10169_rhs_ind> = 0 (<indlin_pseudoboolean10169_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3428_neg> = 1 and <indslack_pseudoboolean10169_rhs_ind> = 8
60.99/61.27	c   [indicator] <pseudoboolean10392_rhs_ind>: <t_indicatorvar3494> = 0 -> <indslack_pseudoboolean10392_rhs_ind> = 0 (<indlin_pseudoboolean10392_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3494_neg> = 1 and <indslack_pseudoboolean10392_rhs_ind> = 5
60.99/61.27	c   [indicator] <pseudoboolean10144_rhs_ind>: <t_indicatorvar3418> = 0 -> <indslack_pseudoboolean10144_rhs_ind> = 0 (<indlin_pseudoboolean10144_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3418_neg> = 1 and <indslack_pseudoboolean10144_rhs_ind> = 2
60.99/61.27	c   [indicator] <pseudoboolean10125_rhs_ind>: <t_indicatorvar3409> = 0 -> <indslack_pseudoboolean10125_rhs_ind> = 0 (<indlin_pseudoboolean10125_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3409_neg> = 1 and <indslack_pseudoboolean10125_rhs_ind> = 6
60.99/61.27	c   [indicator] <pseudoboolean10116_rhs_ind>: <t_indicatorvar3403> = 0 -> <indslack_pseudoboolean10116_rhs_ind> = 0 (<indlin_pseudoboolean10116_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3403_neg> = 1 and <indslack_pseudoboolean10116_rhs_ind> = 4
60.99/61.27	c   [indicator] <pseudoboolean10172_rhs_ind>: <t_indicatorvar3429> = 0 -> <indslack_pseudoboolean10172_rhs_ind> = 0 (<indlin_pseudoboolean10172_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3429_neg> = 1 and <indslack_pseudoboolean10172_rhs_ind> = 9
60.99/61.27	c   [indicator] <pseudoboolean10290_rhs_ind>: <t_indicatorvar3466> = 0 -> <indslack_pseudoboolean10290_rhs_ind> = 0 (<indlin_pseudoboolean10290_rhs_ind>);
60.99/61.27	c violation:  <t_indicatorvar3466_neg> = 1 and <indslack_pseudoboolean10290_rhs_ind> = 8
60.99/61.28	c   [indicator] <pseudoboolean10123_rhs_ind>: <t_indicatorvar3408> = 0 -> <indslack_pseudoboolean10123_rhs_ind> = 0 (<indlin_pseudoboolean10123_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3408_neg> = 1 and <indslack_pseudoboolean10123_rhs_ind> = 16
60.99/61.28	c   [indicator] <pseudoboolean10430_rhs_ind>: <t_indicatorvar3508> = 0 -> <indslack_pseudoboolean10430_rhs_ind> = 0 (<indlin_pseudoboolean10430_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3508_neg> = 1 and <indslack_pseudoboolean10430_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10208_rhs_ind>: <t_indicatorvar3440> = 0 -> <indslack_pseudoboolean10208_rhs_ind> = 0 (<indlin_pseudoboolean10208_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3440_neg> = 1 and <indslack_pseudoboolean10208_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10120_rhs_ind>: <t_indicatorvar3407> = 0 -> <indslack_pseudoboolean10120_rhs_ind> = 0 (<indlin_pseudoboolean10120_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3407_neg> = 1 and <indslack_pseudoboolean10120_rhs_ind> = 8
60.99/61.28	c   [indicator] <pseudoboolean10150_rhs_ind>: <t_indicatorvar3420> = 0 -> <indslack_pseudoboolean10150_rhs_ind> = 0 (<indlin_pseudoboolean10150_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3420_neg> = 1 and <indslack_pseudoboolean10150_rhs_ind> = 16
60.99/61.28	c   [indicator] <pseudoboolean10226_rhs_ind>: <t_indicatorvar3446> = 0 -> <indslack_pseudoboolean10226_rhs_ind> = 0 (<indlin_pseudoboolean10226_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3446_neg> = 1 and <indslack_pseudoboolean10226_rhs_ind> = 6
60.99/61.28	c   [indicator] <pseudoboolean10391_rhs_ind>: <t_indicatorvar3493> = 0 -> <indslack_pseudoboolean10391_rhs_ind> = 0 (<indlin_pseudoboolean10391_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3493_neg> = 1 and <indslack_pseudoboolean10391_rhs_ind> = 5
60.99/61.28	c   [indicator] <pseudoboolean10249_rhs_ind>: <t_indicatorvar3454> = 0 -> <indslack_pseudoboolean10249_rhs_ind> = 0 (<indlin_pseudoboolean10249_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3454_neg> = 1 and <indslack_pseudoboolean10249_rhs_ind> = 9
60.99/61.28	c   [indicator] <pseudoboolean10444_rhs_ind>: <t_indicatorvar3513> = 0 -> <indslack_pseudoboolean10444_rhs_ind> = 0 (<indlin_pseudoboolean10444_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3513_neg> = 1 and <indslack_pseudoboolean10444_rhs_ind> = 27
60.99/61.28	c   [indicator] <pseudoboolean10372_rhs_ind>: <t_indicatorvar3488> = 0 -> <indslack_pseudoboolean10372_rhs_ind> = 0 (<indlin_pseudoboolean10372_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3488_neg> = 1 and <indslack_pseudoboolean10372_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10259_rhs_ind>: <t_indicatorvar3455> = 0 -> <indslack_pseudoboolean10259_rhs_ind> = 0 (<indlin_pseudoboolean10259_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3455_neg> = 1 and <indslack_pseudoboolean10259_rhs_ind> = 19
60.99/61.28	c   [indicator] <pseudoboolean10365_rhs_ind>: <t_indicatorvar3484> = 0 -> <indslack_pseudoboolean10365_rhs_ind> = 0 (<indlin_pseudoboolean10365_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3484_neg> = 1 and <indslack_pseudoboolean10365_rhs_ind> = 31
60.99/61.28	c   [indicator] <pseudoboolean10194_rhs_ind>: <t_indicatorvar3435> = 0 -> <indslack_pseudoboolean10194_rhs_ind> = 0 (<indlin_pseudoboolean10194_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3435_neg> = 1 and <indslack_pseudoboolean10194_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10395_rhs_ind>: <t_indicatorvar3495> = 0 -> <indslack_pseudoboolean10395_rhs_ind> = 0 (<indlin_pseudoboolean10395_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3495_neg> = 1 and <indslack_pseudoboolean10395_rhs_ind> = 14
60.99/61.28	c   [indicator] <pseudoboolean10113_rhs_ind>: <t_indicatorvar3402> = 0 -> <indslack_pseudoboolean10113_rhs_ind> = 0 (<indlin_pseudoboolean10113_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3402_neg> = 1 and <indslack_pseudoboolean10113_rhs_ind> = 3
60.99/61.28	c   [indicator] <pseudoboolean10375_rhs_ind>: <t_indicatorvar3490> = 0 -> <indslack_pseudoboolean10375_rhs_ind> = 0 (<indlin_pseudoboolean10375_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3490_neg> = 1 and <indslack_pseudoboolean10375_rhs_ind> = 5
60.99/61.28	c   [indicator] <pseudoboolean10333_rhs_ind>: <t_indicatorvar3474> = 0 -> <indslack_pseudoboolean10333_rhs_ind> = 0 (<indlin_pseudoboolean10333_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3474_neg> = 1 and <indslack_pseudoboolean10333_rhs_ind> = 30
60.99/61.28	c   [indicator] <pseudoboolean10433_rhs_ind>: <t_indicatorvar3510> = 0 -> <indslack_pseudoboolean10433_rhs_ind> = 0 (<indlin_pseudoboolean10433_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3510_neg> = 1 and <indslack_pseudoboolean10433_rhs_ind> = 7
60.99/61.28	c   [indicator] <pseudoboolean10204_rhs_ind>: <t_indicatorvar3439> = 0 -> <indslack_pseudoboolean10204_rhs_ind> = 0 (<indlin_pseudoboolean10204_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3439_neg> = 1 and <indslack_pseudoboolean10204_rhs_ind> = 5
60.99/61.28	c   [indicator] <pseudoboolean10271_rhs_ind>: <t_indicatorvar3460> = 0 -> <indslack_pseudoboolean10271_rhs_ind> = 0 (<indlin_pseudoboolean10271_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3460_neg> = 1 and <indslack_pseudoboolean10271_rhs_ind> = 15
60.99/61.28	c   [indicator] <pseudoboolean10311_rhs_ind>: <t_indicatorvar3469> = 0 -> <indslack_pseudoboolean10311_rhs_ind> = 0 (<indlin_pseudoboolean10311_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3469_neg> = 1 and <indslack_pseudoboolean10311_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10417_rhs_ind>: <t_indicatorvar3504> = 0 -> <indslack_pseudoboolean10417_rhs_ind> = 0 (<indlin_pseudoboolean10417_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3504_neg> = 1 and <indslack_pseudoboolean10417_rhs_ind> = 7
60.99/61.28	c   [indicator] <pseudoboolean10398_rhs_ind>: <t_indicatorvar3497> = 0 -> <indslack_pseudoboolean10398_rhs_ind> = 0 (<indlin_pseudoboolean10398_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3497_neg> = 1 and <indslack_pseudoboolean10398_rhs_ind> = 23
60.99/61.28	c   [indicator] <pseudoboolean10139_rhs_ind>: <t_indicatorvar3416> = 0 -> <indslack_pseudoboolean10139_rhs_ind> = 0 (<indlin_pseudoboolean10139_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3416_neg> = 1 and <indslack_pseudoboolean10139_rhs_ind> = 20
60.99/61.28	c   [indicator] <pseudoboolean10165_rhs_ind>: <t_indicatorvar3426> = 0 -> <indslack_pseudoboolean10165_rhs_ind> = 0 (<indlin_pseudoboolean10165_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3426_neg> = 1 and <indslack_pseudoboolean10165_rhs_ind> = 6
60.99/61.28	c   [indicator] <pseudoboolean10278_rhs_ind>: <t_indicatorvar3463> = 0 -> <indslack_pseudoboolean10278_rhs_ind> = 0 (<indlin_pseudoboolean10278_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3463_neg> = 1 and <indslack_pseudoboolean10278_rhs_ind> = 3
60.99/61.28	c   [indicator] <pseudoboolean10373_rhs_ind>: <t_indicatorvar3489> = 0 -> <indslack_pseudoboolean10373_rhs_ind> = 0 (<indlin_pseudoboolean10373_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3489_neg> = 1 and <indslack_pseudoboolean10373_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10196_rhs_ind>: <t_indicatorvar3436> = 0 -> <indslack_pseudoboolean10196_rhs_ind> = 0 (<indlin_pseudoboolean10196_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3436_neg> = 1 and <indslack_pseudoboolean10196_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10126_rhs_ind>: <t_indicatorvar3410> = 0 -> <indslack_pseudoboolean10126_rhs_ind> = 0 (<indlin_pseudoboolean10126_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3410_neg> = 1 and <indslack_pseudoboolean10126_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10148_rhs_ind>: <t_indicatorvar3419> = 0 -> <indslack_pseudoboolean10148_rhs_ind> = 0 (<indlin_pseudoboolean10148_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3419_neg> = 1 and <indslack_pseudoboolean10148_rhs_ind> = 31
60.99/61.28	c   [indicator] <pseudoboolean10179_rhs_ind>: <t_indicatorvar3431> = 0 -> <indslack_pseudoboolean10179_rhs_ind> = 0 (<indlin_pseudoboolean10179_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3431_neg> = 1 and <indslack_pseudoboolean10179_rhs_ind> = 17
60.99/61.28	c   [indicator] <pseudoboolean10425_rhs_ind>: <t_indicatorvar3507> = 0 -> <indslack_pseudoboolean10425_rhs_ind> = 0 (<indlin_pseudoboolean10425_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3507_neg> = 1 and <indslack_pseudoboolean10425_rhs_ind> = 10
60.99/61.28	c   [indicator] <pseudoboolean10410_rhs_ind>: <t_indicatorvar3501> = 0 -> <indslack_pseudoboolean10410_rhs_ind> = 0 (<indlin_pseudoboolean10410_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3501_neg> = 1 and <indslack_pseudoboolean10410_rhs_ind> = 6
60.99/61.28	c   [indicator] <pseudoboolean10191_rhs_ind>: <t_indicatorvar3434> = 0 -> <indslack_pseudoboolean10191_rhs_ind> = 0 (<indlin_pseudoboolean10191_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3434_neg> = 1 and <indslack_pseudoboolean10191_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10291_rhs_ind>: <t_indicatorvar3467> = 0 -> <indslack_pseudoboolean10291_rhs_ind> = 0 (<indlin_pseudoboolean10291_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3467_neg> = 1 and <indslack_pseudoboolean10291_rhs_ind> = 9
60.99/61.28	c   [indicator] <pseudoboolean10178_rhs_ind>: <t_indicatorvar3430> = 0 -> <indslack_pseudoboolean10178_rhs_ind> = 0 (<indlin_pseudoboolean10178_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3430_neg> = 1 and <indslack_pseudoboolean10178_rhs_ind> = 16
60.99/61.28	c   [indicator] <pseudoboolean10183_rhs_ind>: <t_indicatorvar3432> = 0 -> <indslack_pseudoboolean10183_rhs_ind> = 0 (<indlin_pseudoboolean10183_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3432_neg> = 1 and <indslack_pseudoboolean10183_rhs_ind> = 3
60.99/61.28	c   [indicator] <pseudoboolean10420_rhs_ind>: <t_indicatorvar3506> = 0 -> <indslack_pseudoboolean10420_rhs_ind> = 0 (<indlin_pseudoboolean10420_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3506_neg> = 1 and <indslack_pseudoboolean10420_rhs_ind> = 8
60.99/61.28	c   [indicator] <pseudoboolean10245_rhs_ind>: <t_indicatorvar3452> = 0 -> <indslack_pseudoboolean10245_rhs_ind> = 0 (<indlin_pseudoboolean10245_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3452_neg> = 1 and <indslack_pseudoboolean10245_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10340_rhs_ind>: <t_indicatorvar3476> = 0 -> <indslack_pseudoboolean10340_rhs_ind> = 0 (<indlin_pseudoboolean10340_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3476_neg> = 1 and <indslack_pseudoboolean10340_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10275_rhs_ind>: <t_indicatorvar3462> = 0 -> <indslack_pseudoboolean10275_rhs_ind> = 0 (<indlin_pseudoboolean10275_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3462_neg> = 1 and <indslack_pseudoboolean10275_rhs_ind> = 6
60.99/61.28	c   [indicator] <pseudoboolean10102_rhs_ind>: <t_indicatorvar3398> = 0 -> <indslack_pseudoboolean10102_rhs_ind> = 0 (<indlin_pseudoboolean10102_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3398_neg> = 1 and <indslack_pseudoboolean10102_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10371_rhs_ind>: <t_indicatorvar3487> = 0 -> <indslack_pseudoboolean10371_rhs_ind> = 0 (<indlin_pseudoboolean10371_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3487_neg> = 1 and <indslack_pseudoboolean10371_rhs_ind> = 8
60.99/61.28	c   [indicator] <pseudoboolean10131_rhs_ind>: <t_indicatorvar3412> = 0 -> <indslack_pseudoboolean10131_rhs_ind> = 0 (<indlin_pseudoboolean10131_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3412_neg> = 1 and <indslack_pseudoboolean10131_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10201_rhs_ind>: <t_indicatorvar3438> = 0 -> <indslack_pseudoboolean10201_rhs_ind> = 0 (<indlin_pseudoboolean10201_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3438_neg> = 1 and <indslack_pseudoboolean10201_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10118_rhs_ind>: <t_indicatorvar3405> = 0 -> <indslack_pseudoboolean10118_rhs_ind> = 0 (<indlin_pseudoboolean10118_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3405_neg> = 1 and <indslack_pseudoboolean10118_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10418_rhs_ind>: <t_indicatorvar3505> = 0 -> <indslack_pseudoboolean10418_rhs_ind> = 0 (<indlin_pseudoboolean10418_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3505_neg> = 1 and <indslack_pseudoboolean10418_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10273_rhs_ind>: <t_indicatorvar3461> = 0 -> <indslack_pseudoboolean10273_rhs_ind> = 0 (<indlin_pseudoboolean10273_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3461_neg> = 1 and <indslack_pseudoboolean10273_rhs_ind> = 3
60.99/61.28	c   [indicator] <pseudoboolean10103_rhs_ind>: <t_indicatorvar3399> = 0 -> <indslack_pseudoboolean10103_rhs_ind> = 0 (<indlin_pseudoboolean10103_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3399_neg> = 1 and <indslack_pseudoboolean10103_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10233_rhs_ind>: <t_indicatorvar3450> = 0 -> <indslack_pseudoboolean10233_rhs_ind> = 0 (<indlin_pseudoboolean10233_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3450_neg> = 1 and <indslack_pseudoboolean10233_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10354_rhs_ind>: <t_indicatorvar3480> = 0 -> <indslack_pseudoboolean10354_rhs_ind> = 0 (<indlin_pseudoboolean10354_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3480_neg> = 1 and <indslack_pseudoboolean10354_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10119_rhs_ind>: <t_indicatorvar3406> = 0 -> <indslack_pseudoboolean10119_rhs_ind> = 0 (<indlin_pseudoboolean10119_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3406_neg> = 1 and <indslack_pseudoboolean10119_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10163_rhs_ind>: <t_indicatorvar3424> = 0 -> <indslack_pseudoboolean10163_rhs_ind> = 0 (<indlin_pseudoboolean10163_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3424_neg> = 1 and <indslack_pseudoboolean10163_rhs_ind> = 16
60.99/61.28	c   [indicator] <pseudoboolean10232_rhs_ind>: <t_indicatorvar3449> = 0 -> <indslack_pseudoboolean10232_rhs_ind> = 0 (<indlin_pseudoboolean10232_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3449_neg> = 1 and <indslack_pseudoboolean10232_rhs_ind> = 14
60.99/61.28	c   [indicator] <pseudoboolean10187_rhs_ind>: <t_indicatorvar3433> = 0 -> <indslack_pseudoboolean10187_rhs_ind> = 0 (<indlin_pseudoboolean10187_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3433_neg> = 1 and <indslack_pseudoboolean10187_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10281_rhs_ind>: <t_indicatorvar3464> = 0 -> <indslack_pseudoboolean10281_rhs_ind> = 0 (<indlin_pseudoboolean10281_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3464_neg> = 1 and <indslack_pseudoboolean10281_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10453_rhs_ind>: <t_indicatorvar3515> = 0 -> <indslack_pseudoboolean10453_rhs_ind> = 0 (<indlin_pseudoboolean10453_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3515_neg> = 1 and <indslack_pseudoboolean10453_rhs_ind> = 27
60.99/61.28	c   [indicator] <pseudoboolean10317_rhs_ind>: <t_indicatorvar3471> = 0 -> <indslack_pseudoboolean10317_rhs_ind> = 0 (<indlin_pseudoboolean10317_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3471_neg> = 1 and <indslack_pseudoboolean10317_rhs_ind> = 11
60.99/61.28	c   [indicator] <pseudoboolean10269_rhs_ind>: <t_indicatorvar3459> = 0 -> <indslack_pseudoboolean10269_rhs_ind> = 0 (<indlin_pseudoboolean10269_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3459_neg> = 1 and <indslack_pseudoboolean10269_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10349_rhs_ind>: <t_indicatorvar3479> = 0 -> <indslack_pseudoboolean10349_rhs_ind> = 0 (<indlin_pseudoboolean10349_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3479_neg> = 1 and <indslack_pseudoboolean10349_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10246_rhs_ind>: <t_indicatorvar3453> = 0 -> <indslack_pseudoboolean10246_rhs_ind> = 0 (<indlin_pseudoboolean10246_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3453_neg> = 1 and <indslack_pseudoboolean10246_rhs_ind> = 14
60.99/61.28	c   [indicator] <pseudoboolean10129_rhs_ind>: <t_indicatorvar3411> = 0 -> <indslack_pseudoboolean10129_rhs_ind> = 0 (<indlin_pseudoboolean10129_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3411_neg> = 1 and <indslack_pseudoboolean10129_rhs_ind> = 7
60.99/61.28	c   [indicator] <pseudoboolean10151_rhs_ind>: <t_indicatorvar3421> = 0 -> <indslack_pseudoboolean10151_rhs_ind> = 0 (<indlin_pseudoboolean10151_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3421_neg> = 1 and <indslack_pseudoboolean10151_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10227_rhs_ind>: <t_indicatorvar3447> = 0 -> <indslack_pseudoboolean10227_rhs_ind> = 0 (<indlin_pseudoboolean10227_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3447_neg> = 1 and <indslack_pseudoboolean10227_rhs_ind> = 7
60.99/61.28	c   [indicator] <pseudoboolean10407_rhs_ind>: <t_indicatorvar3499> = 0 -> <indslack_pseudoboolean10407_rhs_ind> = 0 (<indlin_pseudoboolean10407_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3499_neg> = 1 and <indslack_pseudoboolean10407_rhs_ind> = 8
60.99/61.28	c   [indicator] <pseudoboolean10361_rhs_ind>: <t_indicatorvar3482> = 0 -> <indslack_pseudoboolean10361_rhs_ind> = 0 (<indlin_pseudoboolean10361_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3482_neg> = 1 and <indslack_pseudoboolean10361_rhs_ind> = 31
60.99/61.28	c   [indicator] <pseudoboolean10199_rhs_ind>: <t_indicatorvar3437> = 0 -> <indslack_pseudoboolean10199_rhs_ind> = 0 (<indlin_pseudoboolean10199_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3437_neg> = 1 and <indslack_pseudoboolean10199_rhs_ind> = 17
60.99/61.28	c   [indicator] <pseudoboolean10413_rhs_ind>: <t_indicatorvar3502> = 0 -> <indslack_pseudoboolean10413_rhs_ind> = 0 (<indlin_pseudoboolean10413_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3502_neg> = 1 and <indslack_pseudoboolean10413_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10228_rhs_ind>: <t_indicatorvar3448> = 0 -> <indslack_pseudoboolean10228_rhs_ind> = 0 (<indlin_pseudoboolean10228_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3448_neg> = 1 and <indslack_pseudoboolean10228_rhs_ind> = 11
60.99/61.28	c   [indicator] <pseudoboolean10344_rhs_ind>: <t_indicatorvar3477> = 0 -> <indslack_pseudoboolean10344_rhs_ind> = 0 (<indlin_pseudoboolean10344_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3477_neg> = 1 and <indslack_pseudoboolean10344_rhs_ind> = 5
60.99/61.28	c   [indicator] <pseudoboolean10262_rhs_ind>: <t_indicatorvar3456> = 0 -> <indslack_pseudoboolean10262_rhs_ind> = 0 (<indlin_pseudoboolean10262_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3456_neg> = 1 and <indslack_pseudoboolean10262_rhs_ind> = 17
60.99/61.28	c   [indicator] <pseudoboolean10092_rhs_ind>: <t_indicatorvar3396> = 0 -> <indslack_pseudoboolean10092_rhs_ind> = 0 (<indlin_pseudoboolean10092_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3396_neg> = 1 and <indslack_pseudoboolean10092_rhs_ind> = 12
60.99/61.28	c   [indicator] <pseudoboolean10136_rhs_ind>: <t_indicatorvar3414> = 0 -> <indslack_pseudoboolean10136_rhs_ind> = 0 (<indlin_pseudoboolean10136_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3414_neg> = 1 and <indslack_pseudoboolean10136_rhs_ind> = 1
60.99/61.28	c   [indicator] <pseudoboolean10094_rhs_ind>: <t_indicatorvar3397> = 0 -> <indslack_pseudoboolean10094_rhs_ind> = 0 (<indlin_pseudoboolean10094_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3397_neg> = 1 and <indslack_pseudoboolean10094_rhs_ind> = 14
60.99/61.28	c   [indicator] <pseudoboolean10409_rhs_ind>: <t_indicatorvar3500> = 0 -> <indslack_pseudoboolean10409_rhs_ind> = 0 (<indlin_pseudoboolean10409_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3500_neg> = 1 and <indslack_pseudoboolean10409_rhs_ind> = 10
60.99/61.28	c   [indicator] <pseudoboolean10166_rhs_ind>: <t_indicatorvar3427> = 0 -> <indslack_pseudoboolean10166_rhs_ind> = 0 (<indlin_pseudoboolean10166_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3427_neg> = 1 and <indslack_pseudoboolean10166_rhs_ind> = 10
60.99/61.28	c   [indicator] <pseudoboolean10414_rhs_ind>: <t_indicatorvar3503> = 0 -> <indslack_pseudoboolean10414_rhs_ind> = 0 (<indlin_pseudoboolean10414_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3503_neg> = 1 and <indslack_pseudoboolean10414_rhs_ind> = 4
60.99/61.28	c   [indicator] <pseudoboolean10435_rhs_ind>: <t_indicatorvar3511> = 0 -> <indslack_pseudoboolean10435_rhs_ind> = 0 (<indlin_pseudoboolean10435_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3511_neg> = 1 and <indslack_pseudoboolean10435_rhs_ind> = 2
60.99/61.28	c   [indicator] <pseudoboolean10134_rhs_ind>: <t_indicatorvar3413> = 0 -> <indslack_pseudoboolean10134_rhs_ind> = 0 (<indlin_pseudoboolean10134_rhs_ind>);
60.99/61.28	c violation:  <t_indicatorvar3413_neg> = 1 and <indslack_pseudoboolean10134_rhs_ind> = 1
60.99/61.29	o 118
60.99/61.29	c i61.3s|    42 |    39 | 39549 | 845.6 |  oneopt|  40 |7243 |8557 |  10k| 962 |  0 |  59 | 298 | 0.000000e+00 | 1.180000e+02 |    Inf | unknown
61.09/61.33	o 87
61.09/61.33	c r61.3s|    48 |    43 | 39572 | 738.1 |shifting|  40 |7243 |8557 |  10k| 962 |  0 |  59 | 298 | 0.000000e+00 | 8.700000e+01 |    Inf | unknown
61.29/61.56	o 3
61.29/61.56	c r61.6s|    59 |    13 | 39726 | 600.8 |shifting|  40 |7243 |8537 |  10k|1002 |  4 |  61 | 298 | 0.000000e+00 | 3.000000e+00 |    Inf | unknown
62.19/62.44	c  62.4s|   100 |    42 | 41572 | 370.6 |   208M |  44 |7243 |8334 |  10k|1134 |  1 |  77 | 298 | 0.000000e+00 | 3.000000e+00 |    Inf | unknown
62.19/62.49	o 1
62.19/62.49	c r62.5s|   108 |     8 | 41607 | 343.2 |shifting|  50 |7243 |8334 |  10k|1139 |  2 |  77 | 298 | 0.000000e+00 | 1.000000e+00 |    Inf | unknown
64.80/65.06	c  65.0s|   200 |     6 | 49764 | 225.5 |   216M |  50 |7243 |7920 |   0 |1511 |  0 | 205 | 315 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.12%
70.67/70.96	c  71.0s|   300 |     8 | 64233 | 198.5 |   239M |  50 |7243 |7036 |9945 |2542 |  2 | 392 | 360 | 0.000000e+00 | 1.000000e+00 |    Inf |  89.46%
76.77/77.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
76.77/77.08	c  77.1s|   400 |    10 | 81632 | 192.4 |   263M |  50 |7243 |7006 |9933 |3546 |  2 | 663 | 454 | 0.000000e+00 | 1.000000e+00 |    Inf |  91.29%
80.14/80.49	c  80.5s|   500 |    12 | 93174 | 176.9 |   269M |  50 |7243 |7180 |   0 |4315 |  0 | 870 | 476 | 0.000000e+00 | 1.000000e+00 |    Inf |  91.93%
85.53/85.82	c  85.8s|   600 |     4 |108398 | 172.8 |   281M |  50 |7243 |5306 |  10k|5468 |  5 |1098 | 534 | 0.000000e+00 | 1.000000e+00 |    Inf |  92.52%
86.42/86.75	c 
86.42/86.75	c SCIP Status        : problem is solved [optimal solution found]
86.42/86.75	c Solving Time (sec) : 86.74
86.42/86.75	c Solving Nodes      : 611
86.42/86.75	c Primal Bound       : +1.00000000000000e+00 (14 solutions)
86.42/86.75	c Dual Bound         : +1.00000000000000e+00
86.42/86.75	c Gap                : 0.00 %
86.42/86.76	s OPTIMUM FOUND
86.42/86.76	v -x3736 -x3735 -x3734 x3733 x3732 x3731 x3730 x3729 -x3728 -x3727 x3726 -x3725 x3724 -x3723 x3722 x3721 -x3720 x3719 x3718 x3717 
86.42/86.76	v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 x3709 -x3708 -x3707 -x3706 x3705 x3704 -x3703 -x3702 -x3701 x3700 x3699 x3698 
86.42/86.76	v x3697 -x3696 x3695 -x3694 x3693 x3692 -x3691 x3690 x3689 x3688 -x3687 x3686 x3685 x3684 x3683 x3682 x3681 x3680 x3679 x3678 
86.42/86.76	v -x3677 x3676 x3675 -x3674 -x3673 -x3672 -x3671 x3670 x3669 x3668 x3667 x3666 x3665 x3664 x3663 x3662 -x3661 x3660 x3659 x3658 
86.42/86.76	v -x3657 -x3656 -x3655 x3654 x3653 x3652 x3651 x3650 x3649 x3648 x3647 x3646 x3645 -x3644 -x3643 -x3642 -x3641 x3640 x3639 x3638 
86.42/86.76	v x3637 x3636 -x3635 -x3634 -x3633 x3632 -x3631 -x3630 x3629 x3628 -x3627 x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 
86.42/86.76	v -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 x3611 x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 
86.42/86.76	v -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 x3594 x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 
86.42/86.76	v -x3582 -x3581 -x3580 -x3579 -x3578 x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 x3569 -x3568 -x3567 -x3566 -x3565 
86.42/86.76	v -x3564 -x3563 -x3562 x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 x3547 
86.42/86.76	v x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 x3533 x3532 -x3531 -x3530 -x3529 
86.42/86.76	v -x3528 -x3527 -x3526 -x3525 x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 x3513 x3512 -x3511 -x3510 
86.42/86.76	v -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3501 -x3500 -x3499 x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 
86.42/86.76	v x3491 x3490 x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 x3474 x3473 
86.42/86.76	v x3472 x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 x3462 x3461 x3460 x3459 -x3458 x3457 -x3456 -x3455 -x3454 
86.42/86.76	v -x3453 -x3452 -x3451 -x3450 -x3449 x3448 x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 
86.42/86.76	v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 x3425 x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 
86.42/86.76	v -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 x3402 -x3401 -x3400 
86.42/86.76	v -x3399 -x3398 -x3397 -x3396 -x3395 x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 
86.42/86.76	v -x3381 x3380 x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 x3365 x3364 
86.42/86.76	v -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 -x3349 -x3348 -x3347 -x3346 
86.42/86.76	v -x3345 -x3344 -x3343 x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 
86.42/86.76	v -x3326 -x3325 -x3324 x3323 x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 x3311 x3310 -x3309 
86.42/86.76	v -x3308 -x3307 -x3306 -x3305 -x3304 x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 x3294 x3293 -x3292 -x3291 -x3290 
86.42/86.76	v -x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 -x3282 x3281 -x3280 -x3279 -x3278 -x3277 -x3276 x3275 x3274 x3273 -x3272 
86.42/86.76	v -x3271 -x3270 -x3269 x3268 x3267 -x3266 -x3265 -x3264 -x3263 x3262 x3261 x3260 x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 
86.42/86.76	v -x3252 x3251 x3250 x3249 x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 x3238 x3237 -x3236 -x3235 -x3234 
86.42/86.76	v -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 x3220 x3219 -x3218 -x3217 -x3216 
86.42/86.76	v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 x3202 -x3201 -x3200 -x3199 -x3198 
86.42/86.76	v -x3197 -x3196 -x3195 x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 x3184 x3183 x3182 -x3181 -x3180 
86.42/86.76	v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 x3166 -x3165 x3164 x3163 -x3162 -x3161 
86.42/86.76	v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 -x3146 x3145 x3144 x3143 
86.42/86.76	v x3142 x3141 -x3140 x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 
86.42/86.76	v -x3124 x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 x3110 x3109 -x3108 -x3107 -x3106 
86.42/86.76	v -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 x3089 -x3088 
86.42/86.76	v x3087 -x3086 -x3085 -x3084 x3083 x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 x3073 x3072 -x3071 -x3070 
86.42/86.76	v -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 x3063 x3062 x3061 x3060 -x3059 -x3058 -x3057 x3056 x3055 -x3054 -x3053 -x3052 -x3051 
86.42/86.76	v -x3050 x3049 x3048 -x3047 -x3046 -x3045 -x3044 -x3043 x3042 -x3041 -x3040 -x3039 x3038 x3037 x3036 x3035 x3034 x3033 x3032 
86.42/86.76	v x3031 -x3030 -x3029 x3028 x3027 -x3026 -x3025 x3024 x3023 x3022 x3021 -x3020 -x3019 x3018 -x3017 -x3016 x3015 x3014 x3013 x3012 
86.42/86.76	v x3011 -x3010 x3009 -x3008 -x3007 x3006 -x3005 -x3004 -x3003 x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 
86.42/86.76	v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 
86.42/86.76	v -x2974 -x2973 -x2972 -x2971 x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 x2962 x2961 x2960 x2959 x2958 x2957 x2956 
86.42/86.76	v -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 x2946 x2945 x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 
86.42/86.76	v -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
86.42/86.76	v x2919 x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 
86.42/86.76	v -x2901 x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 x2893 x2892 x2891 x2890 x2889 -x2888 x2887 -x2886 -x2885 -x2884 x2883 
86.42/86.76	v -x2882 -x2881 -x2880 x2879 x2878 x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 
86.42/86.76	v x2863 x2862 x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 x2848 x2847 x2846 
86.42/86.76	v x2845 x2844 x2843 -x2842 x2841 -x2840 -x2839 -x2838 x2837 -x2836 -x2835 x2834 -x2833 -x2832 -x2831 -x2830 x2829 x2828 x2827 x2826 
86.42/86.76	v x2825 x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
86.42/86.76	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 
86.42/86.76	v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 
86.42/86.76	v -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 
86.42/86.76	v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 
86.42/86.76	v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
86.42/86.76	v -x2718 -x2717 -x2716 -x2715 -x2714 x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 x2701 -x2700 
86.42/86.76	v -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
86.42/86.76	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
86.42/86.76	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
86.42/86.76	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 
86.42/86.76	v -x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 x2611 
86.42/86.76	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596 -x2595 -x2594 -x2593 
86.42/86.76	v -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 
86.42/86.76	v -x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 
86.42/86.76	v -x2556 x2555 x2554 x2553 x2552 x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 x2540 -x2539 -x2538 
86.42/86.76	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 
86.42/86.76	v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 -x2502 
86.42/86.76	v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 
86.42/86.76	v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 
86.42/86.76	v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 
86.42/86.76	v -x2447 -x2446 -x2445 x2444 -x2443 -x2442 x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 
86.42/86.76	v -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 
86.42/86.76	v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 
86.42/86.76	v -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 
86.42/86.76	v -x2376 -x2375 -x2374 -x2373 -x2372 x2371 -x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 
86.42/86.76	v -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 
86.42/86.76	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 
86.42/86.76	v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 x2306 x2305 
86.42/86.76	v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 
86.42/86.76	v -x2286 x2285 x2284 x2283 x2282 x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
86.42/86.76	v -x2267 -x2266 -x2265 -x2264 -x2263 x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 
86.42/86.76	v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 x2234 -x2233 -x2232 
86.42/86.76	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 
86.42/86.76	v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 x2197 -x2196 
86.42/86.76	v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 x2186 -x2185 -x2184 -x2183 -x2182 x2181 -x2180 -x2179 -x2178 
86.42/86.76	v x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 -x2164 -x2163 -x2162 x2161 -x2160 
86.42/86.76	v -x2159 -x2158 x2157 -x2156 -x2155 -x2154 x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 x2145 -x2144 -x2143 -x2142 -x2141 
86.42/86.76	v -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 x2123 
86.42/86.76	v -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 
86.42/86.76	v x2104 x2103 x2102 x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 
86.42/86.76	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 
86.42/86.76	v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 
86.42/86.76	v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
86.42/86.76	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
86.42/86.76	v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
86.42/86.76	v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 
86.42/86.76	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 x1963 -x1962 -x1961 
86.42/86.76	v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 x1951 -x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 -x1943 
86.42/86.76	v -x1942 x1941 -x1940 -x1939 -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
86.42/86.76	v -x1924 -x1923 x1922 -x1921 -x1920 -x1919 -x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 x1907 -x1906 
86.42/86.76	v -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 -x1890 -x1889 x1888 
86.42/86.76	v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 
86.42/86.76	v -x1869 x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 -x1852 
86.42/86.76	v -x1851 -x1850 -x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 
86.42/86.76	v x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
86.42/86.76	v x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 
86.42/86.76	v -x1797 -x1796 x1795 x1794 x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 x1780 -x1779 
86.42/86.76	v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 
86.42/86.76	v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 x1743 
86.42/86.76	v x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733 x1732 x1731 -x1730 -x1729 -x1728 x1727 -x1726 -x1725 -x1724 x1723 
86.42/86.76	v x1722 x1721 -x1720 -x1719 -x1718 x1717 x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 x1709 -x1708 x1707 -x1706 -x1705 -x1704 
86.42/86.76	v -x1703 x1702 -x1701 x1700 x1699 -x1698 -x1697 x1696 x1695 x1694 x1693 x1692 x1691 x1690 x1689 x1688 x1687 x1686 x1685 x1684 
86.42/86.76	v -x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 x1676 x1675 x1674 -x1673 -x1672 -x1671 x1670 x1669 x1668 -x1667 -x1666 -x1665 
86.42/86.76	v -x1664 x1663 -x1662 -x1661 -x1660 -x1659 -x1658 x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 x1648 x1647 
86.42/86.76	v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 x1633 x1632 x1631 -x1630 -x1629 -x1628 
86.42/86.76	v -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 
86.42/86.76	v -x1609 -x1608 -x1607 x1606 -x1605 -x1604 x1603 x1602 x1601 -x1600 x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 
86.42/86.76	v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 
86.42/86.76	v x1572 -x1571 x1570 -x1569 -x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 x1560 -x1559 x1558 -x1557 -x1556 -x1555 -x1554 -x1553 
86.42/86.76	v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 
86.42/86.76	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518 x1517 
86.42/86.76	v x1516 x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 x1501 x1500 -x1499 -x1498 
86.42/86.76	v x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 x1480 
86.42/86.76	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466 x1465 x1464 -x1463 -x1462 
86.42/86.76	v -x1461 -x1460 -x1459 x1458 x1457 -x1456 x1455 x1454 x1453 x1452 -x1451 x1450 -x1449 x1448 x1447 x1446 x1445 x1444 x1443 -x1442 
86.42/86.76	v -x1441 x1440 x1439 x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 x1425 x1424 x1423 
86.42/86.76	v x1422 x1421 -x1420 -x1419 -x1418 x1417 -x1416 x1415 x1414 -x1413 -x1412 -x1411 x1410 x1409 x1408 -x1407 x1406 -x1405 -x1404 
86.42/86.76	v x1403 x1402 x1401 -x1400 x1399 x1398 x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 x1386 -x1385 
86.42/86.76	v x1384 x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 x1368 -x1367 -x1366 
86.42/86.76	v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 
86.42/86.76	v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
86.42/86.76	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
86.42/86.76	v -x1312 -x1311 x1310 x1309 x1308 x1307 -x1306 x1305 x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 x1294 
86.42/86.76	v x1293 x1292 x1291 x1290 x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 x1276 x1275 
86.42/86.76	v x1274 -x1273 x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 
86.42/86.76	v -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 
86.42/86.76	v -x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 
86.42/86.76	v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 
86.42/86.76	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 
86.42/86.76	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
86.42/86.76	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 x1158 x1157 x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
86.42/86.76	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 x1135 x1134 -x1133 -x1132 -x1131 -x1130 
86.42/86.76	v -x1129 -x1128 -x1127 -x1126 x1125 x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 
86.42/86.76	v -x1110 -x1109 -x1108 x1107 x1106 -x1105 -x1104 -x1103 -x1102 x1101 x1100 x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 -x1092 
86.42/86.76	v -x1091 x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 
86.42/86.76	v -x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 x1065 x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
86.42/86.76	v -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 
86.42/86.76	v -x1036 -x1035 x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018 
86.42/86.76	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 
86.42/86.76	v -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 x986 x985 x984 x983 -x982 -x981 -x980 x979 x978 
86.42/86.76	v x977 -x976 -x975 -x974 x973 x972 x971 x970 x969 x968 x967 -x966 -x965 -x964 -x963 x962 x961 x960 x959 x958 -x957 x956 -x955 
86.42/86.76	v -x954 x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 x943 x942 x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 
86.42/86.76	v x932 x931 x930 x929 -x928 x927 x926 x925 x924 x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 x912 x911 x910 
86.42/86.76	v -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
86.42/86.76	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 
86.42/86.76	v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 
86.42/86.76	v x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 x831 -x830 -x829 -x828 x827 -x826 -x825 
86.42/86.76	v -x824 -x823 -x822 x821 x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 
86.42/86.76	v -x802 -x801 x800 x799 x798 -x797 -x796 -x795 x794 x793 x792 -x791 -x790 -x789 -x788 x787 x786 x785 x784 -x783 x782 -x781 -x780 
86.42/86.76	v x779 x778 -x777 -x776 -x775 x774 -x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 -x763 -x762 -x761 -x760 x759 x758 -x757 
86.42/86.76	v x756 x755 x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 x740 x739 x738 x737 -x736 x735 
86.42/86.76	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 x725 x724 -x723 -x722 -x721 x720 x719 x718 x717 x716 x715 x714 -x713 -x712 
86.42/86.76	v -x711 -x710 -x709 -x708 x707 -x706 x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 x696 x695 -x694 x693 -x692 x691 -x690 
86.42/86.76	v x689 x688 x687 x686 x685 -x684 x683 -x682 -x681 x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 x670 x669 x668 -x667 
86.42/86.76	v -x666 -x665 -x664 -x663 x662 -x661 -x660 x659 x658 x657 x656 -x655 x654 x653 x652 x651 x650 x649 -x648 -x647 -x646 -x645 
86.42/86.76	v -x644 -x643 -x642 -x641 x640 x639 x638 x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 
86.42/86.76	v -x622 -x621 -x620 -x619 -x618 x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 
86.42/86.76	v -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 
86.42/86.76	v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 -x569 -x568 x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 
86.42/86.76	v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 x538 
86.42/86.76	v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 x519 -x518 -x517 
86.42/86.76	v -x516 -x515 x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 
86.42/86.76	v -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 
86.42/86.76	v x473 x472 x471 x470 -x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 
86.42/86.76	v -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 x438 x437 x436 -x435 x434 -x433 -x432 -x431 -x430 
86.42/86.76	v -x429 -x428 -x427 -x426 x425 x424 x423 -x422 -x421 -x420 x419 -x418 x417 x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 x408 
86.42/86.76	v -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 x399 x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 
86.42/86.76	v -x386 -x385 -x384 -x383 x382 -x381 -x380 x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 
86.42/86.76	v -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 x347 x346 x345 x344 x343 
86.42/86.76	v x342 x341 x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 x327 x326 -x325 -x324 -x323 -x322 -x321 
86.42/86.76	v -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 
86.42/86.76	v -x298 -x297 x296 -x295 -x294 -x293 x292 x291 x290 x289 x288 x287 x286 -x285 x284 -x283 -x282 x281 x280 -x279 -x278 -x277 
86.42/86.76	v x276 -x275 x274 x273 x272 x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 x262 x261 x260 x259 -x258 x257 x256 -x255 -x254 
86.42/86.76	v -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 
86.42/86.76	v -x231 x230 x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 
86.42/86.76	v x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 x191 -x190 -x189 
86.42/86.76	v x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174 x173 -x172 x171 -x170 -x169 x168 x167 
86.42/86.76	v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 -x145 
86.42/86.76	v x144 -x143 -x142 x141 x140 -x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 x130 x129 x128 x127 x126 -x125 x124 -x123 -x122 
86.42/86.76	v -x121 x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 x110 x109 x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 
86.42/86.76	v x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 x86 x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77 x76 -x75 -x74 -x73 
86.42/86.76	v -x72 -x71 x70 -x69 -x68 x67 -x66 -x65 x64 -x63 -x62 x61 x60 x59 -x58 x57 x56 x55 x54 x53 x52 x51 -x50 -x49 x48 -x47 -x46 x45 
86.42/86.76	v -x44 x43 -x42 x41 x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 x26 -x25 x24 x23 x22 -x21 x20 x19 -x18 
86.42/86.76	v -x17 x16 -x15 x14 x13 x12 -x11 x10 x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1 
86.42/86.76	c SCIP Status        : problem is solved [optimal solution found]
86.42/86.76	c Total Time         :      86.74
86.42/86.76	c   solving          :      86.74
86.42/86.76	c   presolving       :       9.82 (included in solving)
86.42/86.76	c   reading          :       0.09 (included in solving)
86.42/86.76	c   copying          :       0.10 (5 #copies) (minimal 0.02, maximal 0.03, average 0.02)
86.42/86.76	c Original Problem   :
86.42/86.76	c   Problem name     : HOME/instance-4425142-1720879788.wbo
86.42/86.76	c   Variables        : 7252 (7252 binary, 0 integer, 0 implicit integer, 0 continuous)
86.42/86.76	c   Constraints      : 13974 initial, 13974 maximal
86.42/86.76	c   Objective        : minimize, 3516 non-zeros (abs.min = 1, abs.max = 100)
86.42/86.76	c Presolved Problem  :
86.42/86.76	c   Problem name     : t_HOME/instance-4425142-1720879788.wbo
86.42/86.76	c   Variables        : 7243 (7123 binary, 0 integer, 120 implicit integer, 0 continuous)
86.42/86.76	c   Constraints      : 8498 initial, 8557 maximal
86.42/86.76	c   Objective        : minimize, 3500 non-zeros (abs.min = 1, abs.max = 100)
86.42/86.76	c   Nonzeros         : 28301 constraint, 7991 clique table
86.42/86.76	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
86.42/86.76	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   domcol           :       0.00       0.00    137          0          0          0          0          0          0          0          0          0
86.42/86.76	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
86.42/86.76	c   gateextraction   :       0.32       0.00    139          0          0          0          0          0       2827        942          0          0
86.42/86.76	c   implics          :       0.01       0.00    141          0          0          0          0          0          0          0          0          0
86.42/86.76	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
86.42/86.76	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   trivial          :       0.05       0.00    280          0          0          0          0          0          0          0          0          0
86.42/86.76	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   dualfix          :       0.05       0.00    280         15          0          0          0          0          0          0          0          0
86.42/86.76	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   probing          :       7.71       0.00    137         17       3387          0          0          0          0          0          0          0
86.42/86.76	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
86.42/86.76	c   vbounds          :       0.01       0.00      2          0         81          0          0          0          0          0          0          0
86.42/86.76	c   knapsack         :       0.03       0.00    552          0          0          0          0          0          0          0          0          0
86.42/86.76	c   setppc           :       0.43       0.00    552          0          1          0          0          0         20          0          0          0
86.42/86.76	c   and              :       0.23       0.00    412          0          5          0          0          0         15         14          0          1
86.42/86.76	c   linear           :       0.52       0.00    418          0          4          0       3515          0        184          0        184        368
86.42/86.76	c   logicor          :       0.34       0.00    551          0          0          0          0          0         13          0          0         13
86.42/86.76	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   indicator        :       0.02       0.00    142         15          0          0          0          0       3367          0          0          0
86.42/86.76	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
86.42/86.76	c   root node        :          -          -      -       6053          -          -       6053          -          -          -          -          -
86.42/86.76	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
86.42/86.76	c   benderslp        :          0          0          0          0        478          0          0        461          0          0          0          0          0          0          0
86.42/86.76	c   integral         :          0          0          0          0        478          0          0        461          0          0       2608          0          0        250        830
86.42/86.76	c   knapsack         :        248+       256         12      49031          0          0          0        455         55         10         64       1901        159          0          0
86.42/86.76	c   setppc           :       2479+      2510         12      50098          0          0          0        433      18287        101      30613          2          0          0          0
86.42/86.76	c   and              :        917        917        829      50309          0          0          0        433      16393         77      32179       3170       2176          0          0
86.42/86.76	c   linear           :       3497       3497         12      50351          0          0          0        436      23021        126      42334          0          0          0          0
86.42/86.76	c   logicor          :       1208+      2008         12      20658          0          0          0         24       8559        149      17811          4          1          0          0
86.42/86.76	c   benders          :          0          0          0          0          0          0          0         20          0          0          0          0          0          0          0
86.42/86.76	c   indicator        :        149        149         44      39474          0          0          0         18          0          0        269          0          0          0          0
86.42/86.76	c   fixedvar         :          0          0          0          0          0          0          0         18          0          0          0          0          0          0          0
86.42/86.76	c   countsols        :          0          0          0          0          0          0          0         18          0          0          0          0          0          0          0
86.42/86.76	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
86.42/86.76	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   integral         :      30.57       0.00       0.00       0.00      30.52       0.00       0.00       0.05       0.00       0.00
86.42/86.76	c   knapsack         :       0.21       0.00       0.02       0.17       0.00       0.00       0.00       0.02       0.00       0.00
86.42/86.76	c   setppc           :       1.03       0.00       0.00       0.84       0.00       0.00       0.00       0.12       0.01       0.05
86.42/86.76	c   and              :       0.62       0.00       0.10       0.39       0.00       0.00       0.00       0.04       0.01       0.08
86.42/86.76	c   linear           :       0.40       0.00       0.01       0.19       0.00       0.00       0.00       0.12       0.01       0.07
86.42/86.76	c   logicor          :       0.16       0.00       0.00       0.10       0.00       0.00       0.00       0.01       0.01       0.04
86.42/86.76	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   indicator        :       0.71       0.00       0.00       0.71       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
86.42/86.76	c   dualfix          :          3          0          0          0
86.42/86.76	c   genvbounds       :          0          0          0          0
86.42/86.76	c   nlobbt           :          0          0          0          0
86.42/86.76	c   obbt             :          0          0          0          0
86.42/86.76	c   probing          :          0          0          0          0
86.42/86.76	c   pseudoobj        :       8626          0          0       4630
86.42/86.76	c   redcost          :       1576          0          0       2560
86.42/86.76	c   rootredcost      :          7          0          0        553
86.42/86.76	c   symmetry         :          0          0          0          0
86.42/86.76	c   vbounds          :      21417          0          0          0
86.42/86.76	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
86.42/86.76	c   dualfix          :       0.05       0.00       0.05       0.00       0.00       0.00
86.42/86.76	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   probing          :       7.71       0.00       7.71       0.00       0.00       0.00
86.42/86.76	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
86.42/86.76	c   redcost          :       0.17       0.00       0.00       0.17       0.00       0.00
86.42/86.76	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
86.42/86.76	c   symmetry         :       0.02       0.00       0.02       0.00       0.00       0.00
86.42/86.76	c   vbounds          :       1.63       0.00       0.01       1.62       0.00       0.01
86.42/86.76	c Symmetry           :
86.42/86.76	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
86.42/86.76	c   orbital reduction:          0 reductions applied,          0 cutoffs
86.42/86.76	c   lexicographic red:          0 reductions applied,          0 cutoffs
86.42/86.76	c   shadow tree time :       0.00 s
86.42/86.76	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
86.42/86.76	c   propagation      :       0.04        460        447          -       1452       22.9         61       10.5          -          -          -
86.42/86.76	c   infeasible LP    :       0.03         29         27          -         99       28.8          4       19.2         27       16.3          0
86.42/86.76	c   bound exceed. LP :       0.01          5          0          -          0        0.0          0        0.0          0        0.0         20
86.42/86.76	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
86.42/86.76	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
86.42/86.76	c   applied globally :       0.02          -          -          0       1094       15.8          -          -         27          -          -
86.42/86.76	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
86.42/86.76	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
86.42/86.76	c   cut pool         :       0.47          -        269         24          -          -       8289      23946          -          -          -          -          -    (maximal pool size:       5511)
86.42/86.76	c   aggregation      :       0.53       0.00        118         12          0          0        411       3425          1        442        442          0          0
86.42/86.76	c   > cmir           :          -          -          -          -          -          -          -       2208          0        229        229          0          -
86.42/86.76	c   > flowcover      :          -          -          -          -          -          -          -       1071          0        193        193          0          -
86.42/86.76	c   > knapsackcover  :          -          -          -          -          -          -          -        146          1         20         20          0          -
86.42/86.76	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   clique           :       0.38       0.00         12         12          0          0         41         63          0         12         12          0          0
86.42/86.76	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   gomory           :       6.20       0.00        114         10          0          0       7216      16885       1082       1113        943        170          0
86.42/86.76	c   > gomorymi       :          -          -          -          -          -          -          -       7432        547        375        283         92          -
86.42/86.76	c   > strongcg       :          -          -          -          -          -          -          -       9453        535        738        660         78          -
86.42/86.76	c   impliedbounds    :       0.18       0.00        118         12          0          2       1397       2296          0        918        918          0          0
86.42/86.76	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
86.42/86.76	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   mixing           :       0.00       0.00        118         12          0          0          0          0          0          0          0          0          0
86.42/86.76	c   multilinear      :       0.00       0.00         49         12          0          0          0          0          0          0          0          0          0
86.42/86.76	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
86.42/86.76	c   rlt              :       0.98       0.00         60         10          0          0        176        123        103        137         82         55          0
86.42/86.76	c   zerohalf         :       0.60       0.00        116         12          0          0        466       1154        232        602        478        124          0
86.42/86.76	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
86.42/86.76	c   hybrid           :       0.05       0.00        596         13       5419        149      25022        609          0       5175
86.42/86.76	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c Pricers            :   ExecTime  SetupTime      Calls       Vars
86.42/86.76	c   problem variables:       0.00          -          0          0
86.42/86.76	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
86.42/86.76	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c   relpscost        :      30.52       0.00        478          0          0          0       2608          0        286        830
86.42/86.76	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
86.42/86.76	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
86.42/86.76	c   LP solutions     :       0.00          -          -          0          0
86.42/86.76	c   relax solutions  :       0.00          -          -          0          0
86.42/86.76	c   pseudo solutions :       0.00          -          -          0          0
86.42/86.76	c   strong branching :       0.00          -          -          0          0
86.42/86.76	c   actconsdiving    :       0.00       0.00          0          0          0
86.42/86.76	c   adaptivediving   :       0.00       0.00          0          0          0
86.42/86.76	c   alns             :       0.13       0.00          2          1          1
86.42/86.76	c   bound            :       0.00       0.00          0          0          0
86.42/86.76	c   clique           :       0.16       0.00          1          0          0
86.42/86.76	c   coefdiving       :       0.00       0.00          0          0          0
86.42/86.76	c   completesol      :       0.00       0.00          0          0          0
86.42/86.76	c   conflictdiving   :       0.44       0.00          1          0          0
86.42/86.76	c   crossover        :       0.05       0.00          1          0          0
86.42/86.76	c   dins             :       0.00       0.00          0          0          0
86.42/86.76	c   distributiondivin:       0.03       0.00          0          0          0
86.42/86.76	c   dps              :       0.00       0.00          0          0          0
86.42/86.76	c   dualval          :       0.00       0.00          0          0          0
86.42/86.76	c   farkasdiving     :       7.29       0.00          1          1          1
86.42/86.76	c   feasjump         :       0.00       0.00          0          0          0
86.42/86.76	c   feaspump         :       0.71       0.00          1          0          0
86.42/86.76	c   fixandinfer      :       0.00       0.00          0          0          0
86.42/86.76	c   fracdiving       :       0.00       0.00          0          0          0
86.42/86.76	c   gins             :       0.01       0.00          0          0          0
86.42/86.76	c   guideddiving     :       0.00       0.00          0          0          0
86.42/86.76	c   indcoefdiving    :       0.00       0.00          0          0          0
86.42/86.76	c   indicator        :       0.00       0.00          0          0          0
86.42/86.76	c   indicatordiving  :       0.00       0.00          0          0          0
86.42/86.76	c   indoneopt        :       0.41       0.00          8          0          0
86.42/86.76	c   indrounding      :       0.00       0.00          0          0          0
86.42/86.76	c   indtwoopt        :       0.00       0.00          0          0          0
86.42/86.76	c   intdiving        :       0.00       0.00          0          0          0
86.42/86.76	c   intshifting      :       0.00       0.00          0          0          0
86.42/86.76	c   linesearchdiving :       0.00       0.00          0          0          0
86.42/86.76	c   localbranching   :       0.00       0.00          0          0          0
86.42/86.76	c   locks            :       0.06       0.00          1          1          1
86.42/86.76	c   lpface           :      12.14       0.00          1          0          0
86.42/86.76	c   mpec             :       0.00       0.00          0          0          0
86.42/86.76	c   multistart       :       0.00       0.00          0          0          0
86.42/86.76	c   mutation         :       0.00       0.00          0          0          0
86.42/86.76	c   nlpdiving        :       0.00       0.00          0          0          0
86.42/86.76	c   objpscostdiving  :       0.00       0.00          0          0          0
86.42/86.76	c   octane           :       0.00       0.00          0          0          0
86.42/86.76	c   ofins            :       0.00       0.00          0          0          0
86.42/86.76	c   oneopt           :       0.04       0.00          7          3          3
86.42/86.76	c   padm             :       0.00       0.00          0          0          0
86.42/86.76	c   proximity        :       0.00       0.00          0          0          0
86.42/86.76	c   pscostdiving     :       0.00       0.00          0          0          0
86.42/86.76	c   randrounding     :       0.29       0.00         34          0          0
86.42/86.76	c   rens             :       0.07       0.00          1          0          0
86.42/86.76	c   reoptsols        :       0.00       0.00          0          0          0
86.42/86.76	c   repair           :       0.00       0.00          0          0          0
86.42/86.76	c   rins             :       0.06       0.00          1          0          0
86.42/86.76	c   rootsoldiving    :       0.00       0.00          0          0          0
86.42/86.76	c   rounding         :       0.08       0.00        421          0          0
86.42/86.76	c   scheduler        :       0.00       0.00          0          0          0
86.42/86.76	c   shiftandpropagate:       0.00       0.00          0          0          0
86.42/86.76	c   shifting         :       0.41       0.00        214          5          5
86.42/86.76	c   simplerounding   :       0.00       0.00       1078          0          0
86.42/86.76	c   smallcard        :       0.00       0.00          0          0          0
86.42/86.76	c   subnlp           :       0.00       0.00          0          0          0
86.42/86.76	c   trivial          :       0.01       0.00          2          0          0
86.42/86.76	c   trivialnegation  :       0.00       0.00          0          0          0
86.42/86.76	c   trustregion      :       0.00       0.00          0          0          0
86.42/86.76	c   trysol           :       0.01       0.00          3          3          0
86.42/86.76	c   twoopt           :       0.00       0.00          0          0          0
86.42/86.76	c   undercover       :       0.00       0.00          1          0          0
86.42/86.76	c   vbounds          :       0.09       0.00          1          0          0
86.42/86.76	c   veclendiving     :       0.00       0.00          0          0          0
86.42/86.76	c   zeroobj          :       0.00       0.00          0          0          0
86.42/86.76	c   zirounding       :       0.06       0.00        415          0          0
86.42/86.76	c   other solutions  :          -          -          -          0          -
86.42/86.76	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
86.42/86.76	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
86.42/86.76	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
86.42/86.76	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
86.42/86.76	c   primal LP        :       0.09         45          0       0.00       0.00       0.09         45
86.42/86.76	c   dual LP          :       9.95       1116      73039      66.70    7342.10       0.05         21
86.42/86.76	c   lex dual LP      :       0.00          0          0       0.00          -
86.42/86.76	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
86.42/86.76	c   resolve instable :       0.00          0          0       0.00          -
86.42/86.76	c   diving/probing LP:      12.74        246      39118     159.02    3069.89
86.42/86.76	c   strong branching :      24.20        545     157020     288.11    6489.01          -          -        138
86.42/86.76	c     (at root node) :          -         46      19744     429.22          -
86.42/86.76	c   conflict analysis:       0.01          5         20       4.00          -
86.42/86.76	c B&B Tree           :
86.42/86.76	c   number of runs   :          1
86.42/86.76	c   nodes            :        611 (415 internal, 196 leaves)
86.42/86.76	c   feasible leaves  :          0
86.42/86.76	c   infeas. leaves   :        192
86.42/86.76	c   objective leaves :          4
86.42/86.76	c   nodes (total)    :        611 (415 internal, 196 leaves)
86.42/86.76	c   nodes left       :          0
86.42/86.76	c   max depth        :         50
86.42/86.76	c   max depth (total):         50
86.42/86.76	c   backtracks       :        156 (25.5%)
86.42/86.76	c   early backtracks :          0 (0.0%)
86.42/86.76	c   nodes exc. ref.  :          0 (0.0%)
86.42/86.76	c   delayed cutoffs  :        145
86.42/86.76	c   repropagations   :        536 (48340 domain reductions, 114 cutoffs)
86.42/86.76	c   avg switch length:       3.35
86.42/86.76	c   switching time   :       0.43
86.42/86.76	c Root Node          :
86.42/86.76	c   First LP value   : +0.00000000000000e+00
86.42/86.76	c   First LP Iters   :       1115 (24023.96 Iter/sec)
86.42/86.76	c   First LP Time    :       0.05
86.42/86.76	c   Final Dual Bound : +1.00000000000000e+00
86.42/86.76	c   Final Root Iters :       4881
86.42/86.76	c   Root LP Estimate : +1.74181289846364e+00
86.42/86.76	c Solution           :
86.42/86.76	c   Solutions found  :         14 (11 improvements)
86.42/86.76	c   First Solution   : +1.77262000000000e+05   (in run 1, after 1 nodes, 10.16 seconds, depth 1110, found by <locks>)
86.42/86.76	c   Gap First Sol.   :   infinite
86.42/86.76	c   Gap Last Sol.    :   infinite
86.42/86.76	c   Primal Bound     : +1.00000000000000e+00   (in run 1, after 108 nodes, 62.48 seconds, depth 50, found by <shifting>)
86.42/86.76	c   Dual Bound       : +1.00000000000000e+00
86.42/86.76	c   Gap              :       0.00 %
86.42/86.76	c Integrals          :      Total       Avg%
86.42/86.76	c   primal-dual      :    8674.43     100.00
86.42/86.76	c   primal-ref       :          -          - (not evaluated)
86.42/86.76	c   dual-ref         :          -          - (not evaluated)
86.52/86.83	c Time complete: 86.5624.

OK	1

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: 64059 MiB (62653 MiB free)
  memory of node 1: 64510 MiB (62482 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425142-1720879788/watcher-4425142-1720879788 -o /tmp/evaluation-result-4425142-1720879788/solver-4425142-1720879788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720879382-700520 --watchdog 3760 pbscip -f HOME/instance-4425142-1720879788.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=700747, runsolver pid=700744

[startup+0.100135 s]*
/proc/loadavg: 4.12 3.45 2.68 5/241 700748
/proc/meminfo: memFree=128120024/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=80060 memory=41340 CPUtime=0.09 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 7092 0 0 0 8 1 0 0 20 0 1 0 140135252 81981440 10335 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 20015 10335 3585 3540 0 8272 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80060 KiB
Current children cumulated memory: 41340 KiB

[startup+0.213047 s]*
/proc/loadavg: 4.12 3.45 2.68 7/241 700748
/proc/meminfo: memFree=128084464/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=111124 memory=70268 CPUtime=0.21 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 14306 0 0 0 18 3 0 0 20 0 1 0 140135252 113790976 17567 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 27781 17567 3649 3540 0 16038 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111124 KiB
Current children cumulated memory: 70268 KiB

[startup+0.312952 s]*
/proc/loadavg: 4.12 3.45 2.68 5/241 700748
/proc/meminfo: memFree=128079376/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=116636 memory=74564 CPUtime=0.31 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 15363 0 0 0 28 3 0 0 20 0 1 0 140135252 119435264 18641 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 29159 18641 3697 3540 0 17416 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116636 KiB
Current children cumulated memory: 74564 KiB

[startup+0.700335 s]
/proc/loadavg: 4.12 3.45 2.68 5/241 700748
/proc/meminfo: memFree=128078228/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=118236 memory=76412 CPUtime=0.68 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 15792 0 0 0 65 3 0 0 20 0 1 0 140135252 121073664 19103 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 29559 19103 3697 3540 0 17816 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118236 KiB
Current children cumulated memory: 76412 KiB

[startup+1.50032 s]
/proc/loadavg: 4.12 3.45 2.68 5/241 700748
/proc/meminfo: memFree=128076856/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=119620 memory=77732 CPUtime=1.48 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 16132 0 0 0 145 3 0 0 20 0 1 0 140135252 122490880 19433 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 29905 19433 3697 3540 0 18162 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119620 KiB
Current children cumulated memory: 77732 KiB

[startup+3.11283 s]
/proc/loadavg: 4.11 3.46 2.69 5/241 700748
/proc/meminfo: memFree=128072344/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=121720 memory=80108 CPUtime=3.08 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 16727 0 0 0 305 3 0 0 20 0 1 0 140135252 124641280 20027 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 30430 20027 3697 3540 0 18687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121720 KiB
Current children cumulated memory: 80108 KiB

[startup+6.3003 s]
/proc/loadavg: 4.11 3.46 2.69 5/241 700750
/proc/meminfo: memFree=128069964/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=123776 memory=82220 CPUtime=6.27 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 17242 0 0 0 623 4 0 0 20 0 1 0 140135252 126746624 20555 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 30944 20555 3697 3540 0 19201 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123776 KiB
Current children cumulated memory: 82220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 3.47 2.69 5/241 700750
/proc/meminfo: memFree=128016508/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=209168 memory=150884 CPUtime=12.64 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 34852 0 0 0 1258 6 0 0 20 0 1 0 140135252 214188032 37721 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 52292 37721 3905 3540 0 40549 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 209168 KiB
Current children cumulated memory: 150884 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 3.51 2.72 5/241 700753
/proc/meminfo: memFree=127922812/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=283576 memory=217612 CPUtime=25.4 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 53097 0 0 0 2531 9 0 0 20 0 1 0 140135252 290381824 54403 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 70894 54403 4000 3540 0 59151 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 283576 KiB
Current children cumulated memory: 217612 KiB

[startup+51.1128 s]
/proc/loadavg: 4.10 3.55 2.75 5/243 700760
/proc/meminfo: memFree=127750268/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=403420 memory=336696 CPUtime=50.94 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 83683 0 0 0 5079 15 0 0 20 0 1 0 140135252 413102080 84174 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100855 84174 4010 3540 0 89112 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 403420 KiB
Current children cumulated memory: 336696 KiB

[startup+86.846 s]
# the end of solver process 700747 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=86.3817 s, system=0.194998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2004 s]
/proc/loadavg: 4.10 3.55 2.75 5/243 700760
/proc/meminfo: memFree=127750268/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=401172 memory=334600 CPUtime=51.02 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 83683 0 0 0 5087 15 0 0 20 0 1 0 140135252 410800128 83650 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100293 83650 4010 3540 0 88550 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 401172 KiB
Current children cumulated memory: 334600 KiB

[startup+64.0003 s]*
/proc/loadavg: 4.08 3.58 2.78 5/243 701039
/proc/meminfo: memFree=128419064/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=337384 CPUtime=63.79 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 84716 0 0 0 6363 16 0 0 20 0 1 0 140135252 411791360 84346 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84346 4010 3540 0 88792 0
Current children cumulated CPU time: 63.79 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 337384 KiB

[startup+76.8003 s]
/proc/loadavg: 4.14 3.61 2.79 5/243 701455
/proc/meminfo: memFree=128396840/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=338168 CPUtime=76.55 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 84955 0 0 0 7637 18 0 0 20 0 1 0 140135252 411791360 84542 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84542 4010 3540 0 88792 0
Current children cumulated CPU time: 76.55 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 338168 KiB

[startup+83.2002 s]
/proc/loadavg: 4.12 3.62 2.81 5/244 701732
/proc/meminfo: memFree=128402932/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=338260 CPUtime=82.93 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 85013 0 0 0 8275 18 0 0 20 0 1 0 140135252 411791360 84565 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84565 4010 3540 0 88792 0
Current children cumulated CPU time: 82.93 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 338260 KiB

[startup+84.8002 s]
/proc/loadavg: 4.12 3.62 2.81 5/244 701733
/proc/meminfo: memFree=128381540/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=338260 CPUtime=84.53 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 85015 0 0 0 8435 18 0 0 20 0 1 0 140135252 411791360 84565 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84565 4010 3540 0 88792 0
Current children cumulated CPU time: 84.53 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 338260 KiB

[startup+85.6002 s]
/proc/loadavg: 4.12 3.62 2.81 5/244 701733
/proc/meminfo: memFree=128355220/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=338260 CPUtime=85.33 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 85015 0 0 0 8515 18 0 0 20 0 1 0 140135252 411791360 84565 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84565 4010 3540 0 88792 0
Current children cumulated CPU time: 85.33 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 338260 KiB

[startup+86.4002 s]
/proc/loadavg: 4.12 3.62 2.81 5/244 701733
/proc/meminfo: memFree=128338412/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=402140 memory=338260 CPUtime=86.13 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 85015 0 0 0 8595 18 0 0 20 0 1 0 140135252 411791360 84565 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 100535 84565 4010 3540 0 88792 0
Current children cumulated CPU time: 86.13 s
Current children cumulated vsize: 402140 KiB
Current children cumulated memory: 338260 KiB

[startup+86.8002 s]
/proc/loadavg: 4.12 3.62 2.81 5/244 701733
/proc/meminfo: memFree=128338412/131655788 swapFree=131071996/131071996
[pid=700747] ppid=700744 vsize=399668 memory=335796 CPUtime=86.52 cores=4,6
/proc/700747/stat : 700747 (pbscip) R 700744 700747 697210 0 -1 4194304 85146 0 0 0 8634 18 0 0 20 0 1 0 140135252 409260032 83949 134679101440 4194304 18693293 140726451009536 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 41799680 140726451012586 140726451012685 140726451012685 140726451019726 0
/proc/700747/statm: 99917 83949 4010 3540 0 88174 0
Current children cumulated CPU time: 86.52 s
Current children cumulated vsize: 399668 KiB
Current children cumulated memory: 335796 KiB

Child status: 0

Real time (s): 86.8461
CPU time (s): 86.5767
CPU user time (s): 86.3817
CPU system time (s): 0.194998
CPU usage (%): 99.6899
Max. virtual memory (cumulated for all children) (KiB): 403956
Max. memory (cumulated for all children) (KiB): 338260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.3817
system time used= 0.194998
maximum resident set size= 338260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85154
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= 14
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 700747
#   total CPU time (s): 86.5767
#   total CPU user time (s): 86.3817
#   total CPU system time (s): 0.194998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.443173 second user time and 0.907173 second system time

The end

Begin job on nodeC008 at 2024-07-13 16:10:00
IDJOB=4425142
IDBENCH=143421
IDSOLVER=3038
FILE ID=nodeC008/4425142-1720879788
RUNJOBID= nodeC008-1720879382-700520
SLURM_JOB_ID= 7483756
Free space on /tmp= 723724 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl--soft-66-100-0.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425142-1720879788/watcher-4425142-1720879788 -o /tmp/evaluation-result-4425142-1720879788/solver-4425142-1720879788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1720879382-700520 --watchdog 3760  pbscip -f HOME/instance-4425142-1720879788.wbo -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= b9e4bf4d6140c91cb266031462fadfd8
RANDOM SEED=636085987

nodeC008.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	: 0xb00001f
cpu MHz		: 3491.957
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.957
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.415
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.390
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.966
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.335
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.248
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.480
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128140168 kB
MemAvailable:   128127928 kB
Buffers:          322664 kB
Cached:           513732 kB
SwapCached:            0 kB
Active:           497992 kB
Inactive:        2517564 kB
Active(anon):       1476 kB
Inactive(anon):  2215064 kB
Active(file):     496516 kB
Inactive(file):   302500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18752 kB
Writeback:             8 kB
AnonPages:       2176924 kB
Mapped:           133852 kB
Shmem:             37704 kB
KReclaimable:      57552 kB
Slab:             146124 kB
SReclaimable:      57552 kB
SUnreclaim:        88572 kB
KernelStack:        3868 kB
PageTables:        13748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2775152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    878592 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:      146248 kB
DirectMap2M:     9195520 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC008 at 2024-07-13 16:11:27