0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4425134-1720879654.wbo>
0.00/0.03	c original problem has 6664 variables (6664 bin, 0 int, 0 impl, 0 cont) and 11696 constraints
0.00/0.03	c problem read in 0.03
0.00/0.08	c presolving:
0.00/0.09	c (round 1, fast)       10 del vars, 21 del conss, 0 add conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 3009 impls, 3599 clqs
0.09/0.11	c (round 2, fast)       16 del vars, 24 del conss, 0 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 3009 impls, 3599 clqs
0.09/0.11	c (round 3, medium)     126 del vars, 24 del conss, 0 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 3009 impls, 3379 clqs
0.09/0.11	c (round 4, fast)       126 del vars, 244 del conss, 0 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 3009 impls, 3379 clqs
0.09/0.12	c (round 5, exhaustive) 126 del vars, 244 del conss, 0 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 5440 upgd conss, 3009 impls, 3379 clqs
0.09/0.13	c (round 6, exhaustive) 129 del vars, 2324 del conss, 692 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 5440 upgd conss, 3009 impls, 3376 clqs
0.09/0.14	c (round 7, exhaustive) 141 del vars, 2329 del conss, 693 add conss, 3006 chg bounds, 352 chg sides, 704 chg coeffs, 5440 upgd conss, 3009 impls, 3351 clqs
0.09/0.15	c (round 8, exhaustive) 147 del vars, 2343 del conss, 704 add conss, 3006 chg bounds, 353 chg sides, 705 chg coeffs, 5440 upgd conss, 3009 impls, 3352 clqs
0.89/0.99	c    (1.0s) probing: 1000/9261 (10.8%) - 3 fixings, 21 aggregations, 10772 implications, 0 bound changes
0.99/1.06	c (round 9, exhaustive) 172 del vars, 2349 del conss, 704 add conss, 3006 chg bounds, 353 chg sides, 716 chg coeffs, 5441 upgd conss, 3009 impls, 14613 clqs
0.99/1.07	c (round 10, fast)       172 del vars, 2376 del conss, 704 add conss, 3006 chg bounds, 353 chg sides, 717 chg coeffs, 5442 upgd conss, 3009 impls, 14616 clqs
0.99/1.08	c (round 11, exhaustive) 177 del vars, 2394 del conss, 720 add conss, 3006 chg bounds, 353 chg sides, 717 chg coeffs, 5442 upgd conss, 3009 impls, 14608 clqs
1.09/1.18	c (round 12, exhaustive) 202 del vars, 2397 del conss, 721 add conss, 3006 chg bounds, 353 chg sides, 728 chg coeffs, 5442 upgd conss, 3009 impls, 15214 clqs
1.19/1.24	c (round 13, exhaustive) 228 del vars, 2400 del conss, 721 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15184 clqs
1.19/1.24	c (round 14, fast)       228 del vars, 2425 del conss, 721 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15186 clqs
1.28/1.30	c (round 15, exhaustive) 254 del vars, 2429 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.28/1.30	c (round 16, fast)       254 del vars, 2452 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.28/1.36	c (round 17, exhaustive) 279 del vars, 2453 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.28/1.37	c (round 18, fast)       279 del vars, 2478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.38/1.41	c (round 19, exhaustive) 304 del vars, 2478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.38/1.41	c (round 20, fast)       304 del vars, 2503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.38/1.46	c (round 21, exhaustive) 329 del vars, 2503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.38/1.46	c (round 22, fast)       329 del vars, 2528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.48/1.51	c (round 23, exhaustive) 354 del vars, 2528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.48/1.51	c (round 24, fast)       354 del vars, 2553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.48/1.55	c (round 25, exhaustive) 379 del vars, 2553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.48/1.55	c (round 26, fast)       379 del vars, 2578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.48/1.59	c (round 27, exhaustive) 404 del vars, 2578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.58/1.60	c (round 28, fast)       404 del vars, 2603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.58/1.64	c (round 29, exhaustive) 429 del vars, 2603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.58/1.64	c (round 30, fast)       429 del vars, 2628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.58/1.69	c (round 31, exhaustive) 454 del vars, 2628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.58/1.70	c (round 32, fast)       454 del vars, 2653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.68/1.74	c (round 33, exhaustive) 479 del vars, 2653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.68/1.74	c (round 34, fast)       479 del vars, 2678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.68/1.79	c (round 35, exhaustive) 504 del vars, 2678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.68/1.79	c (round 36, fast)       504 del vars, 2703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.78/1.84	c (round 37, exhaustive) 529 del vars, 2703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.78/1.84	c (round 38, fast)       529 del vars, 2728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.78/1.88	c (round 39, exhaustive) 554 del vars, 2728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.78/1.88	c (round 40, fast)       554 del vars, 2753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.88/1.93	c (round 41, exhaustive) 579 del vars, 2753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.88/1.93	c (round 42, fast)       579 del vars, 2778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.88/1.95	c    (2.0s) probing: 2000/9261 (21.6%) - 5 fixings, 428 aggregations, 12149 implications, 0 bound changes
1.88/1.98	c (round 43, exhaustive) 604 del vars, 2778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.88/1.98	c (round 44, fast)       604 del vars, 2803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.99/2.02	c (round 45, exhaustive) 629 del vars, 2803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.99/2.03	c (round 46, fast)       629 del vars, 2828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.99/2.06	c (round 47, exhaustive) 654 del vars, 2828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
1.99/2.07	c (round 48, fast)       654 del vars, 2853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.11	c (round 49, exhaustive) 679 del vars, 2853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.11	c (round 50, fast)       679 del vars, 2878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.15	c (round 51, exhaustive) 704 del vars, 2878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.15	c (round 52, fast)       704 del vars, 2903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.19	c (round 53, exhaustive) 729 del vars, 2903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.09/2.20	c (round 54, fast)       729 del vars, 2928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.18/2.24	c (round 55, exhaustive) 754 del vars, 2928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.18/2.24	c (round 56, fast)       754 del vars, 2953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.18/2.28	c (round 57, exhaustive) 779 del vars, 2953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.18/2.28	c (round 58, fast)       779 del vars, 2978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.28/2.32	c (round 59, exhaustive) 804 del vars, 2978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.28/2.32	c (round 60, fast)       804 del vars, 3003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.28/2.36	c (round 61, exhaustive) 829 del vars, 3003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.28/2.37	c (round 62, fast)       829 del vars, 3028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.38/2.40	c (round 63, exhaustive) 854 del vars, 3028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.38/2.41	c (round 64, fast)       854 del vars, 3053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.38/2.45	c (round 65, exhaustive) 879 del vars, 3053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.38/2.46	c (round 66, fast)       879 del vars, 3078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.50	c (round 67, exhaustive) 904 del vars, 3078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.50	c (round 68, fast)       904 del vars, 3103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.54	c (round 69, exhaustive) 929 del vars, 3103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.55	c (round 70, fast)       929 del vars, 3128 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.59	c (round 71, exhaustive) 954 del vars, 3128 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.48/2.59	c (round 72, fast)       954 del vars, 3153 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.58/2.63	c (round 73, exhaustive) 979 del vars, 3153 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.58/2.64	c (round 74, fast)       979 del vars, 3178 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
2.58/2.68	c (round 75, exhaustive) 1004 del vars, 3178 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.58/2.68	c (round 76, fast)       1004 del vars, 3203 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.68/2.73	c (round 77, exhaustive) 1029 del vars, 3203 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.68/2.73	c (round 78, fast)       1029 del vars, 3228 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.68/2.77	c (round 79, exhaustive) 1054 del vars, 3228 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.68/2.77	c (round 80, fast)       1054 del vars, 3253 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.78/2.81	c (round 81, exhaustive) 1079 del vars, 3253 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.78/2.82	c (round 82, fast)       1079 del vars, 3278 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.78/2.83	c    (2.8s) probing: 3000/9261 (32.4%) - 5 fixings, 923 aggregations, 12149 implications, 0 bound changes
2.78/2.86	c (round 83, exhaustive) 1104 del vars, 3278 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.78/2.86	c (round 84, fast)       1104 del vars, 3303 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.90	c (round 85, exhaustive) 1129 del vars, 3303 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.91	c (round 86, fast)       1129 del vars, 3328 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.94	c (round 87, exhaustive) 1154 del vars, 3328 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.94	c (round 88, fast)       1154 del vars, 3353 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.99	c (round 89, exhaustive) 1179 del vars, 3353 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.88/2.99	c (round 90, fast)       1179 del vars, 3378 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.98/3.03	c (round 91, exhaustive) 1204 del vars, 3378 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.98/3.04	c (round 92, fast)       1204 del vars, 3403 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.98/3.08	c (round 93, exhaustive) 1229 del vars, 3403 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
2.98/3.08	c (round 94, fast)       1229 del vars, 3428 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.08/3.13	c (round 95, exhaustive) 1254 del vars, 3428 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.08/3.13	c (round 96, fast)       1254 del vars, 3453 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.08/3.18	c (round 97, exhaustive) 1279 del vars, 3453 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.08/3.18	c (round 98, fast)       1279 del vars, 3478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.18/3.22	c (round 99, exhaustive) 1304 del vars, 3478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.18/3.22	c (round 100, fast)       1304 del vars, 3503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.18/3.27	c (round 101, exhaustive) 1329 del vars, 3503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.18/3.27	c (round 102, fast)       1329 del vars, 3528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.28/3.32	c (round 103, exhaustive) 1354 del vars, 3528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.28/3.32	c (round 104, fast)       1354 del vars, 3553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.28/3.36	c (round 105, exhaustive) 1379 del vars, 3553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.28/3.37	c (round 106, fast)       1379 del vars, 3578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.40	c (round 107, exhaustive) 1404 del vars, 3578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.41	c (round 108, fast)       1404 del vars, 3603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.44	c (round 109, exhaustive) 1429 del vars, 3603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.44	c (round 110, fast)       1429 del vars, 3628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.48	c (round 111, exhaustive) 1454 del vars, 3628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.38/3.49	c (round 112, fast)       1454 del vars, 3653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.48/3.53	c (round 113, exhaustive) 1479 del vars, 3653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.48/3.53	c (round 114, fast)       1479 del vars, 3678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.48/3.57	c (round 115, exhaustive) 1504 del vars, 3678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.48/3.57	c (round 116, fast)       1504 del vars, 3703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.60	c    (3.6s) probing: 4000/9261 (43.2%) - 5 fixings, 1360 aggregations, 12150 implications, 0 bound changes
3.58/3.61	c (round 117, exhaustive) 1529 del vars, 3703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.61	c (round 118, fast)       1529 del vars, 3728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.66	c (round 119, exhaustive) 1554 del vars, 3728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.66	c (round 120, fast)       1554 del vars, 3753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.69	c (round 121, exhaustive) 1579 del vars, 3753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.58/3.70	c (round 122, fast)       1579 del vars, 3778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.68/3.73	c (round 123, exhaustive) 1604 del vars, 3778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.68/3.73	c (round 124, fast)       1604 del vars, 3803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.68/3.77	c (round 125, exhaustive) 1629 del vars, 3803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.68/3.77	c (round 126, fast)       1629 del vars, 3828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.78/3.81	c (round 127, exhaustive) 1654 del vars, 3828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.78/3.81	c (round 128, fast)       1654 del vars, 3853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15156 clqs
3.78/3.85	c (round 129, exhaustive) 1679 del vars, 3853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.78/3.85	c (round 130, fast)       1679 del vars, 3878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.78/3.89	c (round 131, exhaustive) 1704 del vars, 3878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.87/3.90	c (round 132, fast)       1704 del vars, 3903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.87/3.94	c (round 133, exhaustive) 1729 del vars, 3903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.87/3.94	c (round 134, fast)       1729 del vars, 3928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.87/3.97	c (round 135, exhaustive) 1754 del vars, 3928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.87/3.98	c (round 136, fast)       1754 del vars, 3953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.02	c (round 137, exhaustive) 1779 del vars, 3953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.02	c (round 138, fast)       1779 del vars, 3978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.05	c (round 139, exhaustive) 1804 del vars, 3978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.05	c (round 140, fast)       1804 del vars, 4003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.09	c (round 141, exhaustive) 1829 del vars, 4003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
3.98/4.09	c (round 142, fast)       1829 del vars, 4028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.08/4.13	c (round 143, exhaustive) 1854 del vars, 4028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.08/4.13	c (round 144, fast)       1854 del vars, 4053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.08/4.18	c (round 145, exhaustive) 1879 del vars, 4053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.08/4.18	c (round 146, fast)       1879 del vars, 4078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.17/4.22	c (round 147, exhaustive) 1904 del vars, 4078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.17/4.22	c (round 148, fast)       1904 del vars, 4103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.17/4.26	c (round 149, exhaustive) 1929 del vars, 4103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.17/4.26	c (round 150, fast)       1929 del vars, 4128 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.30	c (round 151, exhaustive) 1954 del vars, 4128 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.30	c (round 152, fast)       1954 del vars, 4153 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.34	c (round 153, exhaustive) 1979 del vars, 4153 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.34	c (round 154, fast)       1979 del vars, 4178 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.38	c (round 155, exhaustive) 2004 del vars, 4178 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.27/4.38	c (round 156, fast)       2004 del vars, 4203 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.37/4.41	c    (4.4s) probing: 5000/9261 (54.0%) - 5 fixings, 1861 aggregations, 12151 implications, 0 bound changes
4.37/4.42	c (round 157, exhaustive) 2029 del vars, 4203 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.37/4.42	c (round 158, fast)       2029 del vars, 4228 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.37/4.46	c (round 159, exhaustive) 2054 del vars, 4228 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.37/4.46	c (round 160, fast)       2054 del vars, 4253 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.50	c (round 161, exhaustive) 2079 del vars, 4253 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.50	c (round 162, fast)       2079 del vars, 4278 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.54	c (round 163, exhaustive) 2104 del vars, 4278 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.54	c (round 164, fast)       2104 del vars, 4303 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.58	c (round 165, exhaustive) 2129 del vars, 4303 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.47/4.58	c (round 166, fast)       2129 del vars, 4328 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.57/4.61	c (round 167, exhaustive) 2154 del vars, 4328 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.57/4.62	c (round 168, fast)       2154 del vars, 4353 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.57/4.65	c (round 169, exhaustive) 2179 del vars, 4353 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.57/4.66	c (round 170, fast)       2179 del vars, 4378 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.70	c (round 171, exhaustive) 2204 del vars, 4378 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.70	c (round 172, fast)       2204 del vars, 4403 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.74	c (round 173, exhaustive) 2229 del vars, 4403 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.74	c (round 174, fast)       2229 del vars, 4428 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.77	c (round 175, exhaustive) 2254 del vars, 4428 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.67/4.77	c (round 176, fast)       2254 del vars, 4453 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.81	c (round 177, exhaustive) 2279 del vars, 4453 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.81	c (round 178, fast)       2279 del vars, 4478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.84	c (round 179, exhaustive) 2304 del vars, 4478 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.85	c (round 180, fast)       2304 del vars, 4503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.88	c (round 181, exhaustive) 2329 del vars, 4503 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.77/4.88	c (round 182, fast)       2329 del vars, 4528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.87/4.92	c (round 183, exhaustive) 2354 del vars, 4528 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.87/4.92	c (round 184, fast)       2354 del vars, 4553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.87/4.96	c (round 185, exhaustive) 2379 del vars, 4553 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.87/4.96	c (round 186, fast)       2379 del vars, 4578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.87/5.00	c (round 187, exhaustive) 2404 del vars, 4578 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.97/5.00	c (round 188, fast)       2404 del vars, 4603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.97/5.03	c (round 189, exhaustive) 2429 del vars, 4603 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.97/5.03	c (round 190, fast)       2429 del vars, 4628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.97/5.07	c (round 191, exhaustive) 2454 del vars, 4628 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
4.97/5.07	c (round 192, fast)       2454 del vars, 4653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.11	c (round 193, exhaustive) 2479 del vars, 4653 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.11	c (round 194, fast)       2479 del vars, 4678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.14	c (round 195, exhaustive) 2504 del vars, 4678 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.15	c (round 196, fast)       2504 del vars, 4703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.16	c    (5.2s) probing: 6000/9261 (64.8%) - 5 fixings, 2347 aggregations, 12151 implications, 0 bound changes
5.07/5.19	c (round 197, exhaustive) 2529 del vars, 4703 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.07/5.19	c (round 198, fast)       2529 del vars, 4728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.17/5.22	c (round 199, exhaustive) 2554 del vars, 4728 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.17/5.22	c (round 200, fast)       2554 del vars, 4753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.17/5.26	c (round 201, exhaustive) 2579 del vars, 4753 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.17/5.26	c (round 202, fast)       2579 del vars, 4778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.17/5.30	c (round 203, exhaustive) 2604 del vars, 4778 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.27/5.30	c (round 204, fast)       2604 del vars, 4803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.27/5.33	c (round 205, exhaustive) 2629 del vars, 4803 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.27/5.33	c (round 206, fast)       2629 del vars, 4828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.27/5.37	c (round 207, exhaustive) 2654 del vars, 4828 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.27/5.37	c (round 208, fast)       2654 del vars, 4853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.40	c (round 209, exhaustive) 2679 del vars, 4853 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.40	c (round 210, fast)       2679 del vars, 4878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.44	c (round 211, exhaustive) 2704 del vars, 4878 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.45	c (round 212, fast)       2704 del vars, 4903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.48	c (round 213, exhaustive) 2729 del vars, 4903 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.37/5.48	c (round 214, fast)       2729 del vars, 4928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.52	c (round 215, exhaustive) 2754 del vars, 4928 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.52	c (round 216, fast)       2754 del vars, 4953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.55	c (round 217, exhaustive) 2779 del vars, 4953 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.55	c (round 218, fast)       2779 del vars, 4978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.59	c (round 219, exhaustive) 2804 del vars, 4978 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.47/5.59	c (round 220, fast)       2804 del vars, 5003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.62	c (round 221, exhaustive) 2829 del vars, 5003 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.63	c (round 222, fast)       2829 del vars, 5028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.66	c (round 223, exhaustive) 2854 del vars, 5028 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.66	c (round 224, fast)       2854 del vars, 5053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.69	c (round 225, exhaustive) 2879 del vars, 5053 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.57/5.69	c (round 226, fast)       2879 del vars, 5078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.67/5.73	c (round 227, exhaustive) 2904 del vars, 5078 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.67/5.73	c (round 228, fast)       2904 del vars, 5103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 15157 clqs
5.77/5.83	c    (5.8s) probing: 7000/9261 (75.6%) - 5 fixings, 2758 aggregations, 12601 implications, 0 bound changes
6.37/6.45	c    (6.4s) probing: 7894/9261 (85.2%) - 5 fixings, 2758 aggregations, 15915 implications, 0 bound changes
6.37/6.45	c    (6.4s) probing aborted: 1000/1000 successive useless probings
6.37/6.45	c (round 229, exhaustive) 2917 del vars, 5103 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 18909 clqs
6.37/6.45	c (round 230, fast)       2917 del vars, 5128 del conss, 722 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 18909 clqs
6.37/6.46	c (round 231, exhaustive) 2917 del vars, 5135 del conss, 729 add conss, 3007 chg bounds, 353 chg sides, 731 chg coeffs, 5442 upgd conss, 3009 impls, 18909 clqs
6.47/6.54	c    (6.5s) probing: 8000/9261 (86.4%) - 5 fixings, 2759 aggregations, 16164 implications, 0 bound changes
6.98/7.02	c    (7.0s) probing: 8714/9261 (94.1%) - 5 fixings, 2759 aggregations, 16970 implications, 0 bound changes
6.98/7.02	c    (7.0s) probing aborted: 50/50 successive totally useless probings
6.98/7.02	c    (7.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.98/7.04	c    (7.0s) no symmetry present (symcode time: 0.00)
6.98/7.05	c presolving (232 rounds: 232 fast, 119 medium, 118 exhaustive):
6.98/7.05	c  2918 deleted vars, 5135 deleted constraints, 729 added constraints, 3007 tightened bounds, 0 added holes, 353 changed sides, 732 changed coefficients
6.98/7.05	c  3009 implications, 19944 cliques
6.98/7.05	c presolved problem has 6755 variables (6490 bin, 0 int, 265 impl, 0 cont) and 7290 constraints
6.98/7.05	c     439 constraints of type <knapsack>
6.98/7.05	c    1999 constraints of type <setppc>
6.98/7.05	c     655 constraints of type <and>
6.98/7.05	c    3000 constraints of type <linear>
6.98/7.05	c     919 constraints of type <logicor>
6.98/7.05	c     278 constraints of type <indicator>
6.98/7.05	c transformed objective value is always integral (scale: 1)
6.98/7.05	c Presolving Time: 7.00
6.98/7.05	c - non default parameters ----------------------------------------------------------------------
6.98/7.05	c # SCIP version 10.0.0
6.98/7.05	c 
6.98/7.05	c # maximal time in seconds to run
6.98/7.05	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.98/7.05	c limits/time = 3596.998006
6.98/7.05	c 
6.98/7.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.98/7.05	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.98/7.05	c limits/memory = 27900
6.98/7.05	c 
6.98/7.05	c # belongs reading time to solving time?
6.98/7.05	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.98/7.05	c timing/reading = TRUE
6.98/7.05	c 
6.98/7.05	c -----------------------------------------------------------------------------------------------
6.98/7.05	c start solving
6.98/7.05	c 
7.17/7.20	o 151674
7.17/7.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.17/7.20	c p 7.2s|     1 |     0 |     0 |     - |   locks|   0 |6755 |7293 |7932 |   0 |  0 |   3 |   0 | 0.000000e+00 | 1.516740e+05 |    Inf | unknown
7.17/7.25	o 17864
7.17/7.25	c i 7.3s|     1 |     0 |     0 |     - |  oneopt|   0 |6755 |7309 |7932 |   0 |  0 |  19 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
7.47/7.55	c   7.6s|     1 |     0 |  2188 |     - |    85M |   0 |6755 |7309 |7932 |   0 |  0 |  19 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
7.67/7.73	c   7.7s|     1 |     0 |  2839 |     - |    91M |   0 |6755 |7309 |8074 | 142 |  1 |  19 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
7.87/7.95	c   7.9s|     1 |     0 |  3597 |     - |    95M |   0 |6755 |7310 |8148 | 216 |  2 |  20 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
8.16/8.25	c   8.2s|     1 |     0 |  4563 |     - |    97M |   0 |6755 |7311 |8227 | 295 |  3 |  21 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
8.56/8.62	c   8.6s|     1 |     0 |  5353 |     - |   100M |   0 |6755 |7313 |8309 | 377 |  4 |  23 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
8.97/9.07	c   9.1s|     1 |     0 |  6534 |     - |   103M |   0 |6755 |7315 |8400 | 468 |  5 |  25 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
9.27/9.35	c   9.4s|     1 |     0 |  6821 |     - |   110M |   0 |6755 |7316 |8469 | 537 |  6 |  26 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
9.57/9.66	c   9.7s|     1 |     0 |  7394 |     - |   114M |   0 |6755 |7318 |8535 | 603 |  7 |  28 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
9.97/10.09	c  10.1s|     1 |     0 |  8097 |     - |   122M |   0 |6755 |7320 |8604 | 672 |  8 |  30 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
10.46/10.58	c  10.6s|     1 |     0 |  8779 |     - |   130M |   0 |6755 |7321 |8664 | 732 |  9 |  31 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
11.16/11.20	c  11.2s|     1 |     0 |  9232 |     - |   143M |   0 |6755 |7322 |8726 | 794 | 10 |  32 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
11.36/11.42	c  11.4s|     1 |     0 |  9573 |     - |   145M |   0 |6755 |7323 |8732 | 847 | 11 |  33 |   0 | 0.000000e+00 | 1.786400e+04 |    Inf | unknown
17.44/17.57	o 779
17.44/17.57	c d17.6s|     1 |     0 | 23384 |     - |farkasdi|   0 |6755 |7327 |8732 |   0 | 11 |  37 |   0 | 0.000000e+00 | 7.790000e+02 |    Inf | unknown
19.54/19.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.54/19.66	c  19.7s|     1 |     0 | 32665 |     - |   148M |   0 |6755 |7327 |8732 | 847 | 11 |  37 |   0 | 4.878910e-19 | 7.790000e+02 |    Inf | unknown
19.83/19.91	c  19.9s|     1 |     0 | 33181 |     - |   149M |   0 |6755 |7327 |8784 | 899 | 12 |  37 |   0 | 4.878910e-19 | 7.790000e+02 |    Inf | unknown
19.83/19.99	c  20.0s|     1 |     0 | 33403 |     - |   149M |   0 |6755 |7328 |8751 | 923 | 13 |  38 |   0 | 4.878910e-19 | 7.790000e+02 |    Inf | unknown
21.83/21.93	c  21.9s|     1 |     2 | 33832 |     - |   149M |   0 |6755 |7329 |8751 | 923 | 13 |  39 |  20 | 4.878910e-19 | 7.790000e+02 |    Inf | unknown
40.68/40.80	o 293
40.68/40.80	c d40.8s|    59 |    60 | 40363 | 518.1 |pscostdi|  57 |6755 |7334 |8495 |   0 |  1 |  44 | 817 | 4.878910e-19 | 2.930000e+02 |    Inf | unknown
47.46/47.60	c  47.6s|   100 |   101 | 47571 | 376.4 |   167M |  57 |6755 |7334 |8542 |1504 |  1 |  44 |1346 | 4.878910e-19 | 2.930000e+02 |    Inf | unknown
50.96/51.17	o 266
50.96/51.17	c L51.2s|   145 |   146 | 53044 | 296.8 |    alns|  59 |6755 |7334 |8524 |1693 |  2 |  44 |1615 | 4.878910e-19 | 2.660000e+02 |    Inf | unknown
54.64/54.82	c  54.8s|   200 |   201 | 61219 | 255.8 |   176M |  59 |6755 |7346 |8506 |2034 |  2 |  56 |1755 | 4.878910e-19 | 2.660000e+02 |    Inf | unknown
57.03/57.23	c  57.2s|   300 |   299 | 69906 | 199.3 |   187M |  67 |6755 |7350 |8536 |2515 |  1 |  60 |1838 | 4.878910e-19 | 2.660000e+02 |    Inf | unknown
58.73/58.92	o 18
58.73/58.92	c L58.9s|   345 |   175 | 75191 | 188.6 |    rins|  67 |6755 |7349 |8509 |2804 |  1 |  60 |1904 | 4.878910e-19 | 1.800000e+01 |    Inf | unknown
60.42/60.60	c  60.6s|   400 |   228 | 80844 | 176.8 |   198M |  67 |6755 |7127 |8483 |3062 |  4 |  70 |1943 | 4.878910e-19 | 1.800000e+01 |    Inf | unknown
60.72/60.90	o 12
60.72/60.90	c d60.9s|   417 |   233 | 81947 | 172.2 |farkasdi|  67 |6755 |6947 |8531 |   0 |  1 |  74 |1943 | 4.878910e-19 | 1.200000e+01 |    Inf | unknown
61.02/61.29	o 7
61.02/61.29	c d61.3s|   435 |    94 | 83644 | 169.0 |conflict|  67 |6755 |6951 |8504 |   0 |  1 |  88 |1957 | 4.878910e-19 | 7.000000e+00 |    Inf | unknown
62.52/62.71	c  62.7s|   500 |    82 | 86736 | 153.2 |   204M |  67 |6755 |6418 |8555 |3435 |  1 | 116 |1981 | 4.878910e-19 | 7.000000e+00 |    Inf | unknown
62.72/62.95	o 6
62.72/62.95	c r62.9s|   538 |    61 | 87035 | 142.9 |shifting|  70 |6755 |6443 |8575 |3464 |  0 | 141 |1981 | 4.878910e-19 | 6.000000e+00 |    Inf | unknown
63.51/63.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
63.51/63.70	c  63.7s|   600 |    96 | 89742 | 132.6 |   205M |  74 |6755 |6457 |8617 |3619 |  0 | 160 |2004 | 4.878910e-19 | 6.000000e+00 |    Inf | unknown
63.51/63.72	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
63.51/63.72	c (run 1, node 602) performing user restart
63.51/63.72	c 
63.51/63.73	c (restart) converted 341 cuts from the global cut pool into linear constraints
63.51/63.73	c 
63.51/63.76	c presolving:
63.51/63.78	c (round 1, fast)       3524 del vars, 194 del conss, 1 add conss, 15 chg bounds, 73 chg sides, 232 chg coeffs, 0 upgd conss, 3009 impls, 18180 clqs
63.51/63.78	c (round 2, fast)       3533 del vars, 240 del conss, 1 add conss, 15 chg bounds, 73 chg sides, 237 chg coeffs, 0 upgd conss, 3009 impls, 18161 clqs
63.51/63.79	c (round 3, medium)     3866 del vars, 243 del conss, 40 add conss, 15 chg bounds, 112 chg sides, 315 chg coeffs, 0 upgd conss, 3009 impls, 15712 clqs
63.51/63.79	c (round 4, fast)       3874 del vars, 969 del conss, 40 add conss, 15 chg bounds, 114 chg sides, 354 chg coeffs, 2 upgd conss, 3009 impls, 15711 clqs
63.61/63.80	c (round 5, fast)       3879 del vars, 970 del conss, 40 add conss, 15 chg bounds, 114 chg sides, 354 chg coeffs, 2 upgd conss, 3009 impls, 15711 clqs
63.61/63.80	c (round 6, medium)     3879 del vars, 980 del conss, 72 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15743 clqs
63.61/63.80	c (round 7, exhaustive) 3879 del vars, 996 del conss, 78 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15743 clqs
63.61/63.81	c (round 8, exhaustive) 3891 del vars, 1016 del conss, 94 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15675 clqs
63.61/63.81	c (round 9, fast)       3891 del vars, 1022 del conss, 94 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15684 clqs
63.61/63.82	c (round 10, exhaustive) 3891 del vars, 1026 del conss, 95 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15684 clqs
63.61/63.83	c (round 11, exhaustive) 3891 del vars, 1035 del conss, 104 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15684 clqs
63.61/63.83	c (round 12, exhaustive) 3891 del vars, 1041 del conss, 105 add conss, 15 chg bounds, 146 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15685 clqs
63.61/63.85	c (round 13, exhaustive) 3891 del vars, 1056 del conss, 105 add conss, 15 chg bounds, 148 chg sides, 418 chg coeffs, 2 upgd conss, 3009 impls, 15685 clqs
63.61/63.85	c (round 14, fast)       3903 del vars, 1063 del conss, 105 add conss, 15 chg bounds, 149 chg sides, 420 chg coeffs, 2 upgd conss, 3009 impls, 15665 clqs
63.61/63.85	c (round 15, fast)       3903 del vars, 1068 del conss, 105 add conss, 15 chg bounds, 150 chg sides, 422 chg coeffs, 2 upgd conss, 3009 impls, 15665 clqs
63.61/63.85	c (round 16, exhaustive) 3903 del vars, 1074 del conss, 108 add conss, 15 chg bounds, 152 chg sides, 425 chg coeffs, 2 upgd conss, 3009 impls, 15665 clqs
63.61/63.86	c (round 17, exhaustive) 3906 del vars, 1079 del conss, 110 add conss, 15 chg bounds, 152 chg sides, 425 chg coeffs, 2 upgd conss, 3009 impls, 15656 clqs
63.61/63.87	c (round 18, exhaustive) 3906 del vars, 1086 del conss, 110 add conss, 15 chg bounds, 152 chg sides, 425 chg coeffs, 2 upgd conss, 3009 impls, 15656 clqs
63.61/63.88	c (round 19, exhaustive) 3906 del vars, 1088 del conss, 112 add conss, 15 chg bounds, 152 chg sides, 425 chg coeffs, 2416 upgd conss, 3009 impls, 15656 clqs
63.61/63.88	c (round 20, fast)       3910 del vars, 1119 del conss, 112 add conss, 15 chg bounds, 153 chg sides, 450 chg coeffs, 2416 upgd conss, 3009 impls, 15652 clqs
63.61/63.89	c (round 21, medium)     3912 del vars, 1157 del conss, 158 add conss, 15 chg bounds, 205 chg sides, 549 chg coeffs, 2416 upgd conss, 3009 impls, 15665 clqs
63.61/63.89	c (round 22, fast)       3912 del vars, 1160 del conss, 160 add conss, 15 chg bounds, 205 chg sides, 549 chg coeffs, 2416 upgd conss, 3009 impls, 15665 clqs
63.71/63.90	c (round 23, exhaustive) 3913 del vars, 4836 del conss, 1384 add conss, 15 chg bounds, 205 chg sides, 549 chg coeffs, 2416 upgd conss, 3009 impls, 15665 clqs
63.71/63.91	c (round 24, exhaustive) 3914 del vars, 4847 del conss, 1384 add conss, 15 chg bounds, 205 chg sides, 557 chg coeffs, 2416 upgd conss, 3009 impls, 15669 clqs
63.71/63.91	c (round 25, exhaustive) 3960 del vars, 4885 del conss, 1422 add conss, 15 chg bounds, 205 chg sides, 558 chg coeffs, 2416 upgd conss, 3009 impls, 15318 clqs
63.71/63.91	c (round 26, fast)       4000 del vars, 4901 del conss, 1424 add conss, 15 chg bounds, 205 chg sides, 566 chg coeffs, 2416 upgd conss, 3009 impls, 14671 clqs
63.71/63.91	c (round 27, fast)       4037 del vars, 4915 del conss, 1424 add conss, 15 chg bounds, 205 chg sides, 577 chg coeffs, 2416 upgd conss, 3009 impls, 14637 clqs
63.71/63.92	c (round 28, exhaustive) 4037 del vars, 4920 del conss, 1425 add conss, 15 chg bounds, 206 chg sides, 580 chg coeffs, 2416 upgd conss, 3009 impls, 14638 clqs
63.71/63.92	c (round 29, exhaustive) 4040 del vars, 4954 del conss, 1459 add conss, 15 chg bounds, 206 chg sides, 580 chg coeffs, 2416 upgd conss, 3009 impls, 14592 clqs
63.71/63.92	c (round 30, fast)       4041 del vars, 4958 del conss, 1459 add conss, 15 chg bounds, 207 chg sides, 581 chg coeffs, 2416 upgd conss, 3009 impls, 14591 clqs
63.71/63.92	c (round 31, exhaustive) 4041 del vars, 4970 del conss, 1463 add conss, 15 chg bounds, 207 chg sides, 581 chg coeffs, 2416 upgd conss, 3009 impls, 14591 clqs
63.71/63.92	c (round 32, exhaustive) 4041 del vars, 4981 del conss, 1463 add conss, 15 chg bounds, 207 chg sides, 581 chg coeffs, 2416 upgd conss, 3009 impls, 14591 clqs
63.71/63.93	c (round 33, exhaustive) 4046 del vars, 4988 del conss, 1465 add conss, 15 chg bounds, 207 chg sides, 581 chg coeffs, 2416 upgd conss, 3009 impls, 14581 clqs
63.71/63.94	c (round 34, exhaustive) 4049 del vars, 4991 del conss, 1466 add conss, 15 chg bounds, 208 chg sides, 584 chg coeffs, 2416 upgd conss, 3009 impls, 14574 clqs
63.71/63.94	c (round 35, exhaustive) 4052 del vars, 4994 del conss, 1466 add conss, 15 chg bounds, 208 chg sides, 584 chg coeffs, 2416 upgd conss, 3009 impls, 14566 clqs
63.71/63.94	c (round 36, exhaustive) 4054 del vars, 4996 del conss, 1467 add conss, 15 chg bounds, 208 chg sides, 585 chg coeffs, 2416 upgd conss, 3009 impls, 14563 clqs
63.71/63.95	c (round 37, exhaustive) 4054 del vars, 4996 del conss, 1467 add conss, 15 chg bounds, 208 chg sides, 585 chg coeffs, 2428 upgd conss, 3009 impls, 14563 clqs
63.71/63.95	c (round 38, medium)     4054 del vars, 4996 del conss, 1467 add conss, 15 chg bounds, 212 chg sides, 589 chg coeffs, 2428 upgd conss, 3009 impls, 14563 clqs
63.71/63.96	c (round 39, exhaustive) 4054 del vars, 4999 del conss, 1467 add conss, 15 chg bounds, 212 chg sides, 594 chg coeffs, 2428 upgd conss, 3009 impls, 14563 clqs
63.71/63.98	c (round 40, exhaustive) 4057 del vars, 5000 del conss, 1467 add conss, 15 chg bounds, 212 chg sides, 615 chg coeffs, 2428 upgd conss, 3009 impls, 14494 clqs
63.71/63.98	c (round 41, fast)       4071 del vars, 5010 del conss, 1467 add conss, 15 chg bounds, 212 chg sides, 618 chg coeffs, 2429 upgd conss, 3009 impls, 14475 clqs
63.71/63.98	c (round 42, medium)     4071 del vars, 5012 del conss, 1469 add conss, 15 chg bounds, 214 chg sides, 622 chg coeffs, 2429 upgd conss, 3009 impls, 14476 clqs
63.71/63.98	c (round 43, exhaustive) 4071 del vars, 5014 del conss, 1470 add conss, 15 chg bounds, 214 chg sides, 622 chg coeffs, 2429 upgd conss, 3009 impls, 14476 clqs
63.71/63.98	c (round 44, exhaustive) 4074 del vars, 5016 del conss, 1471 add conss, 15 chg bounds, 214 chg sides, 623 chg coeffs, 2429 upgd conss, 3009 impls, 14442 clqs
63.71/63.99	c (round 45, exhaustive) 4074 del vars, 5018 del conss, 1473 add conss, 15 chg bounds, 214 chg sides, 623 chg coeffs, 2429 upgd conss, 3009 impls, 14442 clqs
63.71/64.00	c presolving (46 rounds: 46 fast, 33 medium, 28 exhaustive):
63.71/64.00	c  4074 deleted vars, 5019 deleted constraints, 1473 added constraints, 15 tightened bounds, 0 added holes, 214 changed sides, 623 changed coefficients
63.71/64.00	c  3009 implications, 14443 cliques
63.71/64.00	c presolved problem has 2715 variables (2698 bin, 0 int, 17 impl, 0 cont) and 3215 constraints
63.71/64.00	c     740 constraints of type <knapsack>
63.71/64.00	c     507 constraints of type <setppc>
63.71/64.00	c    1568 constraints of type <and>
63.71/64.00	c     113 constraints of type <linear>
63.71/64.00	c     265 constraints of type <logicor>
63.71/64.00	c       5 constraints of type <bounddisjunction>
63.71/64.00	c      17 constraints of type <indicator>
63.71/64.00	c transformed objective value is always integral (scale: 1)
63.71/64.00	c Presolving Time: 7.24
63.82/64.00	c 
63.82/64.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
63.82/64.04	c  64.0s|     1 |     0 | 90530 |     - |   207M |   0 |2715 |3215 |4682 |   0 |  0 | 164 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.11/64.37	c  64.4s|     1 |     0 | 91448 |     - |   209M |   0 |2715 |3255 |4820 | 141 |  1 | 167 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.21/64.48	c  64.5s|     1 |     0 | 92420 |     - |   209M |   0 |2715 |3254 |4925 | 246 |  2 | 168 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.41/64.61	c  64.6s|     1 |     0 | 93085 |     - |   210M |   0 |2715 |3257 |5081 | 402 |  3 | 171 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.51/64.79	c  64.8s|     1 |     0 | 93973 |     - |   212M |   0 |2715 |3260 |5209 | 530 |  4 | 174 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.71/64.97	c  65.0s|     1 |     0 | 94777 |     - |   212M |   0 |2715 |3262 |5347 | 668 |  5 | 176 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
64.92/65.18	c  65.2s|     1 |     0 | 95826 |     - |   214M |   0 |2715 |3263 |5475 | 796 |  6 | 177 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
65.31/65.52	c  65.5s|     1 |     0 | 97371 |     - |   214M |   0 |2715 |3265 |5642 | 963 |  7 | 179 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
65.71/65.99	c  66.0s|     1 |     0 | 99178 |     - |   216M |   0 |2715 |3266 |5852 |1176 |  8 | 180 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
66.21/66.42	c  66.4s|     1 |     0 |101514 |     - |   217M |   0 |2715 |3266 |5811 |1355 |  9 | 181 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
66.51/66.79	c  66.8s|     1 |     0 |103346 |     - |   218M |   0 |2715 |3266 |5992 |1536 | 10 | 182 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
66.91/67.11	c  67.1s|     1 |     0 |105113 |     - |   220M |   0 |2715 |3267 |6162 |1706 | 11 | 183 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
66.91/67.13	c  67.1s|     1 |     0 |105113 |     - |   220M |   0 |2715 |3267 |6164 |1706 | 11 | 184 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
67.30/67.54	c  67.5s|     1 |     0 |107397 |     - |   220M |   0 |2715 |3267 |6360 |1902 | 12 | 184 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
67.60/67.89	c  67.9s|     1 |     0 |109286 |     - |   221M |   0 |2715 |3268 |6500 |2042 | 13 | 185 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
67.91/68.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
67.91/68.19	c  68.2s|     1 |     0 |110783 |     - |   222M |   0 |2715 |3269 |6670 |2212 | 14 | 186 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
68.40/68.60	c  68.6s|     1 |     0 |112818 |     - |   222M |   0 |2715 |3271 |6420 |2363 | 15 | 188 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
68.60/68.85	c  68.8s|     1 |     0 |114065 |     - |   224M |   0 |2715 |3272 |6554 |2497 | 16 | 189 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
68.90/69.15	c  69.1s|     1 |     0 |115710 |     - |   225M |   0 |2715 |3274 |6707 |2650 | 17 | 191 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
69.10/69.37	c  69.4s|     1 |     0 |116808 |     - |   226M |   0 |2715 |3275 |6819 |2762 | 18 | 192 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
69.30/69.59	c  69.6s|     1 |     0 |118066 |     - |   227M |   0 |2715 |3276 |6916 |2859 | 19 | 193 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
69.60/69.83	c  69.8s|     1 |     0 |119185 |     - |   228M |   0 |2715 |3277 |6995 |2938 | 20 | 194 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
69.90/70.10	c  70.1s|     1 |     0 |120657 |     - |   228M |   0 |2715 |3278 |6305 |3018 | 21 | 195 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
70.00/70.27	c  70.3s|     1 |     0 |121338 |     - |   228M |   0 |2715 |3279 |6369 |3082 | 22 | 196 |2004 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
73.49/73.73	c  73.7s|     1 |     2 |129804 |     - |   229M |   0 |2715 |3288 |6369 |3082 | 22 | 207 |2021 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
76.18/76.42	c  76.4s|   100 |    95 |152544 | 157.8 |   233M |  59 |2715 |3333 |5565 |4276 |  1 | 252 |2021 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
78.57/78.82	c  78.8s|   200 |   195 |174840 | 166.0 |   234M |  59 |2715 |3359 |5329 |5128 |  2 | 278 |2021 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
80.27/80.50	c  80.5s|   300 |   295 |190241 | 164.6 |   235M |  59 |2715 |3393 |5333 |5808 |  2 | 312 |2021 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
81.16/81.41	c  81.4s|   400 |   389 |197939 | 155.9 |   235M |  59 |2715 |3401 |5410 |6242 |  2 | 321 |2021 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
81.36/81.70	o 1
81.36/81.70	c d81.7s|   455 |   360 |200100 | 149.8 |distribu| 107 |2715 |3417 |5494 |   0 |  1 | 341 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |   1.18%
82.16/82.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
82.16/82.43	c  82.4s|   500 |   398 |205700 | 148.8 |   235M | 107 |2715 |3306 |5290 |6580 |  2 | 364 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |   1.18%
83.26/83.53	c  83.5s|   600 |   473 |215432 | 144.5 |   236M | 107 |2715 |3336 |5291 |7252 |  2 | 419 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |   1.18%
84.46/84.76	c  84.8s|   700 |   523 |223551 | 139.6 |   237M | 107 |2715 |3418 |5260 |8026 |  2 | 512 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |   1.35%
85.55/85.86	c  85.9s|   800 |   538 |228985 | 133.5 |   237M | 107 |2715 |3512 |   0 |8629 |  0 | 617 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |   2.75%
86.85/87.19	c  87.2s|   900 |   304 |234339 | 128.2 |   238M | 107 |2715 |3563 |5439 |9038 |  1 | 721 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |  35.76%
88.94/89.22	c  89.2s|  1000 |   214 |250247 | 130.1 |   238M | 107 |2715 |3622 |5286 |9634 |  1 | 794 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |  49.97%
89.94/90.28	c  90.3s|  1100 |   164 |258233 | 127.2 |   239M | 107 |2715 |3729 |5408 |  10k|  1 | 912 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |  63.00%
91.93/92.24	c  92.2s|  1200 |    93 |268201 | 125.7 |   240M | 107 |2715 |3781 |   0 |  10k|  0 | 996 |2021 | 0.000000e+00 | 1.000000e+00 |    Inf |  77.76%
93.23/93.56	c 
93.23/93.56	c SCIP Status        : problem is solved [optimal solution found]
93.23/93.56	c Solving Time (sec) : 93.56
93.23/93.56	c Solving Nodes      : 1295 (total of 1897 nodes in 2 runs)
93.23/93.56	c Primal Bound       : +1.00000000000000e+00 (14 solutions)
93.23/93.56	c Dual Bound         : +1.00000000000000e+00
93.23/93.56	c Gap                : 0.00 %
93.23/93.57	s OPTIMUM FOUND
93.23/93.57	v -x3655 -x3654 x3653 x3652 -x3651 x3650 x3649 -x3648 -x3647 x3646 x3645 -x3644 -x3643 x3642 x3641 x3640 -x3639 x3638 x3637 x3636 
93.23/93.57	v -x3635 x3634 x3633 x3632 x3631 x3630 x3629 x3628 x3627 x3626 x3625 x3624 x3623 x3622 x3621 -x3620 x3619 -x3618 -x3617 x3616 
93.23/93.57	v x3615 x3614 -x3613 x3612 -x3611 -x3610 x3609 x3608 x3607 -x3606 -x3605 x3604 x3603 x3602 -x3601 -x3600 x3599 x3598 x3597 x3596 
93.23/93.57	v x3595 x3594 -x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 x3583 x3582 -x3581 -x3580 -x3579 -x3578 -x3577 
93.23/93.57	v -x3576 -x3575 -x3574 -x3573 -x3572 x3571 -x3570 x3569 x3568 x3567 -x3566 -x3565 x3564 -x3563 x3562 x3561 x3560 -x3559 -x3558 
93.23/93.57	v -x3557 -x3556 -x3555 -x3554 x3553 x3552 -x3551 x3550 -x3549 -x3548 -x3547 -x3546 x3545 x3544 -x3543 -x3542 -x3541 -x3540 
93.23/93.57	v -x3539 -x3538 -x3537 x3536 -x3535 -x3534 -x3533 x3532 -x3531 x3530 x3529 x3528 x3527 x3526 x3525 x3524 -x3523 x3522 x3521 -x3520 
93.23/93.57	v x3519 x3518 x3517 x3516 x3515 x3514 -x3513 x3512 x3511 x3510 -x3509 x3508 x3507 x3506 x3505 x3504 -x3503 x3502 -x3501 -x3500 
93.23/93.57	v -x3499 x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 x3491 -x3490 -x3489 -x3488 x3487 -x3486 -x3485 x3484 -x3483 -x3482 
93.23/93.57	v -x3481 x3480 x3479 x3478 x3477 x3476 x3475 -x3474 -x3473 -x3472 x3471 -x3470 x3469 -x3468 x3467 -x3466 -x3465 x3464 x3463 -x3462 
93.23/93.57	v -x3461 -x3460 x3459 -x3458 x3457 x3456 x3455 x3454 x3453 x3452 -x3451 x3450 x3449 x3448 x3447 x3446 -x3445 -x3444 -x3443 
93.23/93.57	v -x3442 -x3441 x3440 x3439 x3438 -x3437 -x3436 x3435 x3434 x3433 x3432 -x3431 -x3430 x3429 x3428 -x3427 x3426 x3425 -x3424 -x3423 
93.23/93.57	v x3422 x3421 -x3420 -x3419 x3418 x3417 x3416 -x3415 x3414 x3413 x3412 x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 
93.23/93.57	v x3403 -x3402 x3401 x3400 x3399 -x3398 -x3397 x3396 -x3395 -x3394 -x3393 x3392 -x3391 x3390 x3389 -x3388 -x3387 -x3386 -x3385 
93.23/93.57	v x3384 -x3383 x3382 x3381 -x3380 x3379 x3378 x3377 x3376 x3375 -x3374 -x3373 -x3372 x3371 -x3370 x3369 x3368 x3367 x3366 -x3365 
93.23/93.57	v x3364 x3363 x3362 x3361 x3360 x3359 -x3358 x3357 x3356 x3355 x3354 -x3353 -x3352 x3351 -x3350 -x3349 -x3348 -x3347 x3346 
93.23/93.57	v x3345 x3344 -x3343 x3342 x3341 x3340 x3339 x3338 x3337 x3336 x3335 -x3334 x3333 -x3332 -x3331 -x3330 -x3329 -x3328 x3327 x3326 
93.23/93.57	v x3325 x3324 x3323 -x3322 x3321 x3320 x3319 -x3318 -x3317 x3316 x3315 -x3314 -x3313 -x3312 -x3311 -x3310 x3309 x3308 -x3307 
93.23/93.57	v x3306 -x3305 -x3304 -x3303 x3302 x3301 -x3300 x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 x3291 x3290 x3289 x3288 
93.23/93.57	v x3287 -x3286 x3285 x3284 x3283 x3282 x3281 -x3280 x3279 x3278 -x3277 -x3276 -x3275 -x3274 -x3273 x3272 x3271 -x3270 -x3269 
93.23/93.57	v x3268 x3267 x3266 -x3265 -x3264 x3263 -x3262 -x3261 x3260 x3259 x3258 x3257 x3256 x3255 x3254 x3253 -x3252 x3251 x3250 x3249 
93.23/93.57	v x3248 -x3247 -x3246 -x3245 -x3244 x3243 -x3242 -x3241 x3240 x3239 x3238 -x3237 -x3236 -x3235 -x3234 x3233 x3232 x3231 -x3230 
93.23/93.57	v -x3229 -x3228 -x3227 -x3226 x3225 x3224 -x3223 x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 x3214 x3213 x3212 x3211 
93.23/93.57	v x3210 -x3209 x3208 x3207 x3206 x3205 -x3204 x3203 -x3202 x3201 x3200 x3199 x3198 x3197 x3196 x3195 x3194 x3193 -x3192 -x3191 
93.23/93.57	v -x3190 x3189 -x3188 x3187 x3186 -x3185 x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 x3177 x3176 -x3175 -x3174 -x3173 x3172 
93.23/93.57	v -x3171 -x3170 x3169 x3168 -x3167 -x3166 x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 -x3156 x3155 x3154 -x3153 
93.23/93.57	v x3152 x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 x3142 x3141 x3140 -x3139 -x3138 -x3137 x3136 -x3135 -x3134 
93.23/93.57	v -x3133 -x3132 -x3131 -x3130 -x3129 x3128 -x3127 -x3126 -x3125 -x3124 x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 
93.23/93.57	v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 x3101 -x3100 -x3099 -x3098 
93.23/93.57	v -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 -x3083 -x3082 -x3081 -x3080 
93.23/93.57	v -x3079 -x3078 -x3077 -x3076 x3075 -x3074 -x3073 -x3072 x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 -x3064 x3063 -x3062 
93.23/93.57	v -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 x3049 x3048 -x3047 -x3046 -x3045 x3044 
93.23/93.57	v -x3043 -x3042 -x3041 x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 x3033 -x3032 -x3031 x3030 -x3029 x3028 -x3027 -x3026 -x3025 
93.23/93.57	v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 x3007 
93.23/93.57	v x3006 -x3005 -x3004 -x3003 x3002 x3001 x3000 x2999 -x2998 x2997 x2996 -x2995 x2994 x2993 x2992 x2991 -x2990 x2989 x2988 -x2987 
93.23/93.57	v -x2986 x2985 x2984 x2983 x2982 -x2981 x2980 x2979 x2978 x2977 -x2976 x2975 x2974 x2973 x2972 -x2971 -x2970 x2969 x2968 
93.23/93.57	v -x2967 -x2966 x2965 x2964 x2963 x2962 -x2961 -x2960 x2959 x2958 x2957 x2956 -x2955 -x2954 x2953 x2952 x2951 x2950 -x2949 -x2948 
93.23/93.57	v x2947 x2946 x2945 x2944 x2943 x2942 x2941 x2940 x2939 x2938 x2937 x2936 x2935 x2934 x2933 x2932 x2931 x2930 x2929 x2928 -x2927 
93.23/93.57	v -x2926 x2925 x2924 x2923 x2922 x2921 x2920 x2919 x2918 x2917 x2916 x2915 x2914 x2913 x2912 x2911 x2910 x2909 x2908 x2907 
93.23/93.57	v x2906 x2905 x2904 x2903 x2902 x2901 x2900 x2899 x2898 x2897 x2896 x2895 x2894 x2893 -x2892 -x2891 x2890 x2889 x2888 x2887 x2886 
93.23/93.57	v x2885 -x2884 -x2883 x2882 x2881 x2880 x2879 x2878 x2877 -x2876 -x2875 x2874 x2873 x2872 -x2871 x2870 x2869 -x2868 x2867 x2866 
93.23/93.57	v x2865 x2864 x2863 x2862 x2861 x2860 x2859 x2858 x2857 -x2856 -x2855 x2854 -x2853 -x2852 -x2851 -x2850 x2849 -x2848 -x2847 
93.23/93.57	v -x2846 x2845 x2844 x2843 x2842 x2841 x2840 x2839 -x2838 x2837 x2836 -x2835 x2834 -x2833 x2832 x2831 -x2830 x2829 -x2828 x2827 
93.23/93.57	v x2826 x2825 -x2824 x2823 -x2822 x2821 x2820 x2819 -x2818 x2817 -x2816 x2815 x2814 x2813 -x2812 x2811 -x2810 x2809 x2808 x2807 
93.23/93.57	v -x2806 x2805 -x2804 x2803 x2802 -x2801 x2800 -x2799 x2798 x2797 -x2796 x2795 -x2794 x2793 x2792 -x2791 x2790 -x2789 x2788 
93.23/93.57	v x2787 -x2786 x2785 -x2784 x2783 x2782 -x2781 x2780 -x2779 x2778 x2777 -x2776 x2775 -x2774 x2773 x2772 -x2771 x2770 -x2769 x2768 
93.23/93.57	v x2767 -x2766 x2765 -x2764 x2763 x2762 x2761 -x2760 x2759 -x2758 x2757 x2756 x2755 x2754 -x2753 x2752 -x2751 x2750 x2749 x2748 
93.23/93.57	v x2747 x2746 -x2745 -x2744 x2743 x2742 -x2741 x2740 -x2739 x2738 x2737 x2736 x2735 x2734 -x2733 x2732 -x2731 x2730 x2729 
93.23/93.57	v -x2728 x2727 -x2726 x2725 x2724 x2723 -x2722 x2721 -x2720 x2719 x2718 -x2717 x2716 -x2715 x2714 x2713 x2712 -x2711 -x2710 x2709 
93.23/93.57	v x2708 -x2707 x2706 -x2705 x2704 x2703 -x2702 x2701 -x2700 x2699 x2698 -x2697 -x2696 -x2695 x2694 -x2693 x2692 -x2691 -x2690 
93.23/93.57	v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 
93.23/93.57	v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 
93.23/93.57	v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 
93.23/93.57	v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 
93.23/93.57	v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
93.23/93.57	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
93.23/93.57	v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
93.23/93.57	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
93.23/93.57	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
93.23/93.57	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 
93.23/93.57	v -x2510 x2509 x2508 x2507 x2506 x2505 -x2504 -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 
93.23/93.57	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 
93.23/93.57	v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 x2466 x2465 x2464 -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 x2456 
93.23/93.57	v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 
93.23/93.57	v -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 x2428 x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 
93.23/93.57	v -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 
93.23/93.57	v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 
93.23/93.57	v -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 x2372 x2371 x2370 -x2369 -x2368 -x2367 -x2366 
93.23/93.57	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
93.23/93.57	v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 
93.23/93.57	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
93.23/93.57	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
93.23/93.57	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 x2287 -x2286 -x2285 x2284 -x2283 -x2282 -x2281 x2280 -x2279 -x2278 -x2277 -x2276 
93.23/93.57	v x2275 x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 
93.23/93.57	v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 x2241 x2240 -x2239 
93.23/93.57	v -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
93.23/93.57	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
93.23/93.57	v -x2202 -x2201 -x2200 -x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 x2187 -x2186 -x2185 
93.23/93.57	v -x2184 -x2183 x2182 x2181 x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
93.23/93.57	v x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
93.23/93.57	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 x2132 -x2131 
93.23/93.57	v -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122 -x2121 x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
93.23/93.57	v x2112 x2111 x2110 x2109 x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
93.23/93.57	v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 x2080 x2079 x2078 -x2077 -x2076 -x2075 
93.23/93.57	v -x2074 x2073 x2072 -x2071 -x2070 -x2069 -x2068 x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 
93.23/93.57	v -x2056 -x2055 x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 
93.23/93.57	v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
93.23/93.57	v -x2020 -x2019 -x2018 -x2017 x2016 -x2015 -x2014 -x2013 x2012 x2011 x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 
93.23/93.57	v -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 x1988 -x1987 -x1986 -x1985 -x1984 
93.23/93.57	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
93.23/93.57	v -x1965 -x1964 x1963 -x1962 x1961 x1960 x1959 -x1958 x1957 x1956 x1955 x1954 x1953 x1952 x1951 x1950 x1949 -x1948 -x1947 
93.23/93.57	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 x1940 -x1939 -x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 x1931 x1930 -x1929 -x1928 
93.23/93.57	v -x1927 -x1926 -x1925 x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 
93.23/93.57	v -x1909 -x1908 -x1907 -x1906 x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 x1897 x1896 x1895 -x1894 -x1893 -x1892 -x1891 
93.23/93.57	v -x1890 -x1889 -x1888 -x1887 -x1886 x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 
93.23/93.57	v x1872 -x1871 -x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 -x1855 
93.23/93.57	v -x1854 -x1853 x1852 -x1851 x1850 -x1849 -x1848 -x1847 x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
93.23/93.57	v -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 x1822 x1821 x1820 x1819 x1818 
93.23/93.57	v x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 
93.23/93.57	v -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 x1790 -x1789 -x1788 -x1787 -x1786 x1785 -x1784 -x1783 x1782 -x1781 
93.23/93.57	v -x1780 x1779 -x1778 -x1777 x1776 x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 
93.23/93.57	v -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 
93.23/93.57	v -x1743 -x1742 -x1741 x1740 -x1739 -x1738 -x1737 x1736 x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
93.23/93.57	v -x1725 -x1724 -x1723 x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 x1709 -x1708 x1707 
93.23/93.57	v x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1691 -x1690 -x1689 
93.23/93.57	v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 x1682 -x1681 -x1680 x1679 x1678 x1677 -x1676 -x1675 -x1674 -x1673 -x1672 x1671 x1670 
93.23/93.57	v x1669 x1668 x1667 x1666 x1665 x1664 -x1663 -x1662 -x1661 -x1660 x1659 -x1658 -x1657 -x1656 x1655 x1654 x1653 -x1652 -x1651 
93.23/93.57	v -x1650 x1649 -x1648 -x1647 -x1646 x1645 x1644 x1643 -x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 x1635 x1634 x1633 x1632 
93.23/93.57	v x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 x1619 -x1618 -x1617 x1616 -x1615 -x1614 x1613 
93.23/93.57	v x1612 x1611 x1610 x1609 x1608 -x1607 -x1606 x1605 -x1604 x1603 -x1602 x1601 -x1600 x1599 x1598 x1597 x1596 -x1595 -x1594 
93.23/93.57	v -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 
93.23/93.57	v -x1575 -x1574 -x1573 -x1572 x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 
93.23/93.57	v -x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 x1544 x1543 x1542 -x1541 -x1540 -x1539 
93.23/93.57	v x1538 -x1537 -x1536 -x1535 x1534 x1533 x1532 x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
93.23/93.57	v x1519 x1518 -x1517 -x1516 x1515 -x1514 -x1513 x1512 x1511 x1510 x1509 x1508 x1507 -x1506 -x1505 x1504 -x1503 x1502 -x1501 
93.23/93.57	v x1500 -x1499 x1498 x1497 x1496 x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 
93.23/93.57	v -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 
93.23/93.57	v -x1463 x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 x1446 
93.23/93.57	v x1445 x1444 -x1443 x1442 x1441 x1440 x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 -x1432 x1431 x1430 x1429 x1428 x1427 x1426 
93.23/93.57	v x1425 x1424 x1423 -x1422 x1421 x1420 -x1419 -x1418 -x1417 x1416 -x1415 -x1414 -x1413 x1412 x1411 x1410 -x1409 x1408 x1407 -x1406 
93.23/93.57	v x1405 -x1404 x1403 x1402 -x1401 -x1400 -x1399 x1398 -x1397 -x1396 -x1395 x1394 x1393 x1392 x1391 x1390 -x1389 -x1388 -x1387 
93.23/93.57	v -x1386 -x1385 -x1384 -x1383 -x1382 x1381 -x1380 -x1379 -x1378 x1377 x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 x1368 
93.23/93.57	v -x1367 -x1366 x1365 -x1364 -x1363 -x1362 x1361 x1360 x1359 -x1358 -x1357 -x1356 -x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 
93.23/93.57	v -x1348 x1347 x1346 x1345 x1344 x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 x1333 -x1332 -x1331 -x1330 
93.23/93.57	v -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323 x1322 x1321 -x1320 -x1319 -x1318 x1317 -x1316 -x1315 -x1314 x1313 x1312 x1311 
93.23/93.57	v -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294 x1293 x1292 
93.23/93.57	v -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 
93.23/93.57	v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 x1266 x1265 x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 
93.23/93.57	v -x1254 -x1253 -x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 x1242 x1241 x1240 x1239 x1238 x1237 x1236 
93.23/93.57	v x1235 x1234 x1233 x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
93.23/93.57	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
93.23/93.57	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
93.23/93.57	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
93.23/93.57	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
93.23/93.57	v -x1144 -x1143 -x1142 x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
93.23/93.57	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 
93.23/93.57	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
93.23/93.57	v -x1091 x1090 -x1089 -x1088 -x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 
93.23/93.57	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
93.23/93.57	v -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
93.23/93.57	v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 x1019 
93.23/93.57	v x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
93.23/93.57	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
93.23/93.57	v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
93.23/93.57	v -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 
93.23/93.57	v x936 -x935 -x934 -x933 -x932 x931 x930 x929 x928 -x927 -x926 -x925 -x924 x923 x922 x921 x920 -x919 -x918 -x917 -x916 -x915 
93.23/93.57	v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 
93.23/93.57	v -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 x884 x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 
93.23/93.57	v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 
93.23/93.57	v -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 
93.23/93.57	v -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 -x810 -x809 
93.23/93.57	v x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 
93.23/93.57	v x787 -x786 x785 x784 x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 
93.23/93.57	v x765 -x764 -x763 -x762 x761 -x760 x759 x758 x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 
93.23/93.57	v x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 -x721 
93.23/93.57	v x720 -x719 -x718 -x717 -x716 -x715 -x714 x713 x712 x711 -x710 -x709 x708 -x707 -x706 -x705 x704 x703 x702 x701 x700 x699 x698 
93.23/93.57	v x697 -x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
93.23/93.57	v -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 x658 x657 -x656 
93.23/93.57	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 x641 -x640 -x639 x638 -x637 -x636 x635 -x634 
93.23/93.57	v -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 x625 -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 
93.23/93.57	v -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 x597 -x596 x595 -x594 -x593 -x592 -x591 
93.23/93.57	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 
93.23/93.57	v -x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 x559 x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 
93.23/93.57	v -x547 x546 x545 x544 -x543 x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 x531 -x530 -x529 x528 -x527 -x526 
93.23/93.57	v -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 x517 -x516 -x515 x514 -x513 x512 -x511 x510 x509 -x508 -x507 x506 x505 x504 
93.23/93.57	v x503 -x502 -x501 x500 x499 -x498 x497 -x496 x495 x494 x493 -x492 x491 -x490 x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 
93.23/93.57	v -x480 x479 x478 x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 x461 x460 x459 
93.23/93.57	v -x458 x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 x441 -x440 x439 x438 -x437 
93.23/93.57	v -x436 -x435 -x434 -x433 x432 -x431 -x430 x429 x428 x427 x426 x425 x424 x423 -x422 -x421 -x420 -x419 x418 x417 -x416 -x415 
93.23/93.57	v -x414 -x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 x400 x399 -x398 -x397 x396 x395 x394 -x393 -x392 
93.23/93.57	v x391 x390 x389 x388 -x387 -x386 x385 x384 -x383 x382 -x381 x380 x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 x371 x370 
93.23/93.57	v x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 x355 -x354 -x353 x352 -x351 -x350 x349 x348 x347 
93.23/93.57	v x346 x345 x344 -x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 x334 x333 x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 
93.23/93.57	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 
93.23/93.57	v -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 
93.23/93.57	v -x281 -x280 x279 x278 x277 x276 -x275 x274 -x273 x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 
93.23/93.57	v x258 x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 x249 x248 -x247 x246 -x245 x244 x243 x242 x241 x240 x239 -x238 -x237 
93.23/93.57	v -x236 x235 -x234 -x233 -x232 -x231 x230 x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 
93.23/93.57	v -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 x203 x202 -x201 -x200 x199 -x198 -x197 x196 -x195 -x194 -x193 
93.23/93.57	v x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 x183 x182 x181 -x180 x179 -x178 x177 x176 -x175 x174 -x173 x172 x171 
93.23/93.57	v -x170 x169 -x168 x167 x166 x165 x164 -x163 x162 -x161 x160 x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 x151 x150 x149 x148 
93.23/93.57	v x147 x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 
93.23/93.57	v x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 x115 x114 -x113 x112 -x111 x110 x109 -x108 x107 -x106 x105 x104 -x103 -x102 
93.23/93.57	v -x101 x100 -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 
93.23/93.57	v x74 x73 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 
93.23/93.57	v -x47 x46 x45 -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 
93.23/93.57	v x19 x18 -x17 x16 -x15 x14 x13 -x12 x11 -x10 x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1 
93.23/93.57	c SCIP Status        : problem is solved [optimal solution found]
93.23/93.57	c Total Time         :      93.56
93.23/93.57	c   solving          :      93.56
93.23/93.57	c   presolving       :       7.24 (included in solving)
93.23/93.57	c   reading          :       0.03 (included in solving)
93.23/93.57	c   copying          :       0.50 (46 #copies) (minimal 0.01, maximal 0.02, average 0.01)
93.23/93.57	c Original Problem   :
93.23/93.57	c   Problem name     : HOME/instance-4425134-1720879654.wbo
93.23/93.57	c   Variables        : 6664 (6664 binary, 0 integer, 0 implicit integer, 0 continuous)
93.23/93.57	c   Constraints      : 11696 initial, 11696 maximal
93.23/93.57	c   Objective        : minimize, 3009 non-zeros (abs.min = 1, abs.max = 100)
93.23/93.57	c Presolved Problem  :
93.23/93.57	c   Problem name     : t_HOME/instance-4425134-1720879654.wbo
93.23/93.57	c   Variables        : 2715 (2698 binary, 0 integer, 17 implicit integer, 0 continuous)
93.23/93.57	c   Constraints      : 3215 initial, 3892 maximal
93.23/93.57	c   Objective        : minimize, 134 non-zeros (abs.min = 1, abs.max = 5)
93.23/93.57	c   Nonzeros         : 19082 constraint, 26111 clique table
93.23/93.57	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
93.23/93.57	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   domcol           :       0.00       0.00    113          0          0          0          0          0          0          0          0          0
93.23/93.57	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
93.23/93.57	c   gateextraction   :       0.22       0.00    145          0          0          0          0          0       5797       1932          0          0
93.23/93.57	c   implics          :       0.01       0.00    152          0          0          0          0          0          0          0          0          0
93.23/93.57	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
93.23/93.57	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   trivial          :       0.04       0.00    278       3478          0          0          0          0          0          0          0          0
93.23/93.57	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   dualfix          :       0.03       0.00    278         33          0          0          0          0          0          0          0          0
93.23/93.57	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   probing          :       5.78       0.00    112          5       2759          0          0          0          0          0          0          0
93.23/93.57	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
93.23/93.57	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
93.23/93.57	c   vbounds          :       0.01       0.00      4          8        431          0          0          0          0          0          0          0
93.23/93.57	c   knapsack         :       0.06       0.00    561          0          0          0          0          0          8        126        135        294
93.23/93.57	c   setppc           :       0.28       0.00    561          0         27          0          0          0        492          1          1          0
93.23/93.57	c   and              :       0.16       0.00    405         19        138          0          0          0        230        142          0         78
93.23/93.57	c   linear           :       0.35       0.00    397         15         32          0       3022          0        737          0        431        800
93.23/93.57	c   logicor          :       0.19       0.00    538          5          1          0          0          0        157          0          0        183
93.23/93.57	c   bounddisjunction :       0.00       0.00     46          0          0          0          0          0          1          1          0          0
93.23/93.57	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   indicator        :       0.01       0.00    145          9          0          0          0          0       2732          0          0          0
93.23/93.57	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
93.23/93.57	c   root node        :          -          -      -       3724          -          -       3724          -          -          -          -          -
93.23/93.57	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
93.23/93.57	c   benderslp        :          0          0          0          0       1687          0          0        707          0          0          0          0          0          0          0
93.23/93.57	c   integral         :          0          0          0          0       1687          0          0        707          0          0        227          0          0         21       3344
93.23/93.57	c   knapsack         :        740+       757         35      70103          0          0          0        700        814         85       2292       7024        405          0          0
93.23/93.57	c   setppc           :        507+       553         35      69871          0          0          0        352       2638         65      10003         62          1          0          0
93.23/93.57	c   and              :       1568       1568       2410      69774          0          0          0        352      14576        205      65993       9503       5155          0          0
93.23/93.57	c   linear           :        113+       164         35      69821          0          0          0        353        538         34       5580         16          6          0          0
93.23/93.57	c   logicor          :        265+       979         35      24504          0          0          0         18       2203         85       4565         51         13          0          0
93.23/93.57	c   bounddisjunction :          5          5          0        125          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   benders          :          0          0          0          0          0          0          0         16          0          0          0          0          0          0          0
93.23/93.57	c   indicator        :         17         17        153      58597          0          0          0         14          6          0        712          0          0          0          0
93.23/93.57	c   fixedvar         :          0          0          0          0          0          0          0         16          0          0          0          0          0          0          0
93.23/93.57	c   countsols        :          0          0          0          0          0          0          0         16          0          0          0          0          0          0          0
93.23/93.57	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
93.23/93.57	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   integral         :      30.26       0.00       0.00       0.00      30.22       0.00       0.00       0.04       0.00       0.00
93.23/93.57	c   knapsack         :       0.48       0.00       0.06       0.37       0.00       0.00       0.00       0.04       0.00       0.01
93.23/93.57	c   setppc           :       0.68       0.00       0.01       0.58       0.00       0.00       0.00       0.06       0.00       0.03
93.23/93.57	c   and              :       0.96       0.00       0.33       0.50       0.00       0.00       0.00       0.02       0.01       0.11
93.23/93.57	c   linear           :       0.16       0.00       0.01       0.07       0.00       0.00       0.00       0.06       0.00       0.02
93.23/93.57	c   logicor          :       0.07       0.00       0.00       0.06       0.00       0.00       0.00       0.00       0.00       0.01
93.23/93.57	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   indicator        :       0.52       0.00       0.00       0.52       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
93.23/93.57	c   dualfix          :          6          0          0          0
93.23/93.57	c   genvbounds       :          0          0          0          0
93.23/93.57	c   nlobbt           :          0          0          0          0
93.23/93.57	c   obbt             :          0          0          0          0
93.23/93.57	c   probing          :          0          0          0          0
93.23/93.57	c   pseudoobj        :      14891         15          0        790
93.23/93.57	c   redcost          :       5015          0          0       1188
93.23/93.57	c   rootredcost      :          9          0          0       3045
93.23/93.57	c   symmetry         :          0          0          0          0
93.23/93.57	c   vbounds          :      34329          0          0          0
93.23/93.57	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
93.23/93.57	c   dualfix          :       0.04       0.00       0.03       0.00       0.00       0.00
93.23/93.57	c   genvbounds       :       0.01       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
93.23/93.57	c   probing          :       5.78       0.00       5.78       0.00       0.00       0.00
93.23/93.57	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
93.23/93.57	c   redcost          :       0.33       0.00       0.00       0.33       0.00       0.00
93.23/93.57	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
93.23/93.57	c   symmetry         :       0.02       0.00       0.02       0.01       0.00       0.00
93.23/93.57	c   vbounds          :       0.69       0.00       0.01       0.68       0.00       0.01
93.23/93.57	c Symmetry           :
93.23/93.57	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
93.23/93.57	c   orbital reduction:          0 reductions applied,          0 cutoffs
93.23/93.57	c   lexicographic red:          0 reductions applied,          0 cutoffs
93.23/93.57	c   shadow tree time :       0.00 s
93.23/93.57	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
93.23/93.57	c   propagation      :       0.02        457        449          -       1380       14.4         83        8.4          -          -          -
93.23/93.57	c   infeasible LP    :       0.04         79         80          -        129        5.9         14        4.9         79        4.8          0
93.23/93.57	c   bound exceed. LP :       0.02          9          3          -          4        9.2          2        3.5          3      266.0         60
93.23/93.57	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
93.23/93.57	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
93.23/93.57	c   applied globally :       0.01          -          -          1       1055       10.0          -          -         82          -          -
93.23/93.57	c   applied locally  :          -          -          -          0         10       17.3          -          -          0          -          -
93.23/93.57	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
93.23/93.57	c   cut pool         :       0.74          -        530         67          -          -      25335     256801          -          -          -          -          -    (maximal pool size:      14924)
93.23/93.57	c   aggregation      :       0.78       0.00         84         34          0          0      13714     229304          8       5155       5150          5          0
93.23/93.57	c   > cmir           :          -          -          -          -          -          -          -     187337          0       3375       3375          0          -
93.23/93.57	c   > flowcover      :          -          -          -          -          -          -          -      40131          0       1594       1594          0          -
93.23/93.57	c   > knapsackcover  :          -          -          -          -          -          -          -       1836          8        186        181          5          -
93.23/93.57	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   clique           :       0.72       0.00         34         34          0          0         84        153          0         35         35          0          0
93.23/93.57	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   gomory           :       2.38       0.00         68         20          0          0       6411      18516         46        949        946          3          0
93.23/93.57	c   > gomorymi       :          -          -          -          -          -          -          -       8674         24        451        448          3          -
93.23/93.57	c   > strongcg       :          -          -          -          -          -          -          -       9842         22        498        498          0          -
93.23/93.57	c   impliedbounds    :       0.08       0.00         85         34          0         10       4713       7451          0       3077       3077          0          0
93.23/93.57	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   mcf              :       0.01       0.00          2          2          0          0          0          0          0          0          0          0          0
93.23/93.57	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   mixing           :       0.00       0.00         85         34          0          0          0          0          0          0          0          0          0
93.23/93.57	c   multilinear      :       0.00       0.00        140         34          0          0          0          0          0          0          0          0          0
93.23/93.57	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
93.23/93.57	c   rapidlearning    :       2.91       0.00         33          1          0      12680          0          0          0          0          0          0        114
93.23/93.57	c   rlt              :       0.58       0.00         39         20          0          0        153        198          8        114        107          7          0
93.23/93.57	c   zerohalf         :       0.34       0.00         79         32          0          0        326       1179          4        353        352          1          0
93.23/93.57	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
93.23/93.57	c   hybrid           :       0.19       0.00       1571         35      15284          2     258122       4004          2      61291
93.23/93.57	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c Pricers            :   ExecTime  SetupTime      Calls       Vars
93.23/93.57	c   problem variables:       0.00          -          0          0
93.23/93.57	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
93.23/93.57	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c   relpscost        :      30.22       0.00       1687          0          0          0        227          0         21       3344
93.23/93.57	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
93.23/93.57	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
93.23/93.57	c   LP solutions     :       0.00          -          -          0          0
93.23/93.57	c   relax solutions  :       0.00          -          -          0          0
93.23/93.57	c   pseudo solutions :       0.00          -          -          0          0
93.23/93.57	c   strong branching :       0.04          -          -          0          0
93.23/93.57	c   actconsdiving    :       0.00       0.00          0          0          0
93.23/93.57	c   adaptivediving   :       0.51       0.00          6          0          0
93.23/93.57	c   alns             :       0.26       0.00          5          1          1
93.23/93.57	c   bound            :       0.00       0.00          0          0          0
93.23/93.57	c   clique           :       0.09       0.00          1          0          0
93.23/93.57	c   coefdiving       :       0.00       0.00          0          0          0
93.23/93.57	c   completesol      :       0.00       0.00          0          0          0
93.23/93.57	c   conflictdiving   :       0.86       0.00          6          1          1
93.23/93.57	c   crossover        :       0.00       0.00          0          0          0
93.23/93.57	c   dins             :       0.00       0.00          0          0          0
93.23/93.57	c   distributiondivin:       0.47       0.00          5          1          1
93.23/93.57	c   dps              :       0.00       0.00          0          0          0
93.23/93.57	c   dualval          :       0.00       0.00          0          0          0
93.23/93.57	c   farkasdiving     :       9.65       0.00          6          2          2
93.23/93.57	c   feasjump         :       0.00       0.00          0          0          0
93.23/93.57	c   feaspump         :       0.58       0.00          1          0          0
93.23/93.57	c   fixandinfer      :       0.00       0.00          0          0          0
93.23/93.57	c   fracdiving       :       0.41       0.00          6          0          0
93.23/93.57	c   gins             :       0.00       0.00          0          0          0
93.23/93.57	c   guideddiving     :       0.15       0.00          5          0          0
93.23/93.57	c   indcoefdiving    :       0.00       0.00          0          0          0
93.23/93.57	c   indicator        :       0.00       0.00          0          0          0
93.23/93.57	c   indicatordiving  :       0.00       0.00          0          0          0
93.23/93.57	c   indoneopt        :       0.29       0.00         10          0          0
93.23/93.57	c   indrounding      :       0.00       0.00          0          0          0
93.23/93.57	c   indtwoopt        :       0.00       0.00          0          0          0
93.23/93.57	c   intdiving        :       0.00       0.00          0          0          0
93.23/93.57	c   intshifting      :       0.00       0.00          0          0          0
93.23/93.57	c   linesearchdiving :       0.40       0.00          6          0          0
93.23/93.57	c   localbranching   :       0.00       0.00          0          0          0
93.23/93.57	c   locks            :       0.06       0.00          1          1          1
93.23/93.57	c   lpface           :       5.13       0.00          1          0          0
93.23/93.57	c   mpec             :       0.00       0.00          0          0          0
93.23/93.57	c   multistart       :       0.00       0.00          0          0          0
93.23/93.57	c   mutation         :       0.00       0.00          0          0          0
93.23/93.57	c   nlpdiving        :       0.00       0.00          0          0          0
93.23/93.57	c   objpscostdiving  :       0.63       0.00          3          0          0
93.23/93.57	c   octane           :       0.00       0.00          0          0          0
93.23/93.57	c   ofins            :       0.00       0.00          0          0          0
93.23/93.57	c   oneopt           :       0.01       0.00          9          1          1
93.23/93.57	c   padm             :       0.00       0.00          0          0          0
93.23/93.57	c   proximity        :       0.00       0.00          0          0          0
93.23/93.57	c   pscostdiving     :       0.37       0.00          6          1          1
93.23/93.57	c   randrounding     :       0.27       0.00        300          0          0
93.23/93.57	c   rens             :       0.08       0.00          2          0          0
93.23/93.57	c   reoptsols        :       0.00       0.00          0          0          0
93.23/93.57	c   repair           :       0.00       0.00          0          0          0
93.23/93.57	c   rins             :       0.21       0.00          6          1          1
93.23/93.57	c   rootsoldiving    :       0.32       0.00          3          2          0
93.23/93.57	c   rounding         :       0.09       0.00        752          0          0
93.23/93.57	c   scheduler        :       0.00       0.00          0          0          0
93.23/93.57	c   shiftandpropagate:       0.00       0.00          0          0          0
93.23/93.57	c   shifting         :       1.14       0.00        595          1          1
93.23/93.57	c   simplerounding   :       0.01       0.00       3282          0          0
93.23/93.57	c   smallcard        :       0.00       0.00          0          0          0
93.23/93.57	c   subnlp           :       0.00       0.00          0          0          0
93.23/93.57	c   trivial          :       0.01       0.00          4          0          0
93.23/93.57	c   trivialnegation  :       0.00       0.00          0          0          0
93.23/93.57	c   trustregion      :       0.00       0.00          0          0          0
93.23/93.57	c   trysol           :       0.00       0.00          2          2          0
93.23/93.57	c   twoopt           :       0.00       0.00          0          0          0
93.23/93.57	c   undercover       :       0.00       0.00          1          0          0
93.23/93.57	c   vbounds          :       0.04       0.00          2          0          0
93.23/93.57	c   veclendiving     :       0.34       0.00          6          0          0
93.23/93.57	c   zeroobj          :       0.00       0.00          0          0          0
93.23/93.57	c   zirounding       :       0.11       0.00       1000          0          0
93.23/93.57	c   other solutions  :          -          -          -          0          -
93.23/93.57	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	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
93.23/93.57	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
93.23/93.57	c   primal LP        :       0.22        195          0       0.00       0.00       0.22        195
93.23/93.57	c   dual LP          :      19.28       3376     167675      50.86    8697.23       0.15         79
93.23/93.57	c   lex dual LP      :       0.00          0          0       0.00          -
93.23/93.57	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
93.23/93.57	c   resolve instable :       0.00          0          0       0.00          -
93.23/93.57	c   diving/probing LP:      16.47       1043     107377     102.95    6520.14
93.23/93.57	c   strong branching :      21.66       2021     137678      68.12    6355.55          -          -        318
93.23/93.57	c     (at root node) :          -         37      15316     413.95          -
93.23/93.57	c   conflict analysis:       0.01          7         60       8.57          -
93.23/93.57	c B&B Tree           :
93.23/93.57	c   number of runs   :          2
93.23/93.57	c   nodes            :       1295 (1096 internal, 199 leaves)
93.23/93.57	c   feasible leaves  :          0
93.23/93.57	c   infeas. leaves   :        199
93.23/93.57	c   objective leaves :          0
93.23/93.57	c   nodes (total)    :       1897 (1672 internal, 225 leaves)
93.23/93.57	c   nodes left       :          0
93.23/93.57	c   max depth        :        107
93.23/93.57	c   max depth (total):        107
93.23/93.57	c   backtracks       :        196 (15.1%)
93.23/93.57	c   early backtracks :          0 (0.0%)
93.23/93.57	c   nodes exc. ref.  :          0 (0.0%)
93.23/93.57	c   delayed cutoffs  :        818
93.23/93.57	c   repropagations   :       1053 (16347 domain reductions, 119 cutoffs)
93.23/93.57	c   avg switch length:       4.03
93.23/93.57	c   switching time   :       0.70
93.23/93.57	c Root Node          :
93.23/93.57	c   First LP value   : +0.00000000000000e+00
93.23/93.57	c   First LP Iters   :       2188 (34682.26 Iter/sec)
93.23/93.57	c   First LP Time    :       0.06
93.23/93.57	c   Final Dual Bound : +0.00000000000000e+00
93.23/93.57	c   Final Root Iters :      41903
93.23/93.57	c   Root LP Estimate : +7.84195285288402e+00
93.23/93.57	c Solution           :
93.23/93.57	c   Solutions found  :         14 (10 improvements)
93.23/93.57	c   First Solution   : +1.51674000000000e+05   (in run 1, after 1 nodes, 7.19 seconds, depth 1463, found by <locks>)
93.23/93.57	c   Gap First Sol.   :   infinite
93.23/93.57	c   Gap Last Sol.    :   infinite
93.23/93.57	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 455 nodes, 81.69 seconds, depth 154, found by <distributiondiving>)
93.23/93.57	c   Dual Bound       : +1.00000000000000e+00
93.23/93.57	c   Gap              :       0.00 %
93.23/93.57	c Integrals          :      Total       Avg%
93.23/93.57	c   primal-dual      :    9355.68     100.00
93.23/93.57	c   primal-ref       :          -          - (not evaluated)
93.23/93.57	c   dual-ref         :          -          - (not evaluated)
93.33/93.62	c Time complete: 93.3654.

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: 63968 MiB (62763 MiB free)
  memory of node 1: 64473 MiB (62459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425134-1720879654/watcher-4425134-1720879654 -o /tmp/evaluation-result-4425134-1720879654/solver-4425134-1720879654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720879214-711485 --watchdog 3760 pbscip -f HOME/instance-4425134-1720879654.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=711739, runsolver pid=711736

[startup+0.100124 s]*
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128177484/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=106120 memory=65032 CPUtime=0.09 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 13027 0 0 0 8 1 0 0 20 0 1 0 140129204 108666880 16258 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 26530 16258 3577 3540 0 14787 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106120 KiB
Current children cumulated memory: 65032 KiB

[startup+0.205642 s]*
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128173004/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=110216 memory=69016 CPUtime=0.2 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 14020 0 0 0 19 1 0 0 20 0 1 0 140129204 112861184 17254 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 27554 17254 3625 3540 0 15811 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110216 KiB
Current children cumulated memory: 69016 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128172556/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=110640 memory=69280 CPUtime=0.3 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 14110 0 0 0 29 1 0 0 20 0 1 0 140129204 113295360 17320 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 27660 17320 3625 3540 0 15917 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110640 KiB
Current children cumulated memory: 69280 KiB

[startup+0.700192 s]
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128171408/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=111828 memory=70600 CPUtime=0.69 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 14408 0 0 0 68 1 0 0 20 0 1 0 140129204 114511872 17650 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 27957 17650 3625 3540 0 16214 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111828 KiB
Current children cumulated memory: 70600 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128171016/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=113212 memory=72448 CPUtime=1.48 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 14845 0 0 0 147 1 0 0 20 0 1 0 140129204 115929088 18112 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 28303 18112 3625 3540 0 16560 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113212 KiB
Current children cumulated memory: 72448 KiB

[startup+3.10542 s]
/proc/loadavg: 4.08 3.46 2.66 5/255 711740
/proc/meminfo: memFree=128157872/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=114240 memory=73240 CPUtime=3.08 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 15101 0 0 0 307 1 0 0 20 0 1 0 140129204 116981760 18310 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 28560 18310 3625 3540 0 16817 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 114240 KiB
Current children cumulated memory: 73240 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 3.49 2.67 5/255 711740
/proc/meminfo: memFree=128145892/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=115872 memory=75088 CPUtime=6.27 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 15507 0 0 0 626 1 0 0 20 0 1 0 140129204 118652928 18772 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 28968 18772 3625 3540 0 17225 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115872 KiB
Current children cumulated memory: 75088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 3.50 2.68 5/255 711742
/proc/meminfo: memFree=128067376/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=215104 memory=153024 CPUtime=12.66 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 36007 0 0 0 1261 5 0 0 20 0 1 0 140129204 220266496 38256 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 53776 38256 3864 3540 0 42033 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 215104 KiB
Current children cumulated memory: 153024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 3.52 2.70 5/255 711743
/proc/meminfo: memFree=128011332/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=269588 memory=206092 CPUtime=25.42 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 54440 0 0 0 2535 7 0 0 20 0 1 0 140129204 276058112 51523 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 67397 51523 3975 3540 0 55654 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 269588 KiB
Current children cumulated memory: 206092 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 3.58 2.74 5/255 711748
/proc/meminfo: memFree=127850168/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=330536 memory=266540 CPUtime=50.96 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 70326 0 0 0 5086 10 0 0 20 0 1 0 140129204 338468864 66635 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 82634 66635 3979 3540 0 70891 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 330536 KiB
Current children cumulated memory: 266540 KiB

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

# cumulated CPU time of all completed processes:  user=93.2582 s, system=0.116669 s

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

[startup+51.2003 s]
/proc/loadavg: 4.15 3.58 2.74 5/255 711748
/proc/meminfo: memFree=127850168/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=330536 memory=267064 CPUtime=51.05 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 70425 0 0 0 5095 10 0 0 20 0 1 0 140129204 338468864 66766 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 82634 66766 3979 3540 0 70891 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 330536 KiB
Current children cumulated memory: 267064 KiB

[startup+76.8002 s]
/proc/loadavg: 4.10 3.61 2.78 5/255 711752
/proc/meminfo: memFree=127798228/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=325100 memory=264660 CPUtime=76.58 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 71321 0 0 0 7648 10 0 0 20 0 1 0 140129204 332902400 66165 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 81275 66165 3979 3540 0 69532 0
Current children cumulated CPU time: 76.58 s
Current children cumulated vsize: 325100 KiB
Current children cumulated memory: 264660 KiB

[startup+83.2002 s]
/proc/loadavg: 4.09 3.62 2.78 5/255 711845
/proc/meminfo: memFree=127602844/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=325100 memory=264924 CPUtime=82.96 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 71331 0 0 0 8286 10 0 0 20 0 1 0 140129204 332902400 66231 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 81275 66231 3979 3540 0 69532 0
Current children cumulated CPU time: 82.96 s
Current children cumulated vsize: 325100 KiB
Current children cumulated memory: 264924 KiB

[startup+89.6002 s]
/proc/loadavg: 4.08 3.63 2.80 5/255 711847
/proc/meminfo: memFree=127598252/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=326968 memory=266772 CPUtime=89.34 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 71815 0 0 0 8924 10 0 0 20 0 1 0 140129204 334815232 66693 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 81742 66693 3979 3540 0 69999 0
Current children cumulated CPU time: 89.34 s
Current children cumulated vsize: 326968 KiB
Current children cumulated memory: 266772 KiB

[startup+91.2002 s]
/proc/loadavg: 4.08 3.63 2.80 5/255 711847
/proc/meminfo: memFree=127596756/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=327360 memory=267036 CPUtime=90.94 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 71908 0 0 0 9084 10 0 0 20 0 1 0 140129204 335216640 66759 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 81840 66759 3979 3540 0 70097 0
Current children cumulated CPU time: 90.94 s
Current children cumulated vsize: 327360 KiB
Current children cumulated memory: 267036 KiB

[startup+92.8002 s]
/proc/loadavg: 4.08 3.63 2.80 5/255 711847
/proc/meminfo: memFree=127593956/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=329284 memory=269148 CPUtime=92.53 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 72387 0 0 0 9243 10 0 0 20 0 1 0 140129204 337186816 67287 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 82321 67287 3979 3540 0 70578 0
Current children cumulated CPU time: 92.53 s
Current children cumulated vsize: 329284 KiB
Current children cumulated memory: 269148 KiB

[startup+93.2002 s]
/proc/loadavg: 4.08 3.63 2.80 5/255 711847
/proc/meminfo: memFree=127592612/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=329284 memory=269148 CPUtime=92.93 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 72387 0 0 0 9283 10 0 0 20 0 1 0 140129204 337186816 67287 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 82321 67287 3979 3540 0 70578 0
Current children cumulated CPU time: 92.93 s
Current children cumulated vsize: 329284 KiB
Current children cumulated memory: 269148 KiB

[startup+93.6002 s]
/proc/loadavg: 4.08 3.63 2.80 5/255 711847
/proc/meminfo: memFree=127592612/131524600 swapFree=131071996/131071996
[pid=711739] ppid=711736 vsize=329284 memory=269148 CPUtime=93.33 cores=4,6
/proc/711739/stat : 711739 (pbscip) R 711736 711739 708045 0 -1 4194304 72388 0 0 0 9323 10 0 0 20 0 1 0 140129204 337186816 67287 134679101440 4194304 18693293 140721836971536 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 30912512 140721836975082 140721836975181 140721836975181 140721836982222 0
/proc/711739/statm: 82321 67287 3979 3540 0 70578 0
Current children cumulated CPU time: 93.33 s
Current children cumulated vsize: 329284 KiB
Current children cumulated memory: 269148 KiB

Child status: 0

Real time (s): 93.6342
CPU time (s): 93.3749
CPU user time (s): 93.2582
CPU system time (s): 0.116669
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 330536
Max. memory (cumulated for all children) (KiB): 269148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2582
system time used= 0.116669
maximum resident set size= 269148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72394
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= 10
involuntary context switches= 121


# summary of solver processes directly reported to runsolver:
#   pid: 711739
#   total CPU time (s): 93.3749
#   total CPU user time (s): 93.2582
#   total CPU system time (s): 0.116669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186587 second user time and 0.476546 second system time

The end

Begin job on nodeC021 at 2024-07-13 16:07:46
IDJOB=4425134
IDBENCH=143372
IDSOLVER=3038
FILE ID=nodeC021/4425134-1720879654
RUNJOBID= nodeC021-1720879214-711485
SLURM_JOB_ID= 7483762
Free space on /tmp= 890024 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--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-4425134-1720879654/watcher-4425134-1720879654 -o /tmp/evaluation-result-4425134-1720879654/solver-4425134-1720879654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1720879214-711485 --watchdog 3760  pbscip -f HOME/instance-4425134-1720879654.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 0360e68254327c2795750db3df3216c7
RANDOM SEED=524342571

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.267
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.503
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3623.371
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.087
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.670
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.536
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.234
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.915
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128228560 kB
MemAvailable:   128466424 kB
Buffers:          325920 kB
Cached:           755764 kB
SwapCached:            0 kB
Active:           503440 kB
Inactive:        2226152 kB
Active(anon):       1536 kB
Inactive(anon):  1684096 kB
Active(file):     501904 kB
Inactive(file):   542056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19432 kB
Writeback:             4 kB
AnonPages:       1647224 kB
Mapped:           136864 kB
Shmem:             37720 kB
KReclaimable:      67452 kB
Slab:             166656 kB
SReclaimable:      67452 kB
SUnreclaim:        99204 kB
KernelStack:        4080 kB
PageTables:        12580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2159892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    706560 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:      205524 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC021 at 2024-07-13 16:09:20