0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4522330-1751582218.opb>
0.00/0.04	c original problem has 3772 variables (3772 bin, 0 int, 0 impl, 0 cont) and 5527 constraints
0.00/0.04	c problem read in 0.03
0.00/0.06	c presolving:
0.00/0.09	c (round 1, fast)       166 del vars, 10 del conss, 0 add conss, 146 chg bounds, 3362 chg sides, 3362 chg coeffs, 0 upgd conss, 0 impls, 2977 clqs
0.08/0.11	c (round 2, fast)       252 del vars, 150 del conss, 0 add conss, 196 chg bounds, 3571 chg sides, 3565 chg coeffs, 0 upgd conss, 0 impls, 2868 clqs
0.08/0.12	c (round 3, fast)       340 del vars, 290 del conss, 0 add conss, 262 chg bounds, 3730 chg sides, 3724 chg coeffs, 0 upgd conss, 0 impls, 2809 clqs
0.08/0.13	c (round 4, fast)       405 del vars, 391 del conss, 0 add conss, 315 chg bounds, 3878 chg sides, 3872 chg coeffs, 0 upgd conss, 0 impls, 2729 clqs
0.08/0.14	c (round 5, fast)       446 del vars, 461 del conss, 0 add conss, 352 chg bounds, 4020 chg sides, 4014 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.08/0.14	c (round 6, fast)       463 del vars, 489 del conss, 0 add conss, 369 chg bounds, 4145 chg sides, 4139 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.08/0.15	c (round 7, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4244 chg sides, 4238 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.08/0.15	c (round 8, fast)       469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.08/0.18	c    (0.2s) running MILP presolver
0.29/0.40	c    (0.4s) MILP presolver (27 rounds): 0 aggregations, 75 fixings, 0 bound changes
0.29/0.40	c (round 9, medium)     544 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.38/0.41	c (round 10, fast)       544 del vars, 571 del conss, 0 add conss, 375 chg bounds, 4331 chg sides, 4325 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.38/0.44	c (round 11, exhaustive) 544 del vars, 571 del conss, 0 add conss, 375 chg bounds, 4331 chg sides, 4325 chg coeffs, 4956 upgd conss, 0 impls, 2673 clqs
0.48/0.52	c (round 12, medium)     544 del vars, 2112 del conss, 4082 add conss, 375 chg bounds, 4547 chg sides, 8589 chg coeffs, 4956 upgd conss, 0 impls, 6727 clqs
0.48/0.52	c (round 13, fast)       544 del vars, 2121 del conss, 4085 add conss, 375 chg bounds, 4547 chg sides, 8589 chg coeffs, 4956 upgd conss, 0 impls, 6727 clqs
0.48/0.58	c (round 14, exhaustive) 674 del vars, 2311 del conss, 4085 add conss, 375 chg bounds, 4547 chg sides, 8778 chg coeffs, 4956 upgd conss, 0 impls, 6097 clqs
0.48/0.58	c (round 15, fast)       746 del vars, 2705 del conss, 4085 add conss, 375 chg bounds, 4548 chg sides, 8869 chg coeffs, 4956 upgd conss, 0 impls, 6100 clqs
0.48/0.59	c (round 16, medium)     746 del vars, 2817 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8869 chg coeffs, 4956 upgd conss, 0 impls, 6464 clqs
0.58/0.64	c (round 17, exhaustive) 772 del vars, 2863 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8933 chg coeffs, 4956 upgd conss, 0 impls, 6370 clqs
0.58/0.65	c (round 18, fast)       775 del vars, 2940 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8936 chg coeffs, 4956 upgd conss, 0 impls, 6371 clqs
0.58/0.68	c (round 19, exhaustive) 796 del vars, 2943 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8997 chg coeffs, 4956 upgd conss, 0 impls, 6304 clqs
0.58/0.68	c (round 20, fast)       796 del vars, 3007 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 8997 chg coeffs, 4956 upgd conss, 0 impls, 6304 clqs
0.67/0.71	c (round 21, exhaustive) 807 del vars, 3009 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9054 chg coeffs, 4956 upgd conss, 0 impls, 6268 clqs
0.67/0.71	c (round 22, fast)       807 del vars, 3042 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9054 chg coeffs, 4956 upgd conss, 0 impls, 6268 clqs
0.67/0.74	c (round 23, exhaustive) 817 del vars, 3043 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9108 chg coeffs, 4956 upgd conss, 0 impls, 6236 clqs
0.67/0.74	c (round 24, fast)       817 del vars, 3074 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9108 chg coeffs, 4956 upgd conss, 0 impls, 6236 clqs
0.77/0.83	c (round 25, exhaustive) 821 del vars, 3074 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9164 chg coeffs, 4956 upgd conss, 0 impls, 6231 clqs
1.18/1.25	c (round 26, exhaustive) 896 del vars, 3076 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9212 chg coeffs, 4956 upgd conss, 0 impls, 60582 clqs
1.18/1.26	c (round 27, fast)       896 del vars, 3175 del conss, 4460 add conss, 375 chg bounds, 4548 chg sides, 9220 chg coeffs, 4956 upgd conss, 0 impls, 60622 clqs
1.18/1.27	c (round 28, medium)     897 del vars, 3498 del conss, 5432 add conss, 375 chg bounds, 4551 chg sides, 9232 chg coeffs, 4956 upgd conss, 0 impls, 61603 clqs
1.18/1.27	c (round 29, medium)     897 del vars, 3502 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9240 chg coeffs, 4956 upgd conss, 0 impls, 61604 clqs
1.28/1.33	c (round 30, exhaustive) 938 del vars, 3510 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9341 chg coeffs, 4956 upgd conss, 0 impls, 61206 clqs
1.28/1.33	c (round 31, fast)       938 del vars, 3633 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9341 chg coeffs, 4956 upgd conss, 0 impls, 61206 clqs
1.28/1.35	c (round 32, medium)     938 del vars, 3669 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9589 chg coeffs, 4956 upgd conss, 0 impls, 61278 clqs
1.28/1.35	c (round 33, fast)       938 del vars, 3705 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9589 chg coeffs, 4956 upgd conss, 0 impls, 61278 clqs
1.28/1.39	c (round 34, exhaustive) 942 del vars, 3712 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9622 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.28/1.39	c (round 35, fast)       942 del vars, 3724 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9622 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.37/1.43	c (round 36, exhaustive) 942 del vars, 3741 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9649 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.37/1.46	c (round 37, exhaustive) 942 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9674 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.47/1.51	c (round 38, exhaustive) 948 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9699 chg coeffs, 4956 upgd conss, 0 impls, 61254 clqs
1.77/1.84	c (round 39, exhaustive) 1029 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9729 chg coeffs, 4956 upgd conss, 0 impls, 89865 clqs
1.77/1.85	c (round 40, fast)       1029 del vars, 4047 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9905 chg coeffs, 4956 upgd conss, 0 impls, 89914 clqs
2.47/2.59	c (round 41, exhaustive) 1054 del vars, 4047 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9937 chg coeffs, 4956 upgd conss, 0 impls, 96160 clqs
2.47/2.59	c (round 42, fast)       1054 del vars, 4115 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9946 chg coeffs, 4956 upgd conss, 0 impls, 96160 clqs
2.57/2.66	c (round 43, exhaustive) 1088 del vars, 4137 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9978 chg coeffs, 4956 upgd conss, 0 impls, 94009 clqs
2.57/2.66	c (round 44, fast)       1088 del vars, 4241 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9978 chg coeffs, 4956 upgd conss, 0 impls, 94009 clqs
2.67/2.76	c    (2.8s) sparsify aborted: 540/70377 (0.8%) nonzeros canceled - in total 540 canceled nonzeros, 1540 changed coefficients, 0 added nonzeros
2.67/2.76	c (round 45, exhaustive) 1090 del vars, 4241 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 94006 clqs
2.67/2.76	c (round 46, fast)       1108 del vars, 4243 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 93527 clqs
2.67/2.76	c (round 47, fast)       1108 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 93527 clqs
2.77/2.87	c    (2.9s) sparsify aborted: 36/69591 (0.1%) nonzeros canceled - in total 576 canceled nonzeros, 2504 changed coefficients, 0 added nonzeros
2.77/2.87	c (round 48, exhaustive) 1109 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12546 chg coeffs, 4960 upgd conss, 0 impls, 93526 clqs
2.97/3.01	c (round 49, exhaustive) 1135 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12578 chg coeffs, 4964 upgd conss, 0 impls, 93197 clqs
2.97/3.01	c (round 50, fast)       1135 del vars, 4375 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12578 chg coeffs, 4964 upgd conss, 0 impls, 93197 clqs
2.97/3.03	c    (3.0s) running MILP presolver
3.07/3.10	c    (3.1s) MILP presolver (9 rounds): 0 aggregations, 52 fixings, 0 bound changes
3.07/3.12	c (round 51, medium)     1187 del vars, 4409 del conss, 5567 add conss, 393 chg bounds, 4686 chg sides, 12594 chg coeffs, 4964 upgd conss, 0 impls, 93096 clqs
3.07/3.18	c (round 52, exhaustive) 1215 del vars, 4417 del conss, 5567 add conss, 393 chg bounds, 4686 chg sides, 12630 chg coeffs, 4964 upgd conss, 0 impls, 91354 clqs
3.07/3.18	c (round 53, fast)       1215 del vars, 4502 del conss, 5567 add conss, 393 chg bounds, 4686 chg sides, 12630 chg coeffs, 4964 upgd conss, 0 impls, 91354 clqs
3.07/3.19	c (round 54, medium)     1215 del vars, 4504 del conss, 5569 add conss, 393 chg bounds, 4689 chg sides, 12635 chg coeffs, 4964 upgd conss, 0 impls, 91354 clqs
3.16/3.25	c (round 55, exhaustive) 1224 del vars, 4505 del conss, 5569 add conss, 393 chg bounds, 4689 chg sides, 12668 chg coeffs, 4964 upgd conss, 0 impls, 91318 clqs
3.26/3.35	c (round 56, exhaustive) 1250 del vars, 4508 del conss, 5569 add conss, 393 chg bounds, 4689 chg sides, 12706 chg coeffs, 4964 upgd conss, 0 impls, 91483 clqs
3.26/3.35	c (round 57, fast)       1250 del vars, 4555 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12706 chg coeffs, 4964 upgd conss, 0 impls, 91483 clqs
3.36/3.41	c (round 58, exhaustive) 1261 del vars, 4559 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12743 chg coeffs, 4964 upgd conss, 0 impls, 90643 clqs
3.36/3.41	c (round 59, fast)       1261 del vars, 4593 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12743 chg coeffs, 4964 upgd conss, 0 impls, 90643 clqs
3.36/3.46	c (round 60, exhaustive) 1268 del vars, 4593 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12780 chg coeffs, 4964 upgd conss, 0 impls, 90613 clqs
3.46/3.54	c (round 61, exhaustive) 1294 del vars, 4593 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12817 chg coeffs, 4964 upgd conss, 0 impls, 90538 clqs
3.46/3.55	c (round 62, fast)       1294 del vars, 4626 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12817 chg coeffs, 4964 upgd conss, 0 impls, 90538 clqs
3.56/3.60	c (round 63, exhaustive) 1304 del vars, 4629 del conss, 5570 add conss, 393 chg bounds, 4689 chg sides, 12860 chg coeffs, 4964 upgd conss, 0 impls, 89695 clqs
3.56/3.61	c (round 64, fast)       1304 del vars, 4661 del conss, 5571 add conss, 393 chg bounds, 4689 chg sides, 12860 chg coeffs, 4964 upgd conss, 0 impls, 89696 clqs
3.56/3.61	c (round 65, medium)     1304 del vars, 4662 del conss, 5577 add conss, 393 chg bounds, 4695 chg sides, 12967 chg coeffs, 4964 upgd conss, 0 impls, 89702 clqs
3.56/3.66	c (round 66, exhaustive) 1309 del vars, 4666 del conss, 5577 add conss, 393 chg bounds, 4695 chg sides, 13004 chg coeffs, 4964 upgd conss, 0 impls, 89681 clqs
3.56/3.66	c (round 67, medium)     1309 del vars, 4667 del conss, 5584 add conss, 393 chg bounds, 4702 chg sides, 13070 chg coeffs, 4964 upgd conss, 0 impls, 89688 clqs
3.66/3.75	c    (3.7s) sparsify aborted: 39/63392 (0.1%) nonzeros canceled - in total 615 canceled nonzeros, 3355 changed coefficients, 0 added nonzeros
3.66/3.75	c (round 68, exhaustive) 1309 del vars, 4672 del conss, 5584 add conss, 393 chg bounds, 4702 chg sides, 13952 chg coeffs, 4964 upgd conss, 0 impls, 89688 clqs
3.76/3.85	c (round 69, exhaustive) 1334 del vars, 4673 del conss, 5584 add conss, 393 chg bounds, 4702 chg sides, 13983 chg coeffs, 4968 upgd conss, 0 impls, 89281 clqs
3.76/3.85	c (round 70, fast)       1334 del vars, 4712 del conss, 5584 add conss, 393 chg bounds, 4702 chg sides, 13983 chg coeffs, 4968 upgd conss, 0 impls, 89281 clqs
3.76/3.86	c (round 71, medium)     1334 del vars, 4720 del conss, 5592 add conss, 393 chg bounds, 4722 chg sides, 14011 chg coeffs, 4968 upgd conss, 0 impls, 89282 clqs
3.86/3.94	c (round 72, exhaustive) 1403 del vars, 4721 del conss, 5592 add conss, 393 chg bounds, 4722 chg sides, 14070 chg coeffs, 4968 upgd conss, 0 impls, 88999 clqs
3.86/3.95	c (round 73, fast)       1403 del vars, 4782 del conss, 5592 add conss, 393 chg bounds, 4722 chg sides, 14070 chg coeffs, 4968 upgd conss, 0 impls, 88999 clqs
3.86/3.95	c (round 74, medium)     1403 del vars, 4783 del conss, 5600 add conss, 393 chg bounds, 4730 chg sides, 14094 chg coeffs, 4968 upgd conss, 0 impls, 89006 clqs
3.86/3.96	c (round 75, fast)       1403 del vars, 4791 del conss, 5600 add conss, 393 chg bounds, 4730 chg sides, 14094 chg coeffs, 4968 upgd conss, 0 impls, 89006 clqs
3.97/4.06	c (round 76, exhaustive) 1428 del vars, 4791 del conss, 5600 add conss, 393 chg bounds, 4730 chg sides, 14104 chg coeffs, 4968 upgd conss, 0 impls, 88409 clqs
3.97/4.06	c (round 77, fast)       1428 del vars, 4867 del conss, 5600 add conss, 393 chg bounds, 4730 chg sides, 14104 chg coeffs, 4968 upgd conss, 0 impls, 88409 clqs
4.16/4.20	c    (4.2s) probing: 1000/3071 (32.6%) - 390 fixings, 0 aggregations, 195366 implications, 0 bound changes
4.16/4.21	c (round 78, exhaustive) 1453 del vars, 4869 del conss, 5600 add conss, 393 chg bounds, 4730 chg sides, 14114 chg coeffs, 4968 upgd conss, 0 impls, 88854 clqs
4.16/4.21	c (round 79, fast)       1453 del vars, 4931 del conss, 5601 add conss, 393 chg bounds, 4730 chg sides, 14114 chg coeffs, 4968 upgd conss, 0 impls, 88854 clqs
4.26/4.31	c (round 80, exhaustive) 1478 del vars, 4931 del conss, 5601 add conss, 393 chg bounds, 4730 chg sides, 14124 chg coeffs, 4968 upgd conss, 0 impls, 88999 clqs
4.26/4.32	c (round 81, fast)       1478 del vars, 4973 del conss, 5601 add conss, 393 chg bounds, 4730 chg sides, 14124 chg coeffs, 4968 upgd conss, 0 impls, 88999 clqs
4.26/4.33	c (round 82, medium)     1478 del vars, 4975 del conss, 5603 add conss, 393 chg bounds, 4734 chg sides, 14693 chg coeffs, 4968 upgd conss, 0 impls, 89001 clqs
4.36/4.44	c (round 83, exhaustive) 1504 del vars, 4978 del conss, 5603 add conss, 393 chg bounds, 4734 chg sides, 14710 chg coeffs, 4968 upgd conss, 0 impls, 89654 clqs
4.36/4.45	c (round 84, fast)       1504 del vars, 5033 del conss, 5603 add conss, 393 chg bounds, 4734 chg sides, 14710 chg coeffs, 4968 upgd conss, 0 impls, 89654 clqs
4.36/4.46	c (round 85, medium)     1504 del vars, 5050 del conss, 5621 add conss, 393 chg bounds, 4755 chg sides, 16154 chg coeffs, 4968 upgd conss, 0 impls, 89659 clqs
4.46/4.58	c (round 86, exhaustive) 1529 del vars, 5053 del conss, 5621 add conss, 393 chg bounds, 4755 chg sides, 16173 chg coeffs, 4968 upgd conss, 0 impls, 89645 clqs
4.46/4.58	c (round 87, fast)       1529 del vars, 5128 del conss, 5621 add conss, 393 chg bounds, 4755 chg sides, 16173 chg coeffs, 4968 upgd conss, 0 impls, 89645 clqs
4.56/4.69	c (round 88, exhaustive) 1554 del vars, 5131 del conss, 5621 add conss, 393 chg bounds, 4755 chg sides, 16187 chg coeffs, 4968 upgd conss, 0 impls, 91069 clqs
4.56/4.69	c (round 89, fast)       1554 del vars, 5176 del conss, 5621 add conss, 393 chg bounds, 4755 chg sides, 16187 chg coeffs, 4968 upgd conss, 0 impls, 91069 clqs
4.66/4.71	c (round 90, medium)     1554 del vars, 5186 del conss, 5632 add conss, 393 chg bounds, 4767 chg sides, 16675 chg coeffs, 4968 upgd conss, 0 impls, 91071 clqs
4.76/4.81	c    (4.8s) sparsify aborted: 39/56928 (0.1%) nonzeros canceled - in total 654 canceled nonzeros, 4102 changed coefficients, 0 added nonzeros
4.76/4.81	c (round 91, exhaustive) 1554 del vars, 5186 del conss, 5632 add conss, 393 chg bounds, 4767 chg sides, 17439 chg coeffs, 4968 upgd conss, 0 impls, 91071 clqs
4.76/4.82	c (round 92, exhaustive) 1554 del vars, 5188 del conss, 5633 add conss, 393 chg bounds, 4767 chg sides, 17450 chg coeffs, 4972 upgd conss, 0 impls, 91071 clqs
4.76/4.84	c (round 93, exhaustive) 1554 del vars, 5193 del conss, 5633 add conss, 393 chg bounds, 4767 chg sides, 17460 chg coeffs, 4972 upgd conss, 0 impls, 91071 clqs
4.76/4.86	c (round 94, exhaustive) 1556 del vars, 5196 del conss, 5633 add conss, 393 chg bounds, 4767 chg sides, 17469 chg coeffs, 4972 upgd conss, 0 impls, 91069 clqs
4.86/4.98	c (round 95, exhaustive) 1581 del vars, 5196 del conss, 5633 add conss, 393 chg bounds, 4767 chg sides, 17478 chg coeffs, 4972 upgd conss, 0 impls, 91748 clqs
4.86/4.99	c (round 96, fast)       1581 del vars, 5247 del conss, 5633 add conss, 393 chg bounds, 4767 chg sides, 17478 chg coeffs, 4972 upgd conss, 0 impls, 91748 clqs
4.86/4.99	c (round 97, medium)     1581 del vars, 5251 del conss, 5641 add conss, 393 chg bounds, 4795 chg sides, 17514 chg coeffs, 4972 upgd conss, 0 impls, 91749 clqs
4.96/5.04	c (round 98, exhaustive) 1583 del vars, 5254 del conss, 5641 add conss, 393 chg bounds, 4795 chg sides, 17527 chg coeffs, 4972 upgd conss, 0 impls, 91724 clqs
4.96/5.04	c (round 99, fast)       1583 del vars, 5260 del conss, 5641 add conss, 393 chg bounds, 4795 chg sides, 17527 chg coeffs, 4972 upgd conss, 0 impls, 91724 clqs
5.06/5.16	c (round 100, exhaustive) 1608 del vars, 5263 del conss, 5641 add conss, 393 chg bounds, 4795 chg sides, 17540 chg coeffs, 4972 upgd conss, 0 impls, 95458 clqs
5.06/5.16	c (round 101, fast)       1608 del vars, 5332 del conss, 5641 add conss, 393 chg bounds, 4795 chg sides, 17540 chg coeffs, 4972 upgd conss, 0 impls, 95458 clqs
5.06/5.18	c    (5.2s) running MILP presolver
5.16/5.21	c    (5.2s) MILP presolver (4 rounds): 0 aggregations, 0 fixings, 0 bound changes
5.16/5.23	c (round 102, medium)     1608 del vars, 5340 del conss, 5653 add conss, 393 chg bounds, 4807 chg sides, 18020 chg coeffs, 4972 upgd conss, 0 impls, 95460 clqs
5.16/5.26	c (round 103, exhaustive) 1608 del vars, 5340 del conss, 5653 add conss, 393 chg bounds, 4807 chg sides, 18278 chg coeffs, 4972 upgd conss, 0 impls, 95460 clqs
5.26/5.39	c (round 104, exhaustive) 1633 del vars, 5340 del conss, 5653 add conss, 393 chg bounds, 4807 chg sides, 18291 chg coeffs, 4972 upgd conss, 0 impls, 100920 clqs
5.36/5.40	c (round 105, fast)       1633 del vars, 5371 del conss, 5653 add conss, 393 chg bounds, 4807 chg sides, 18291 chg coeffs, 4972 upgd conss, 0 impls, 100920 clqs
5.36/5.41	c (round 106, medium)     1633 del vars, 5382 del conss, 5665 add conss, 393 chg bounds, 4819 chg sides, 18769 chg coeffs, 4972 upgd conss, 0 impls, 100923 clqs
5.36/5.41	c (round 107, fast)       1633 del vars, 5390 del conss, 5665 add conss, 393 chg bounds, 4819 chg sides, 18769 chg coeffs, 4972 upgd conss, 0 impls, 100923 clqs
5.36/5.45	c (round 108, exhaustive) 1633 del vars, 5390 del conss, 5665 add conss, 393 chg bounds, 4819 chg sides, 19012 chg coeffs, 4972 upgd conss, 0 impls, 100923 clqs
5.56/5.62	c (round 109, exhaustive) 1658 del vars, 5390 del conss, 5666 add conss, 393 chg bounds, 4820 chg sides, 19028 chg coeffs, 4972 upgd conss, 0 impls, 101937 clqs
5.56/5.62	c (round 110, fast)       1658 del vars, 5420 del conss, 5666 add conss, 393 chg bounds, 4820 chg sides, 19030 chg coeffs, 4972 upgd conss, 0 impls, 101938 clqs
5.56/5.63	c (round 111, medium)     1658 del vars, 5436 del conss, 5684 add conss, 393 chg bounds, 4842 chg sides, 19284 chg coeffs, 4972 upgd conss, 0 impls, 101941 clqs
5.56/5.63	c (round 112, fast)       1658 del vars, 5444 del conss, 5684 add conss, 393 chg bounds, 4842 chg sides, 19284 chg coeffs, 4972 upgd conss, 0 impls, 101941 clqs
5.66/5.78	c (round 113, exhaustive) 1683 del vars, 5444 del conss, 5684 add conss, 393 chg bounds, 4842 chg sides, 19308 chg coeffs, 4972 upgd conss, 0 impls, 100987 clqs
5.66/5.78	c (round 114, fast)       1683 del vars, 5495 del conss, 5684 add conss, 393 chg bounds, 4842 chg sides, 19311 chg coeffs, 4972 upgd conss, 0 impls, 100988 clqs
5.66/5.79	c (round 115, medium)     1683 del vars, 5502 del conss, 5691 add conss, 393 chg bounds, 4849 chg sides, 19331 chg coeffs, 4972 upgd conss, 0 impls, 100988 clqs
5.66/5.79	c (round 116, fast)       1683 del vars, 5508 del conss, 5691 add conss, 393 chg bounds, 4849 chg sides, 19331 chg coeffs, 4972 upgd conss, 0 impls, 100988 clqs
5.76/5.84	c (round 117, exhaustive) 1683 del vars, 5508 del conss, 5691 add conss, 393 chg bounds, 4849 chg sides, 19558 chg coeffs, 4972 upgd conss, 0 impls, 100988 clqs
5.86/5.94	c (round 118, exhaustive) 1708 del vars, 5508 del conss, 5691 add conss, 393 chg bounds, 4849 chg sides, 19629 chg coeffs, 4972 upgd conss, 0 impls, 100893 clqs
5.86/5.95	c (round 119, fast)       1708 del vars, 5557 del conss, 5691 add conss, 393 chg bounds, 4849 chg sides, 19649 chg coeffs, 4972 upgd conss, 0 impls, 100893 clqs
5.86/5.96	c (round 120, medium)     1708 del vars, 5570 del conss, 5705 add conss, 393 chg bounds, 4869 chg sides, 19885 chg coeffs, 4972 upgd conss, 0 impls, 100895 clqs
5.96/6.03	c (round 121, exhaustive) 1708 del vars, 5575 del conss, 5705 add conss, 393 chg bounds, 4869 chg sides, 19904 chg coeffs, 4972 upgd conss, 0 impls, 100895 clqs
6.06/6.14	c (round 122, exhaustive) 1733 del vars, 5577 del conss, 5706 add conss, 393 chg bounds, 4870 chg sides, 19913 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.06/6.14	c (round 123, fast)       1733 del vars, 5623 del conss, 5706 add conss, 393 chg bounds, 4870 chg sides, 19913 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.06/6.16	c (round 124, medium)     1733 del vars, 5640 del conss, 5723 add conss, 393 chg bounds, 4895 chg sides, 20156 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.06/6.16	c (round 125, fast)       1733 del vars, 5647 del conss, 5723 add conss, 393 chg bounds, 4895 chg sides, 20156 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.15/6.23	c (round 126, exhaustive) 1733 del vars, 5652 del conss, 5723 add conss, 393 chg bounds, 4895 chg sides, 20169 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.15/6.23	c (round 127, medium)     1733 del vars, 5654 del conss, 5725 add conss, 393 chg bounds, 4897 chg sides, 20173 chg coeffs, 4972 upgd conss, 0 impls, 101214 clqs
6.15/6.27	c (round 128, exhaustive) 1806 del vars, 5654 del conss, 5725 add conss, 393 chg bounds, 4897 chg sides, 20182 chg coeffs, 4972 upgd conss, 0 impls, 100812 clqs
6.15/6.27	c (round 129, fast)       1806 del vars, 5702 del conss, 5725 add conss, 393 chg bounds, 4897 chg sides, 20182 chg coeffs, 4972 upgd conss, 0 impls, 100812 clqs
6.35/6.43	c (round 130, exhaustive) 1831 del vars, 5702 del conss, 5725 add conss, 393 chg bounds, 4897 chg sides, 20187 chg coeffs, 4972 upgd conss, 0 impls, 102125 clqs
6.35/6.44	c (round 131, fast)       1831 del vars, 5758 del conss, 5725 add conss, 393 chg bounds, 4897 chg sides, 20187 chg coeffs, 4972 upgd conss, 0 impls, 102125 clqs
6.35/6.44	c (round 132, medium)     1831 del vars, 5763 del conss, 5730 add conss, 393 chg bounds, 4902 chg sides, 20212 chg coeffs, 4972 upgd conss, 0 impls, 102125 clqs
6.35/6.44	c (round 133, fast)       1831 del vars, 5768 del conss, 5730 add conss, 393 chg bounds, 4902 chg sides, 20212 chg coeffs, 4972 upgd conss, 0 impls, 102125 clqs
6.55/6.60	c (round 134, exhaustive) 1856 del vars, 5769 del conss, 5730 add conss, 393 chg bounds, 4902 chg sides, 20219 chg coeffs, 4972 upgd conss, 0 impls, 102712 clqs
6.55/6.60	c (round 135, fast)       1856 del vars, 5808 del conss, 5730 add conss, 393 chg bounds, 4902 chg sides, 20219 chg coeffs, 4972 upgd conss, 0 impls, 102712 clqs
6.55/6.61	c (round 136, medium)     1856 del vars, 5832 del conss, 5754 add conss, 393 chg bounds, 4938 chg sides, 20619 chg coeffs, 4972 upgd conss, 0 impls, 102712 clqs
6.55/6.61	c (round 137, fast)       1856 del vars, 5842 del conss, 5754 add conss, 393 chg bounds, 4938 chg sides, 20619 chg coeffs, 4972 upgd conss, 0 impls, 102712 clqs
6.75/6.84	c (round 138, exhaustive) 1881 del vars, 5842 del conss, 5754 add conss, 393 chg bounds, 4938 chg sides, 20631 chg coeffs, 4972 upgd conss, 0 impls, 102903 clqs
6.75/6.84	c (round 139, fast)       1881 del vars, 5876 del conss, 5754 add conss, 393 chg bounds, 4938 chg sides, 20631 chg coeffs, 4972 upgd conss, 0 impls, 102903 clqs
6.75/6.85	c (round 140, medium)     1881 del vars, 5901 del conss, 5778 add conss, 393 chg bounds, 4976 chg sides, 20878 chg coeffs, 4972 upgd conss, 0 impls, 102903 clqs
6.75/6.85	c (round 141, fast)       1881 del vars, 5914 del conss, 5778 add conss, 393 chg bounds, 4976 chg sides, 20878 chg coeffs, 4972 upgd conss, 0 impls, 102903 clqs
6.96/7.09	c (round 142, exhaustive) 1906 del vars, 5914 del conss, 5778 add conss, 393 chg bounds, 4976 chg sides, 20890 chg coeffs, 4972 upgd conss, 0 impls, 103760 clqs
6.96/7.09	c (round 143, fast)       1906 del vars, 5929 del conss, 5778 add conss, 393 chg bounds, 4976 chg sides, 20890 chg coeffs, 4972 upgd conss, 0 impls, 103760 clqs
6.96/7.10	c (round 144, medium)     1906 del vars, 5963 del conss, 5812 add conss, 393 chg bounds, 5034 chg sides, 21464 chg coeffs, 4972 upgd conss, 0 impls, 103763 clqs
7.06/7.10	c (round 145, fast)       1906 del vars, 5983 del conss, 5812 add conss, 393 chg bounds, 5034 chg sides, 21464 chg coeffs, 4972 upgd conss, 0 impls, 103763 clqs
7.15/7.28	c (round 146, exhaustive) 1931 del vars, 5983 del conss, 5812 add conss, 393 chg bounds, 5034 chg sides, 21477 chg coeffs, 4972 upgd conss, 0 impls, 103450 clqs
7.15/7.28	c (round 147, fast)       1931 del vars, 6025 del conss, 5812 add conss, 393 chg bounds, 5034 chg sides, 21477 chg coeffs, 4972 upgd conss, 0 impls, 103450 clqs
7.15/7.29	c (round 148, medium)     1931 del vars, 6047 del conss, 5834 add conss, 393 chg bounds, 5084 chg sides, 21697 chg coeffs, 4972 upgd conss, 0 impls, 103451 clqs
7.15/7.29	c (round 149, fast)       1931 del vars, 6058 del conss, 5834 add conss, 393 chg bounds, 5084 chg sides, 21697 chg coeffs, 4972 upgd conss, 0 impls, 103451 clqs
7.45/7.52	c (round 150, exhaustive) 1956 del vars, 6058 del conss, 5834 add conss, 393 chg bounds, 5084 chg sides, 21710 chg coeffs, 4972 upgd conss, 0 impls, 103741 clqs
7.45/7.52	c (round 151, fast)       1956 del vars, 6100 del conss, 5834 add conss, 393 chg bounds, 5084 chg sides, 21710 chg coeffs, 4972 upgd conss, 0 impls, 103741 clqs
7.45/7.54	c    (7.5s) running MILP presolver
7.45/7.56	c    (7.6s) MILP presolver (4 rounds): 0 aggregations, 1 fixings, 0 bound changes
7.45/7.57	c (round 152, medium)     1957 del vars, 6114 del conss, 5845 add conss, 393 chg bounds, 5095 chg sides, 21754 chg coeffs, 4972 upgd conss, 0 impls, 103601 clqs
7.45/7.57	c (round 153, fast)       1957 del vars, 6125 del conss, 5845 add conss, 393 chg bounds, 5095 chg sides, 21754 chg coeffs, 4972 upgd conss, 0 impls, 103601 clqs
7.65/7.73	c    (7.7s) probing: 2000/3071 (65.1%) - 914 fixings, 0 aggregations, 378705 implications, 0 bound changes
7.65/7.75	c (round 154, exhaustive) 1982 del vars, 6125 del conss, 5845 add conss, 393 chg bounds, 5095 chg sides, 21764 chg coeffs, 4972 upgd conss, 0 impls, 103904 clqs
7.65/7.75	c (round 155, fast)       1982 del vars, 6179 del conss, 5845 add conss, 393 chg bounds, 5095 chg sides, 21764 chg coeffs, 4972 upgd conss, 0 impls, 103904 clqs
7.65/7.76	c (round 156, medium)     1982 del vars, 6187 del conss, 5853 add conss, 393 chg bounds, 5103 chg sides, 21794 chg coeffs, 4972 upgd conss, 0 impls, 103904 clqs
7.65/7.76	c (round 157, fast)       1982 del vars, 6194 del conss, 5853 add conss, 393 chg bounds, 5103 chg sides, 21794 chg coeffs, 4972 upgd conss, 0 impls, 103904 clqs
7.75/7.82	c (round 158, exhaustive) 1982 del vars, 6205 del conss, 5853 add conss, 393 chg bounds, 5103 chg sides, 21805 chg coeffs, 4972 upgd conss, 0 impls, 103904 clqs
7.75/7.89	c    (7.9s) sparsify finished: 8/44565 (0.0%) nonzeros canceled - in total 662 canceled nonzeros, 4154 changed coefficients, 0 added nonzeros
7.96/8.04	c (round 159, exhaustive) 2007 del vars, 6205 del conss, 5854 add conss, 393 chg bounds, 5104 chg sides, 21870 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
7.96/8.04	c (round 160, fast)       2007 del vars, 6263 del conss, 5854 add conss, 393 chg bounds, 5104 chg sides, 21870 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
7.96/8.05	c (round 161, medium)     2007 del vars, 6269 del conss, 5860 add conss, 393 chg bounds, 5110 chg sides, 21894 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
7.96/8.05	c (round 162, fast)       2007 del vars, 6275 del conss, 5860 add conss, 393 chg bounds, 5110 chg sides, 21894 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
7.96/8.09	c (round 163, exhaustive) 2007 del vars, 6275 del conss, 5860 add conss, 393 chg bounds, 5110 chg sides, 22030 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
8.06/8.12	c (round 164, exhaustive) 2007 del vars, 6279 del conss, 5861 add conss, 393 chg bounds, 5111 chg sides, 22043 chg coeffs, 4972 upgd conss, 0 impls, 104243 clqs
8.06/8.18	c    (8.2s) sparsify aborted: 36/43920 (0.1%) nonzeros canceled - in total 698 canceled nonzeros, 4190 changed coefficients, 0 added nonzeros
8.35/8.43	c (round 165, exhaustive) 2032 del vars, 6279 del conss, 5861 add conss, 393 chg bounds, 5111 chg sides, 22089 chg coeffs, 4974 upgd conss, 0 impls, 104007 clqs
8.35/8.43	c (round 166, fast)       2032 del vars, 6356 del conss, 5861 add conss, 393 chg bounds, 5111 chg sides, 22089 chg coeffs, 4974 upgd conss, 0 impls, 104007 clqs
8.35/8.44	c (round 167, medium)     2032 del vars, 6370 del conss, 5875 add conss, 393 chg bounds, 5125 chg sides, 22135 chg coeffs, 4974 upgd conss, 0 impls, 104011 clqs
8.35/8.49	c (round 168, exhaustive) 2032 del vars, 6375 del conss, 5875 add conss, 393 chg bounds, 5125 chg sides, 22150 chg coeffs, 4974 upgd conss, 0 impls, 104011 clqs
8.45/8.50	c (round 169, exhaustive) 2032 del vars, 6378 del conss, 5875 add conss, 393 chg bounds, 5125 chg sides, 22159 chg coeffs, 4976 upgd conss, 0 impls, 104011 clqs
8.45/8.51	c (round 170, medium)     2032 del vars, 6380 del conss, 5881 add conss, 393 chg bounds, 5125 chg sides, 22159 chg coeffs, 4976 upgd conss, 0 impls, 104011 clqs
8.45/8.57	c    (8.6s) sparsify aborted: 51/43015 (0.1%) nonzeros canceled - in total 749 canceled nonzeros, 4241 changed coefficients, 0 added nonzeros
8.55/8.69	c (round 171, exhaustive) 2057 del vars, 6381 del conss, 5881 add conss, 393 chg bounds, 5125 chg sides, 22217 chg coeffs, 4976 upgd conss, 0 impls, 104399 clqs
8.55/8.69	c (round 172, fast)       2057 del vars, 6424 del conss, 5881 add conss, 393 chg bounds, 5125 chg sides, 22217 chg coeffs, 4976 upgd conss, 0 impls, 104399 clqs
8.55/8.69	c (round 173, medium)     2057 del vars, 6431 del conss, 5888 add conss, 393 chg bounds, 5132 chg sides, 22245 chg coeffs, 4976 upgd conss, 0 impls, 104399 clqs
8.55/8.69	c (round 174, fast)       2057 del vars, 6438 del conss, 5888 add conss, 393 chg bounds, 5132 chg sides, 22245 chg coeffs, 4976 upgd conss, 0 impls, 104399 clqs
8.65/8.74	c (round 175, exhaustive) 2057 del vars, 6444 del conss, 5888 add conss, 393 chg bounds, 5132 chg sides, 22308 chg coeffs, 4976 upgd conss, 0 impls, 104399 clqs
8.65/8.75	c (round 176, medium)     2057 del vars, 6446 del conss, 5892 add conss, 393 chg bounds, 5136 chg sides, 22319 chg coeffs, 4976 upgd conss, 0 impls, 104401 clqs
8.75/8.81	c    (8.8s) sparsify aborted: 34/42050 (0.1%) nonzeros canceled - in total 783 canceled nonzeros, 4275 changed coefficients, 0 added nonzeros
8.75/8.89	c (round 177, exhaustive) 2082 del vars, 6446 del conss, 5892 add conss, 393 chg bounds, 5136 chg sides, 22373 chg coeffs, 4979 upgd conss, 0 impls, 104661 clqs
8.75/8.89	c (round 178, fast)       2082 del vars, 6493 del conss, 5897 add conss, 393 chg bounds, 5136 chg sides, 22373 chg coeffs, 4979 upgd conss, 0 impls, 104661 clqs
8.85/8.90	c (round 179, medium)     2082 del vars, 6505 del conss, 5918 add conss, 393 chg bounds, 5148 chg sides, 22409 chg coeffs, 4979 upgd conss, 0 impls, 104661 clqs
8.85/8.90	c (round 180, fast)       2082 del vars, 6511 del conss, 5918 add conss, 393 chg bounds, 5148 chg sides, 22409 chg coeffs, 4979 upgd conss, 0 impls, 104661 clqs
8.85/9.00	c    (9.0s) sparsify aborted: 17/41028 (0.0%) nonzeros canceled - in total 800 canceled nonzeros, 4292 changed coefficients, 0 added nonzeros
8.85/9.00	c (round 181, exhaustive) 2082 del vars, 6511 del conss, 5918 add conss, 393 chg bounds, 5148 chg sides, 22481 chg coeffs, 4981 upgd conss, 0 impls, 104661 clqs
8.85/9.00	c (round 182, medium)     2082 del vars, 6517 del conss, 5927 add conss, 393 chg bounds, 5151 chg sides, 22493 chg coeffs, 4981 upgd conss, 0 impls, 104661 clqs
8.95/9.05	c    (9.0s) sparsify aborted: 8/41026 (0.0%) nonzeros canceled - in total 808 canceled nonzeros, 4300 changed coefficients, 0 added nonzeros
9.05/9.10	c (round 183, exhaustive) 2107 del vars, 6517 del conss, 5927 add conss, 393 chg bounds, 5151 chg sides, 22514 chg coeffs, 4982 upgd conss, 0 impls, 104556 clqs
9.05/9.11	c (round 184, fast)       2107 del vars, 6583 del conss, 5931 add conss, 393 chg bounds, 5151 chg sides, 22514 chg coeffs, 4982 upgd conss, 0 impls, 104556 clqs
9.05/9.11	c (round 185, medium)     2107 del vars, 6587 del conss, 5938 add conss, 393 chg bounds, 5155 chg sides, 22528 chg coeffs, 4982 upgd conss, 0 impls, 104557 clqs
9.05/9.16	c (round 186, exhaustive) 2107 del vars, 6595 del conss, 5938 add conss, 393 chg bounds, 5155 chg sides, 22540 chg coeffs, 4982 upgd conss, 0 impls, 104557 clqs
9.05/9.16	c (round 187, medium)     2107 del vars, 6596 del conss, 5940 add conss, 393 chg bounds, 5157 chg sides, 22560 chg coeffs, 4982 upgd conss, 0 impls, 104558 clqs
9.15/9.22	c    (9.2s) sparsify finished: 32/39906 (0.1%) nonzeros canceled - in total 840 canceled nonzeros, 4332 changed coefficients, 0 added nonzeros
9.15/9.28	c (round 188, exhaustive) 2132 del vars, 6598 del conss, 5940 add conss, 393 chg bounds, 5157 chg sides, 22607 chg coeffs, 4983 upgd conss, 0 impls, 104713 clqs
9.15/9.29	c (round 189, fast)       2132 del vars, 6674 del conss, 5940 add conss, 393 chg bounds, 5157 chg sides, 22607 chg coeffs, 4983 upgd conss, 0 impls, 104713 clqs
9.15/9.29	c (round 190, medium)     2132 del vars, 6675 del conss, 5943 add conss, 393 chg bounds, 5157 chg sides, 22607 chg coeffs, 4983 upgd conss, 0 impls, 104714 clqs
9.25/9.34	c (round 191, exhaustive) 2132 del vars, 6678 del conss, 5943 add conss, 393 chg bounds, 5157 chg sides, 22614 chg coeffs, 4986 upgd conss, 0 impls, 104714 clqs
9.25/9.34	c (round 192, medium)     2132 del vars, 6680 del conss, 5951 add conss, 393 chg bounds, 5159 chg sides, 22619 chg coeffs, 4986 upgd conss, 0 impls, 104715 clqs
9.35/9.40	c    (9.4s) sparsify finished: 32/38686 (0.1%) nonzeros canceled - in total 872 canceled nonzeros, 4364 changed coefficients, 0 added nonzeros
9.35/9.44	c (round 193, exhaustive) 2157 del vars, 6681 del conss, 5952 add conss, 393 chg bounds, 5159 chg sides, 22657 chg coeffs, 4986 upgd conss, 0 impls, 105316 clqs
9.35/9.45	c (round 194, fast)       2157 del vars, 6756 del conss, 5952 add conss, 393 chg bounds, 5159 chg sides, 22657 chg coeffs, 4986 upgd conss, 0 impls, 105316 clqs
9.35/9.49	c (round 195, exhaustive) 2157 del vars, 6758 del conss, 5952 add conss, 393 chg bounds, 5159 chg sides, 22672 chg coeffs, 4988 upgd conss, 0 impls, 105316 clqs
9.44/9.50	c (round 196, medium)     2157 del vars, 6760 del conss, 5958 add conss, 393 chg bounds, 5159 chg sides, 22672 chg coeffs, 4988 upgd conss, 0 impls, 105316 clqs
9.44/9.56	c    (9.5s) sparsify finished: 16/37365 (0.0%) nonzeros canceled - in total 888 canceled nonzeros, 4380 changed coefficients, 0 added nonzeros
9.44/9.58	c (round 197, exhaustive) 2182 del vars, 6760 del conss, 5958 add conss, 393 chg bounds, 5159 chg sides, 22694 chg coeffs, 4988 upgd conss, 0 impls, 104464 clqs
9.44/9.58	c (round 198, fast)       2182 del vars, 6844 del conss, 5958 add conss, 393 chg bounds, 5159 chg sides, 22694 chg coeffs, 4988 upgd conss, 0 impls, 104464 clqs
9.64/9.70	c (round 199, exhaustive) 2207 del vars, 6844 del conss, 5958 add conss, 393 chg bounds, 5159 chg sides, 22717 chg coeffs, 4989 upgd conss, 0 impls, 102287 clqs
9.64/9.71	c (round 200, fast)       2207 del vars, 6920 del conss, 5958 add conss, 393 chg bounds, 5159 chg sides, 22717 chg coeffs, 4989 upgd conss, 0 impls, 102287 clqs
9.64/9.71	c (round 201, medium)     2207 del vars, 6921 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22717 chg coeffs, 4989 upgd conss, 0 impls, 102287 clqs
9.64/9.79	c (round 202, exhaustive) 2232 del vars, 6923 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22731 chg coeffs, 4989 upgd conss, 0 impls, 100718 clqs
9.64/9.79	c (round 203, fast)       2232 del vars, 6998 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22731 chg coeffs, 4989 upgd conss, 0 impls, 100718 clqs
9.74/9.84	c (round 204, exhaustive) 2233 del vars, 7004 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22752 chg coeffs, 4989 upgd conss, 0 impls, 100711 clqs
9.74/9.88	c    (9.9s) probing: 3000/3071 (97.7%) - 1179 fixings, 0 aggregations, 498984 implications, 0 bound changes
9.74/9.88	c    (9.9s) probing cycle finished: starting next cycle
10.24/10.37	c (round 205, exhaustive) 2260 del vars, 7004 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22767 chg coeffs, 4989 upgd conss, 0 impls, 106470 clqs
10.24/10.37	c (round 206, fast)       2262 del vars, 7098 del conss, 5961 add conss, 393 chg bounds, 5159 chg sides, 22767 chg coeffs, 4989 upgd conss, 0 impls, 106470 clqs
10.24/10.38	c    (10.4s) running MILP presolver
10.34/10.40	c    (10.4s) MILP presolver (4 rounds): 0 aggregations, 1 fixings, 0 bound changes
10.34/10.41	c (round 207, medium)     2263 del vars, 7116 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22856 chg coeffs, 4989 upgd conss, 0 impls, 106291 clqs
10.34/10.45	c (round 208, exhaustive) 2263 del vars, 7131 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22861 chg coeffs, 4989 upgd conss, 0 impls, 106291 clqs
10.34/10.46	c (round 209, exhaustive) 2263 del vars, 7137 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22866 chg coeffs, 4989 upgd conss, 0 impls, 106302 clqs
10.44/10.51	c    (10.5s) sparsify finished: 60/30255 (0.2%) nonzeros canceled - in total 948 canceled nonzeros, 4440 changed coefficients, 0 added nonzeros
10.44/10.51	c (round 210, exhaustive) 2263 del vars, 7137 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22930 chg coeffs, 4989 upgd conss, 0 impls, 106310 clqs
10.44/10.52	c (round 211, exhaustive) 2263 del vars, 7142 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22934 chg coeffs, 4989 upgd conss, 0 impls, 106312 clqs
10.44/10.54	c (round 212, exhaustive) 2263 del vars, 7160 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22938 chg coeffs, 4989 upgd conss, 0 impls, 106318 clqs
10.44/10.55	c (round 213, exhaustive) 2263 del vars, 7160 del conss, 5977 add conss, 393 chg bounds, 5175 chg sides, 22941 chg coeffs, 4993 upgd conss, 0 impls, 106320 clqs
10.44/10.55	c (round 214, medium)     2263 del vars, 7164 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22941 chg coeffs, 4993 upgd conss, 0 impls, 106322 clqs
10.44/10.56	c (round 215, exhaustive) 2263 del vars, 7172 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22944 chg coeffs, 4993 upgd conss, 0 impls, 106322 clqs
10.54/10.66	c (round 216, exhaustive) 2288 del vars, 7172 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22946 chg coeffs, 4993 upgd conss, 0 impls, 107165 clqs
10.54/10.67	c (round 217, fast)       2288 del vars, 7254 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22946 chg coeffs, 4993 upgd conss, 0 impls, 107165 clqs
10.64/10.71	c (round 218, exhaustive) 2288 del vars, 7272 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22947 chg coeffs, 4993 upgd conss, 0 impls, 107165 clqs
10.84/10.96	c (round 219, exhaustive) 2313 del vars, 7273 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22948 chg coeffs, 4993 upgd conss, 0 impls, 106041 clqs
10.84/10.96	c (round 220, fast)       2313 del vars, 7346 del conss, 5989 add conss, 393 chg bounds, 5175 chg sides, 22958 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.84/10.97	c (round 221, medium)     2313 del vars, 7346 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 22974 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.00	c (round 222, exhaustive) 2313 del vars, 7346 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23074 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.02	c (round 223, exhaustive) 2313 del vars, 7346 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23166 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.04	c (round 224, exhaustive) 2313 del vars, 7346 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23257 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.05	c (round 225, exhaustive) 2313 del vars, 7346 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23347 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.08	c (round 226, exhaustive) 2313 del vars, 7353 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23347 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
10.95/11.09	c (round 227, exhaustive) 2313 del vars, 7360 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23347 chg coeffs, 4993 upgd conss, 0 impls, 106042 clqs
11.14/11.21	c    (11.2s) probing: 1000/1653 (60.5%) - 1258 fixings, 0 aggregations, 581345 implications, 0 bound changes
11.44/11.52	c (round 228, exhaustive) 2338 del vars, 7361 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23347 chg coeffs, 4993 upgd conss, 0 impls, 107900 clqs
11.44/11.52	c (round 229, fast)       2338 del vars, 7404 del conss, 5997 add conss, 393 chg bounds, 5183 chg sides, 23353 chg coeffs, 4993 upgd conss, 0 impls, 107903 clqs
11.44/11.53	c (round 230, medium)     2338 del vars, 7416 del conss, 6015 add conss, 393 chg bounds, 5201 chg sides, 23529 chg coeffs, 4993 upgd conss, 0 impls, 107904 clqs
11.44/11.53	c (round 231, fast)       2338 del vars, 7427 del conss, 6015 add conss, 393 chg bounds, 5201 chg sides, 23529 chg coeffs, 4993 upgd conss, 0 impls, 107904 clqs
11.54/11.61	c    (11.6s) sparsify finished: 640/25450 (2.5%) nonzeros canceled - in total 1588 canceled nonzeros, 5080 changed coefficients, 0 added nonzeros
11.54/11.61	c (round 232, exhaustive) 2338 del vars, 7429 del conss, 6015 add conss, 393 chg bounds, 5201 chg sides, 24175 chg coeffs, 4993 upgd conss, 0 impls, 107904 clqs
11.54/11.62	c (round 233, exhaustive) 2338 del vars, 7431 del conss, 6016 add conss, 393 chg bounds, 5202 chg sides, 24179 chg coeffs, 4993 upgd conss, 0 impls, 107923 clqs
11.54/11.63	c (round 234, exhaustive) 2338 del vars, 7433 del conss, 6016 add conss, 393 chg bounds, 5202 chg sides, 24180 chg coeffs, 5073 upgd conss, 0 impls, 107923 clqs
11.54/11.63	c (round 235, medium)     2338 del vars, 7482 del conss, 6193 add conss, 393 chg bounds, 5232 chg sides, 24262 chg coeffs, 5073 upgd conss, 0 impls, 108149 clqs
11.54/11.63	c (round 236, fast)       2338 del vars, 7496 del conss, 6207 add conss, 393 chg bounds, 5232 chg sides, 24262 chg coeffs, 5073 upgd conss, 0 impls, 108149 clqs
11.84/11.92	c (round 237, exhaustive) 2363 del vars, 7498 del conss, 6207 add conss, 393 chg bounds, 5232 chg sides, 24266 chg coeffs, 5073 upgd conss, 0 impls, 107699 clqs
11.84/11.92	c (round 238, fast)       2363 del vars, 7569 del conss, 6208 add conss, 393 chg bounds, 5232 chg sides, 24266 chg coeffs, 5073 upgd conss, 0 impls, 107699 clqs
11.84/11.95	c (round 239, exhaustive) 2363 del vars, 7574 del conss, 6208 add conss, 393 chg bounds, 5232 chg sides, 24271 chg coeffs, 5073 upgd conss, 0 impls, 107701 clqs
11.94/12.04	c (round 240, exhaustive) 2388 del vars, 7574 del conss, 6209 add conss, 393 chg bounds, 5233 chg sides, 24281 chg coeffs, 5073 upgd conss, 0 impls, 107702 clqs
11.94/12.04	c (round 241, fast)       2388 del vars, 7649 del conss, 6209 add conss, 393 chg bounds, 5233 chg sides, 24281 chg coeffs, 5073 upgd conss, 0 impls, 107702 clqs
11.94/12.08	c (round 242, exhaustive) 2388 del vars, 7658 del conss, 6209 add conss, 393 chg bounds, 5233 chg sides, 24307 chg coeffs, 5073 upgd conss, 0 impls, 107703 clqs
11.94/12.08	c (round 243, medium)     2388 del vars, 7663 del conss, 6216 add conss, 393 chg bounds, 5240 chg sides, 24321 chg coeffs, 5073 upgd conss, 0 impls, 107705 clqs
12.04/12.14	c (round 244, exhaustive) 2413 del vars, 7663 del conss, 6216 add conss, 393 chg bounds, 5240 chg sides, 24333 chg coeffs, 5073 upgd conss, 0 impls, 106998 clqs
12.04/12.14	c (round 245, fast)       2413 del vars, 7739 del conss, 6216 add conss, 393 chg bounds, 5240 chg sides, 24333 chg coeffs, 5073 upgd conss, 0 impls, 106998 clqs
12.04/12.18	c (round 246, exhaustive) 2413 del vars, 7747 del conss, 6216 add conss, 393 chg bounds, 5240 chg sides, 24356 chg coeffs, 5073 upgd conss, 0 impls, 106998 clqs
12.04/12.18	c (round 247, medium)     2413 del vars, 7750 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24373 chg coeffs, 5073 upgd conss, 0 impls, 106999 clqs
12.14/12.26	c (round 248, exhaustive) 2438 del vars, 7750 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24392 chg coeffs, 5073 upgd conss, 0 impls, 105268 clqs
12.14/12.26	c (round 249, fast)       2438 del vars, 7828 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24392 chg coeffs, 5073 upgd conss, 0 impls, 105268 clqs
12.14/12.29	c (round 250, exhaustive) 2438 del vars, 7833 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24413 chg coeffs, 5073 upgd conss, 0 impls, 105275 clqs
12.24/12.31	c (round 251, exhaustive) 2438 del vars, 7847 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24431 chg coeffs, 5073 upgd conss, 0 impls, 105279 clqs
12.24/12.36	c (round 252, exhaustive) 2463 del vars, 7847 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24447 chg coeffs, 5073 upgd conss, 0 impls, 102454 clqs
12.24/12.37	c (round 253, fast)       2463 del vars, 7925 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24447 chg coeffs, 5073 upgd conss, 0 impls, 102454 clqs
12.34/12.43	c (round 254, exhaustive) 2488 del vars, 7925 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24461 chg coeffs, 5073 upgd conss, 0 impls, 97499 clqs
12.34/12.44	c (round 255, fast)       2488 del vars, 8000 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24461 chg coeffs, 5073 upgd conss, 0 impls, 97499 clqs
12.44/12.50	c (round 256, exhaustive) 2513 del vars, 8000 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24477 chg coeffs, 5073 upgd conss, 0 impls, 91169 clqs
12.44/12.51	c (round 257, fast)       2513 del vars, 8076 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24477 chg coeffs, 5073 upgd conss, 0 impls, 91169 clqs
12.44/12.51	c    (12.5s) running MILP presolver
12.44/12.52	c    (12.5s) MILP presolver (4 rounds): 0 aggregations, 0 fixings, 0 bound changes
12.44/12.57	c    (12.6s) probing cycle finished: starting next cycle
12.53/12.62	c (round 258, exhaustive) 2553 del vars, 8076 del conss, 6223 add conss, 393 chg bounds, 5248 chg sides, 24502 chg coeffs, 5073 upgd conss, 0 impls, 84396 clqs
12.53/12.63	c (round 259, fast)       2553 del vars, 8184 del conss, 6243 add conss, 393 chg bounds, 5248 chg sides, 24508 chg coeffs, 5073 upgd conss, 0 impls, 84416 clqs
12.53/12.63	c (round 260, medium)     2553 del vars, 8299 del conss, 6607 add conss, 393 chg bounds, 5276 chg sides, 24594 chg coeffs, 5073 upgd conss, 0 impls, 84840 clqs
12.53/12.63	c (round 261, fast)       2553 del vars, 8312 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 24594 chg coeffs, 5073 upgd conss, 0 impls, 84840 clqs
12.53/12.65	c (round 262, exhaustive) 2553 del vars, 8316 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 24601 chg coeffs, 5073 upgd conss, 0 impls, 84840 clqs
12.53/12.68	c    (12.7s) sparsify finished: 28/18314 (0.2%) nonzeros canceled - in total 1616 canceled nonzeros, 5660 changed coefficients, 0 added nonzeros
12.53/12.68	c (round 263, exhaustive) 2553 del vars, 8316 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25183 chg coeffs, 5073 upgd conss, 0 impls, 84846 clqs
12.63/12.70	c (round 264, exhaustive) 2553 del vars, 8346 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25183 chg coeffs, 5073 upgd conss, 0 impls, 84846 clqs
12.63/12.70	c (round 265, exhaustive) 2553 del vars, 8346 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25183 chg coeffs, 5077 upgd conss, 0 impls, 84846 clqs
12.73/12.80	c (round 266, exhaustive) 2581 del vars, 8346 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25183 chg coeffs, 5077 upgd conss, 0 impls, 87276 clqs
12.73/12.80	c (round 267, fast)       2584 del vars, 8430 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25203 chg coeffs, 5077 upgd conss, 0 impls, 87281 clqs
12.83/12.95	c (round 268, exhaustive) 2611 del vars, 8432 del conss, 6620 add conss, 393 chg bounds, 5276 chg sides, 25203 chg coeffs, 5077 upgd conss, 0 impls, 94520 clqs
12.83/12.95	c (round 269, fast)       2611 del vars, 8515 del conss, 6622 add conss, 393 chg bounds, 5276 chg sides, 25217 chg coeffs, 5077 upgd conss, 0 impls, 94523 clqs
12.83/12.96	c (round 270, exhaustive) 2611 del vars, 8517 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25217 chg coeffs, 5077 upgd conss, 0 impls, 94523 clqs
12.83/12.98	c (round 271, exhaustive) 2611 del vars, 8520 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25217 chg coeffs, 5077 upgd conss, 0 impls, 94523 clqs
12.94/13.01	c (round 272, exhaustive) 2639 del vars, 8522 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25225 chg coeffs, 5077 upgd conss, 0 impls, 88263 clqs
12.94/13.02	c (round 273, fast)       2639 del vars, 8600 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25254 chg coeffs, 5077 upgd conss, 0 impls, 88270 clqs
12.94/13.04	c (round 274, exhaustive) 2639 del vars, 8606 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25254 chg coeffs, 5077 upgd conss, 0 impls, 88270 clqs
13.04/13.14	c (round 275, exhaustive) 2682 del vars, 8608 del conss, 6623 add conss, 393 chg bounds, 5276 chg sides, 25254 chg coeffs, 5077 upgd conss, 0 impls, 86489 clqs
13.04/13.15	c (round 276, fast)       2682 del vars, 8722 del conss, 6625 add conss, 393 chg bounds, 5276 chg sides, 25316 chg coeffs, 5077 upgd conss, 0 impls, 86500 clqs
13.04/13.15	c (round 277, exhaustive) 2682 del vars, 8724 del conss, 6626 add conss, 393 chg bounds, 5276 chg sides, 25316 chg coeffs, 5077 upgd conss, 0 impls, 86500 clqs
13.04/13.17	c (round 278, exhaustive) 2682 del vars, 8743 del conss, 6626 add conss, 393 chg bounds, 5276 chg sides, 25316 chg coeffs, 5077 upgd conss, 0 impls, 86500 clqs
13.53/13.61	c    (13.6s) probing: 1000/1377 (72.6%) - 1630 fixings, 0 aggregations, 772921 implications, 0 bound changes
13.53/13.69	c (round 279, exhaustive) 2707 del vars, 8745 del conss, 6626 add conss, 393 chg bounds, 5276 chg sides, 25322 chg coeffs, 5077 upgd conss, 0 impls, 108807 clqs
13.53/13.69	c (round 280, fast)       2707 del vars, 8820 del conss, 6628 add conss, 393 chg bounds, 5276 chg sides, 25353 chg coeffs, 5077 upgd conss, 0 impls, 108811 clqs
13.63/13.70	c (round 281, medium)     2707 del vars, 8820 del conss, 6636 add conss, 393 chg bounds, 5284 chg sides, 25381 chg coeffs, 5077 upgd conss, 0 impls, 108819 clqs
13.63/13.70	c (round 282, fast)       2707 del vars, 8824 del conss, 6640 add conss, 393 chg bounds, 5284 chg sides, 25381 chg coeffs, 5077 upgd conss, 0 impls, 108820 clqs
13.63/13.70	c (round 283, exhaustive) 2707 del vars, 8826 del conss, 6641 add conss, 393 chg bounds, 5284 chg sides, 25381 chg coeffs, 5077 upgd conss, 0 impls, 108820 clqs
13.63/13.72	c (round 284, exhaustive) 2707 del vars, 8837 del conss, 6641 add conss, 393 chg bounds, 5284 chg sides, 25386 chg coeffs, 5077 upgd conss, 0 impls, 108820 clqs
13.63/13.73	c (round 285, exhaustive) 2707 del vars, 8845 del conss, 6641 add conss, 393 chg bounds, 5284 chg sides, 25388 chg coeffs, 5077 upgd conss, 0 impls, 108820 clqs
13.73/13.85	c (round 286, exhaustive) 2732 del vars, 8846 del conss, 6641 add conss, 393 chg bounds, 5284 chg sides, 25392 chg coeffs, 5077 upgd conss, 0 impls, 108831 clqs
13.73/13.85	c (round 287, fast)       2732 del vars, 8921 del conss, 6643 add conss, 393 chg bounds, 5284 chg sides, 25392 chg coeffs, 5077 upgd conss, 0 impls, 108831 clqs
13.73/13.86	c    (13.8s) running MILP presolver
13.73/13.88	c    (13.9s) MILP presolver (7 rounds): 0 aggregations, 11 fixings, 0 bound changes
13.73/13.88	c (round 288, medium)     2743 del vars, 8948 del conss, 6645 add conss, 393 chg bounds, 5284 chg sides, 25394 chg coeffs, 5077 upgd conss, 0 impls, 105276 clqs
13.73/13.89	c (round 289, exhaustive) 2743 del vars, 8950 del conss, 6646 add conss, 393 chg bounds, 5284 chg sides, 25394 chg coeffs, 5077 upgd conss, 0 impls, 105276 clqs
13.84/13.91	c (round 290, exhaustive) 2743 del vars, 8954 del conss, 6646 add conss, 393 chg bounds, 5284 chg sides, 25402 chg coeffs, 5077 upgd conss, 0 impls, 105276 clqs
13.84/13.95	c (round 291, exhaustive) 2768 del vars, 8954 del conss, 6646 add conss, 393 chg bounds, 5284 chg sides, 25406 chg coeffs, 5077 upgd conss, 0 impls, 101049 clqs
13.84/13.96	c (round 292, fast)       2768 del vars, 9021 del conss, 6646 add conss, 393 chg bounds, 5284 chg sides, 25406 chg coeffs, 5077 upgd conss, 0 impls, 101049 clqs
13.84/13.96	c (round 293, medium)     2768 del vars, 9022 del conss, 6647 add conss, 393 chg bounds, 5285 chg sides, 25408 chg coeffs, 5077 upgd conss, 0 impls, 101049 clqs
13.84/13.98	c (round 294, exhaustive) 2768 del vars, 9025 del conss, 6647 add conss, 393 chg bounds, 5285 chg sides, 25413 chg coeffs, 5077 upgd conss, 0 impls, 101049 clqs
13.95/14.00	c    (14.0s) probing cycle finished: starting next cycle
13.95/14.03	c (round 295, exhaustive) 2793 del vars, 9025 del conss, 6647 add conss, 393 chg bounds, 5285 chg sides, 25415 chg coeffs, 5077 upgd conss, 0 impls, 94707 clqs
13.95/14.03	c (round 296, fast)       2795 del vars, 9106 del conss, 6647 add conss, 393 chg bounds, 5285 chg sides, 25434 chg coeffs, 5077 upgd conss, 0 impls, 94139 clqs
13.95/14.03	c (round 297, fast)       2796 del vars, 9108 del conss, 6647 add conss, 393 chg bounds, 5285 chg sides, 25437 chg coeffs, 5077 upgd conss, 0 impls, 94140 clqs
13.95/14.05	c (round 298, exhaustive) 2796 del vars, 9117 del conss, 6648 add conss, 393 chg bounds, 5286 chg sides, 25441 chg coeffs, 5077 upgd conss, 0 impls, 94140 clqs
13.95/14.06	c (round 299, exhaustive) 2796 del vars, 9122 del conss, 6648 add conss, 393 chg bounds, 5286 chg sides, 25441 chg coeffs, 5077 upgd conss, 0 impls, 94141 clqs
13.95/14.09	c    (14.1s) sparsify finished: 6/13109 (0.0%) nonzeros canceled - in total 1622 canceled nonzeros, 5702 changed coefficients, 0 added nonzeros
13.95/14.09	c (round 300, exhaustive) 2796 del vars, 9122 del conss, 6648 add conss, 393 chg bounds, 5286 chg sides, 25485 chg coeffs, 5077 upgd conss, 0 impls, 94141 clqs
14.24/14.33	c (round 301, exhaustive) 2823 del vars, 9122 del conss, 6648 add conss, 393 chg bounds, 5286 chg sides, 25485 chg coeffs, 5079 upgd conss, 0 impls, 95221 clqs
14.24/14.33	c (round 302, fast)       2823 del vars, 9193 del conss, 6650 add conss, 393 chg bounds, 5286 chg sides, 25520 chg coeffs, 5079 upgd conss, 0 impls, 95227 clqs
14.24/14.33	c (round 303, medium)     2823 del vars, 9194 del conss, 6656 add conss, 393 chg bounds, 5292 chg sides, 25664 chg coeffs, 5079 upgd conss, 0 impls, 95228 clqs
14.24/14.33	c (round 304, exhaustive) 2823 del vars, 9196 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25664 chg coeffs, 5079 upgd conss, 0 impls, 95228 clqs
14.24/14.36	c (round 305, exhaustive) 2823 del vars, 9205 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25666 chg coeffs, 5079 upgd conss, 0 impls, 95228 clqs
14.24/14.36	c (round 306, exhaustive) 2823 del vars, 9210 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25666 chg coeffs, 5079 upgd conss, 0 impls, 95228 clqs
14.24/14.38	c (round 307, exhaustive) 2824 del vars, 9212 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25682 chg coeffs, 5079 upgd conss, 0 impls, 95045 clqs
14.24/14.38	c (round 308, fast)       2825 del vars, 9212 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25683 chg coeffs, 5079 upgd conss, 0 impls, 95049 clqs
14.64/14.78	c    (14.8s) probing: 1000/1120 (89.3%) - 1755 fixings, 1 aggregations, 810901 implications, 0 bound changes
14.74/14.83	c (round 309, exhaustive) 2850 del vars, 9213 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25683 chg coeffs, 5079 upgd conss, 0 impls, 103463 clqs
14.74/14.83	c (round 310, fast)       2850 del vars, 9275 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25728 chg coeffs, 5079 upgd conss, 0 impls, 103464 clqs
14.74/14.85	c (round 311, exhaustive) 2850 del vars, 9289 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25733 chg coeffs, 5079 upgd conss, 0 impls, 103464 clqs
14.74/14.86	c (round 312, exhaustive) 2850 del vars, 9293 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25733 chg coeffs, 5079 upgd conss, 0 impls, 103467 clqs
14.84/14.92	c    (14.9s) probing cycle finished: starting next cycle
14.84/14.94	c    (14.9s) probing: 51/1046 (4.9%) - 1764 fixings, 1 aggregations, 812456 implications, 0 bound changes
14.84/14.94	c    (14.9s) probing aborted: 50/50 successive totally useless probings
14.84/14.94	c (round 313, exhaustive) 2854 del vars, 9293 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25735 chg coeffs, 5079 upgd conss, 0 impls, 102256 clqs
14.84/14.94	c (round 314, fast)       2854 del vars, 9305 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25735 chg coeffs, 5079 upgd conss, 0 impls, 102257 clqs
14.84/14.99	c    (15.0s) sparsify finished: 4/12113 (0.0%) nonzeros canceled - in total 1626 canceled nonzeros, 5744 changed coefficients, 0 added nonzeros
14.84/14.99	c (round 315, exhaustive) 2854 del vars, 9305 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25780 chg coeffs, 5079 upgd conss, 0 impls, 102257 clqs
15.44/15.54	c    (15.5s) probing: 943/1046 (90.2%) - 1780 fixings, 2 aggregations, 815681 implications, 0 bound changes
15.44/15.54	c    (15.5s) probing aborted: 50/50 successive totally useless probings
15.44/15.55	c (round 316, exhaustive) 2871 del vars, 9305 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25780 chg coeffs, 5081 upgd conss, 0 impls, 102324 clqs
15.44/15.55	c (round 317, fast)       2871 del vars, 9337 del conss, 6657 add conss, 393 chg bounds, 5292 chg sides, 25830 chg coeffs, 5081 upgd conss, 0 impls, 102324 clqs
15.44/15.55	c (round 318, medium)     2871 del vars, 9337 del conss, 6661 add conss, 393 chg bounds, 5296 chg sides, 25838 chg coeffs, 5081 upgd conss, 0 impls, 102324 clqs
15.44/15.57	c (round 319, exhaustive) 2871 del vars, 9351 del conss, 6661 add conss, 393 chg bounds, 5296 chg sides, 25840 chg coeffs, 5081 upgd conss, 0 impls, 102324 clqs
15.44/15.58	c (round 320, exhaustive) 2871 del vars, 9357 del conss, 6661 add conss, 393 chg bounds, 5296 chg sides, 25840 chg coeffs, 5081 upgd conss, 0 impls, 102324 clqs
15.54/15.60	c    (15.6s) probing: 948/1046 (90.6%) - 1780 fixings, 2 aggregations, 815681 implications, 0 bound changes
15.54/15.60	c    (15.6s) probing aborted: 50/50 successive totally useless probings
15.54/15.61	c    (15.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.54/15.61	c    (15.6s) no symmetry present (symcode time: 0.00)
15.54/15.62	c presolving (321 rounds: 321 fast, 212 medium, 156 exhaustive):
15.54/15.62	c  2871 deleted vars, 9357 deleted constraints, 6661 added constraints, 393 tightened bounds, 0 added holes, 5296 changed sides, 25844 changed coefficients
15.54/15.62	c  0 implications, 102324 cliques
15.54/15.62	c presolved problem has 1029 variables (1029 bin, 0 int, 0 impl, 0 cont) and 2830 constraints
15.54/15.62	c      54 constraints of type <knapsack>
15.54/15.62	c    1606 constraints of type <setppc>
15.54/15.62	c    1170 constraints of type <logicor>
15.54/15.62	c transformed objective value is always integral (scale: 1)
15.54/15.62	c Presolving Time: 15.55
15.54/15.62	c - non default parameters ----------------------------------------------------------------------
15.54/15.62	c # SCIP version 10.0.0
15.54/15.62	c 
15.54/15.62	c # maximal time in seconds to run
15.54/15.62	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
15.54/15.62	c limits/time = 3596.998008
15.54/15.62	c 
15.54/15.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.54/15.62	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
15.54/15.62	c limits/memory = 27900
15.54/15.62	c 
15.54/15.62	c # belongs reading time to solving time?
15.54/15.62	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
15.54/15.62	c timing/reading = TRUE
15.54/15.62	c 
15.54/15.62	c -----------------------------------------------------------------------------------------------
15.54/15.62	c start solving
15.54/15.62	c 
15.73/15.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.73/15.82	c  15.8s|     1 |     0 |  1695 |     - |    93M |   0 |1029 |2909 |2830 |   0 |  0 |  78 |   0 | 3.100000e+01 |      --      |    Inf | unknown
16.72/16.88	c  16.9s|     1 |     0 | 10355 |     - |   100M |   0 |1029 |3111 |2847 |  19 |  1 |  88 |   0 | 3.100000e+01 |      --      |    Inf | unknown
16.93/17.04	c  17.0s|     1 |     0 | 11184 |     - |   106M |   0 |1029 |3116 |2858 |  30 |  2 |  98 |   0 | 3.100000e+01 |      --      |    Inf | unknown
17.03/17.17	c  17.2s|     1 |     0 | 11408 |     - |   113M |   0 |1029 |3123 |2885 |  57 |  3 | 105 |   0 | 3.100000e+01 |      --      |    Inf | unknown
17.22/17.30	c  17.3s|     1 |     0 | 11776 |     - |   121M |   0 |1029 |3125 |2908 |  80 |  4 | 107 |   0 | 3.100004e+01 |      --      |    Inf | unknown
17.33/17.42	c  17.4s|     1 |     0 | 11999 |     - |   125M |   0 |1029 |3134 |2929 | 101 |  5 | 117 |   0 | 3.100008e+01 |      --      |    Inf | unknown
17.43/17.57	c  17.6s|     1 |     0 | 12194 |     - |   129M |   0 |1029 |3138 |2957 | 129 |  6 | 123 |   0 | 3.100014e+01 |      --      |    Inf | unknown
17.62/17.73	c  17.7s|     1 |     0 | 12724 |     - |   137M |   0 |1029 |3147 |2980 | 152 |  7 | 133 |   0 | 3.100347e+01 |      --      |    Inf | unknown
17.83/17.91	c  17.9s|     1 |     0 | 13090 |     - |   145M |   0 |1029 |3148 |3005 | 177 |  8 | 134 |   0 | 3.101077e+01 |      --      |    Inf | unknown
18.03/18.14	c  18.1s|     1 |     0 | 13656 |     - |   153M |   0 |1029 |3150 |3021 | 193 |  9 | 136 |   0 | 3.101736e+01 |      --      |    Inf | unknown
18.22/18.34	c  18.3s|     1 |     0 | 14200 |     - |   156M |   0 |1029 |3160 |3037 | 209 | 10 | 146 |   0 | 3.101789e+01 |      --      |    Inf | unknown
18.32/18.40	c  18.4s|     1 |     0 | 14458 |     - |   157M |   0 |1029 |3170 |3046 | 218 | 11 | 156 |   0 | 3.101939e+01 |      --      |    Inf | unknown
18.42/18.55	c  18.5s|     1 |     0 | 15438 |     - |   157M |   0 |1029 |3174 |3060 | 232 | 12 | 160 |   0 | 3.104036e+01 |      --      |    Inf | unknown
18.52/18.63	c  18.6s|     1 |     0 | 15812 |     - |   157M |   0 |1029 |3175 |3067 | 239 | 13 | 161 |   0 | 3.104036e+01 |      --      |    Inf | unknown
18.72/18.81	c  18.8s|     1 |     0 | 17009 |     - |   157M |   0 |1029 |3179 |3049 | 252 | 14 | 165 |   0 | 3.109375e+01 |      --      |    Inf | unknown
18.82/18.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
18.82/18.90	c  18.9s|     1 |     0 | 17371 |     - |   159M |   0 |1029 |3189 |3058 | 261 | 15 | 175 |   0 | 3.109375e+01 |      --      |    Inf | unknown
18.93/19.03	c  19.0s|     1 |     0 | 18135 |     - |   159M |   0 |1029 |3198 |3066 | 269 | 16 | 185 |   0 | 3.119324e+01 |      --      |    Inf | unknown
19.03/19.16	c  19.2s|     1 |     0 | 18852 |     - |   159M |   0 |1029 |3208 |3089 | 292 | 17 | 195 |   0 | 3.122222e+01 |      --      |    Inf | unknown
19.12/19.25	c  19.2s|     1 |     0 | 19229 |     - |   160M |   0 |1029 |3217 |3101 | 304 | 18 | 205 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.22/19.35	c  19.3s|     1 |     0 | 19702 |     - |   160M |   0 |1029 |3221 |3112 | 315 | 19 | 210 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.32/19.46	c  19.4s|     1 |     0 | 20151 |     - |   160M |   0 |1029 |3229 |3055 | 327 | 20 | 220 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.42/19.53	c  19.5s|     1 |     0 | 20423 |     - |   160M |   0 |1029 |3239 |3063 | 335 | 21 | 230 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.42/19.59	c  19.6s|     1 |     0 | 20633 |     - |   160M |   0 |1029 |3244 |3074 | 346 | 22 | 236 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.52/19.67	c  19.7s|     1 |     0 | 21051 |     - |   160M |   0 |1029 |3249 |3080 | 352 | 23 | 243 |   0 | 3.125424e+01 |      --      |    Inf | unknown
19.62/19.75	c  19.7s|     1 |     0 | 21474 |     - |   160M |   0 |1029 |3250 |3085 | 357 | 24 | 246 |   0 | 3.129032e+01 |      --      |    Inf | unknown
19.72/19.82	c  19.8s|     1 |     0 | 21777 |     - |   160M |   0 |1029 |3258 |3091 | 363 | 25 | 256 |   0 | 3.129032e+01 |      --      |    Inf | unknown
19.82/19.91	c  19.9s|     1 |     0 | 22305 |     - |   160M |   0 |1029 |3260 |3014 | 369 | 26 | 258 |   0 | 3.131844e+01 |      --      |    Inf | unknown
19.92/20.03	c  20.0s|     1 |     0 | 23037 |     - |   160M |   0 |1029 |3261 |3025 | 380 | 27 | 261 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.02/20.13	c  20.1s|     1 |     0 | 23575 |     - |   160M |   0 |1029 |3257 |3032 | 387 | 28 | 263 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.12/20.24	c  20.2s|     1 |     0 | 24196 |     - |   161M |   0 |1029 |3259 |3037 | 392 | 29 | 269 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.22/20.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.22/20.30	c  20.3s|     1 |     0 | 24461 |     - |   161M |   0 |1029 |3256 |3043 | 398 | 30 | 271 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.22/20.38	c  20.4s|     1 |     0 | 24857 |     - |   161M |   0 |1029 |3259 |3051 | 406 | 31 | 275 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.31/20.47	c  20.5s|     1 |     0 | 25246 |     - |   161M |   0 |1029 |3269 |3023 | 412 | 32 | 285 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.41/20.57	c  20.6s|     1 |     0 | 25750 |     - |   161M |   0 |1029 |3272 |3028 | 417 | 33 | 294 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.51/20.67	c  20.7s|     1 |     0 | 26306 |     - |   161M |   0 |1029 |3282 |3033 | 422 | 34 | 304 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.71/20.81	c  20.8s|     1 |     0 | 27212 |     - |   161M |   0 |1029 |3286 |3042 | 431 | 35 | 310 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.81/20.90	c  20.9s|     1 |     0 | 27735 |     - |   161M |   0 |1029 |3289 |3049 | 438 | 36 | 315 |   0 | 3.133333e+01 |      --      |    Inf | unknown
20.92/21.07	c  21.1s|     1 |     0 | 28904 |     - |   161M |   0 |1029 |3298 |3058 | 447 | 37 | 325 |   0 | 3.135058e+01 |      --      |    Inf | unknown
21.11/21.24	c  21.2s|     1 |     0 | 29975 |     - |   161M |   0 |1029 |3300 |3040 | 457 | 38 | 327 |   0 | 3.150000e+01 |      --      |    Inf | unknown
21.21/21.33	c  21.3s|     1 |     0 | 30474 |     - |   161M |   0 |1029 |3303 |3047 | 464 | 39 | 331 |   0 | 3.150000e+01 |      --      |    Inf | unknown
21.31/21.44	c  21.4s|     1 |     0 | 31147 |     - |   161M |   0 |1029 |3307 |3054 | 471 | 40 | 337 |   0 | 3.151515e+01 |      --      |    Inf | unknown
21.41/21.59	c  21.6s|     1 |     0 | 31853 |     - |   161M |   0 |1029 |3317 |3067 | 484 | 41 | 347 |   0 | 3.153097e+01 |      --      |    Inf | unknown
21.61/21.71	c  21.7s|     1 |     0 | 32575 |     - |   161M |   0 |1029 |3322 |3075 | 492 | 42 | 352 |   0 | 3.153846e+01 |      --      |    Inf | unknown
21.71/21.84	c  21.8s|     1 |     0 | 33246 |     - |   161M |   0 |1029 |3325 |3081 | 498 | 43 | 362 |   0 | 3.153846e+01 |      --      |    Inf | unknown
21.81/21.95	c  21.9s|     1 |     0 | 33880 |     - |   161M |   0 |1029 |3331 |3059 | 505 | 44 | 372 |   0 | 3.153846e+01 |      --      |    Inf | unknown
21.92/22.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.92/22.09	c  22.1s|     1 |     0 | 34643 |     - |   161M |   0 |1029 |3327 |3067 | 513 | 45 | 373 |   0 | 3.155128e+01 |      --      |    Inf | unknown
22.02/22.19	c  22.2s|     1 |     0 | 35151 |     - |   161M |   0 |1029 |3332 |3076 | 522 | 46 | 380 |   0 | 3.155370e+01 |      --      |    Inf | unknown
22.11/22.29	c  22.3s|     1 |     0 | 35623 |     - |   161M |   0 |1029 |3336 |3087 | 533 | 47 | 387 |   0 | 3.157143e+01 |      --      |    Inf | unknown
22.31/22.41	c  22.4s|     1 |     0 | 36240 |     - |   161M |   0 |1029 |3340 |3098 | 544 | 48 | 391 |   0 | 3.160274e+01 |      --      |    Inf | unknown
22.41/22.51	c  22.5s|     1 |     0 | 36707 |     - |   161M |   0 |1029 |3348 |3106 | 552 | 49 | 401 |   0 | 3.160870e+01 |      --      |    Inf | unknown
22.51/22.60	c  22.6s|     1 |     0 | 37137 |     - |   161M |   0 |1029 |3355 |3083 | 557 | 50 | 411 |   0 | 3.160870e+01 |      --      |    Inf | unknown
22.61/22.70	c  22.7s|     1 |     0 | 37628 |     - |   161M |   0 |1029 |3362 |3089 | 563 | 51 | 421 |   0 | 3.162733e+01 |      --      |    Inf | unknown
22.61/22.78	c  22.8s|     1 |     0 | 38008 |     - |   161M |   0 |1029 |3364 |3097 | 571 | 52 | 425 |   0 | 3.163710e+01 |      --      |    Inf | unknown
22.71/22.86	c  22.8s|     1 |     0 | 38274 |     - |   161M |   0 |1029 |3372 |3101 | 575 | 53 | 435 |   0 | 3.163710e+01 |      --      |    Inf | unknown
22.81/22.94	c  22.9s|     1 |     0 | 38613 |     - |   161M |   0 |1029 |3380 |3107 | 581 | 54 | 445 |   0 | 3.163710e+01 |      --      |    Inf | unknown
22.91/23.04	c  23.0s|     1 |     0 | 39090 |     - |   161M |   0 |1029 |3386 |3114 | 588 | 55 | 455 |   0 | 3.163824e+01 |      --      |    Inf | unknown
23.01/23.17	c  23.2s|     1 |     0 | 39686 |     - |   161M |   0 |1029 |3394 |3092 | 594 | 56 | 465 |   0 | 3.163846e+01 |      --      |    Inf | unknown
23.11/23.24	c  23.2s|     1 |     0 | 39904 |     - |   161M |   0 |1029 |3398 |3101 | 603 | 57 | 475 |   0 | 3.163983e+01 |      --      |    Inf | unknown
23.21/23.31	c  23.3s|     1 |     0 | 40234 |     - |   161M |   0 |1029 |3400 |3110 | 612 | 58 | 481 |   0 | 3.163983e+01 |      --      |    Inf | unknown
23.31/23.41	c  23.4s|     1 |     0 | 40651 |     - |   161M |   0 |1029 |3403 |3116 | 618 | 59 | 491 |   0 | 3.174074e+01 |      --      |    Inf | unknown
23.31/23.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.31/23.49	c  23.5s|     1 |     0 | 41032 |     - |   161M |   0 |1029 |3404 |3121 | 623 | 60 | 496 |   0 | 3.176000e+01 |      --      |    Inf | unknown
23.50/23.60	c  23.6s|     1 |     0 | 41425 |     - |   161M |   0 |1029 |3410 |3127 | 629 | 61 | 506 |   0 | 3.176000e+01 |      --      |    Inf | unknown
23.60/23.71	c  23.7s|     1 |     0 | 41739 |     - |   161M |   0 |1029 |3410 |3102 | 635 | 62 | 512 |   0 | 3.177465e+01 |      --      |    Inf | unknown
23.60/23.79	c  23.8s|     1 |     0 | 42048 |     - |   161M |   0 |1029 |3415 |3106 | 639 | 63 | 519 |   0 | 3.177465e+01 |      --      |    Inf | unknown
23.70/23.89	c  23.9s|     1 |     0 | 42502 |     - |   161M |   0 |1029 |3421 |3111 | 644 | 64 | 529 |   0 | 3.177465e+01 |      --      |    Inf | unknown
23.80/24.00	c  24.0s|     1 |     0 | 42888 |     - |   161M |   0 |1029 |3428 |3115 | 648 | 65 | 539 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.01/24.12	c  24.1s|     1 |     0 | 43369 |     - |   161M |   0 |1029 |3425 |3121 | 654 | 66 | 540 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.10/24.25	c  24.2s|     1 |     0 | 43882 |     - |   161M |   0 |1029 |3424 |3127 | 660 | 67 | 543 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.20/24.32	c  24.3s|     1 |     0 | 44197 |     - |   161M |   0 |1029 |3422 |3116 | 669 | 68 | 544 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.30/24.45	c  24.4s|     1 |     0 | 44817 |     - |   161M |   0 |1029 |3428 |3121 | 674 | 69 | 554 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.40/24.56	c  24.6s|     1 |     0 | 45303 |     - |   161M |   0 |1029 |3428 |3128 | 681 | 70 | 564 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.50/24.66	c  24.6s|     1 |     0 | 45757 |     - |   161M |   0 |1029 |3428 |3134 | 687 | 71 | 566 |   0 | 3.177465e+01 |      --      |    Inf | unknown
24.60/24.75	c  24.7s|     1 |     0 | 46194 |     - |   161M |   0 |1029 |3435 |3142 | 695 | 72 | 573 |   0 | 3.177465e+01 |      --      |    Inf | unknown
32.09/32.23	c  32.2s|     1 |     0 | 62310 |     - |   161M |   0 |1029 |3423 |3142 | 695 | 72 | 615 |  28 | 3.200000e+01 |      --      |    Inf | unknown
32.19/32.37	c  32.4s|     1 |     0 | 63194 |     - |   161M |   0 |1029 |3403 |3139 | 706 | 73 | 619 |  28 | 3.200000e+01 |      --      |    Inf | unknown
32.39/32.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
32.39/32.53	c  32.5s|     1 |     0 | 64177 |     - |   161M |   0 |1029 |3408 |3146 | 713 | 74 | 626 |  28 | 3.200000e+01 |      --      |    Inf | unknown
33.99/34.11	c  34.1s|     1 |     2 | 64345 |     - |   161M |   0 |1029 |3387 |3146 | 713 | 74 | 631 |  39 | 3.200000e+01 |      --      |    Inf | unknown
51.73/51.98	c  52.0s|   100 |    13 |100279 | 527.5 |   171M |  20 |1029 |3219 |2955 | 985 |  1 | 851 | 382 | 3.300000e+01 |      --      |    Inf |  98.62%
53.83/54.10	c 
53.83/54.10	c SCIP Status        : problem is solved [infeasible]
53.83/54.10	c Solving Time (sec) : 54.09
53.83/54.10	c Solving Nodes      : 140
53.83/54.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
53.83/54.10	c Dual Bound         : +1.00000000000000e+20
53.83/54.10	c Gap                : 0.00 %
53.83/54.10	s UNSATISFIABLE
53.83/54.10	c SCIP Status        : problem is solved [infeasible]
53.83/54.10	c Total Time         :      54.09
53.83/54.10	c   solving          :      54.09
53.83/54.10	c   presolving       :      15.55 (included in solving)
53.83/54.10	c   reading          :       0.03 (included in solving)
53.83/54.10	c   copying          :       0.12 (17 #copies) (minimal 0.01, maximal 0.01, average 0.01)
53.83/54.10	c Original Problem   :
53.83/54.10	c   Problem name     : HOME/instance-4522330-1751582218.opb
53.83/54.10	c   Variables        : 3772 (3772 binary, 0 integer, 0 implicit integer, 0 continuous)
53.83/54.10	c   Constraints      : 5527 initial, 5527 maximal
53.83/54.10	c   Objective        : minimize, 39 non-zeros (abs.min = 1, abs.max = 39)
53.83/54.10	c Presolved Problem  :
53.83/54.10	c   Problem name     : t_HOME/instance-4522330-1751582218.opb
53.83/54.10	c   Variables        : 1029 (1029 binary, 0 integer, 0 implicit integer, 0 continuous)
53.83/54.10	c   Constraints      : 2830 initial, 3465 maximal
53.83/54.10	c   Objective        : minimize, 9 non-zeros (abs.min = 31, abs.max = 39)
53.83/54.10	c   Nonzeros         : 11835 constraint, 152144 clique table
53.83/54.10	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
53.83/54.10	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   domcol           :       1.00       0.00     80         40          0          0          0          0          0          0          0          0
53.83/54.10	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
53.83/54.10	c   gateextraction   :       0.29       0.00    155          0          0          0          0          0         12          5          0          0
53.83/54.10	c   implics          :       0.00       0.00    212          0          0          0          0          0          0          0          0          0
53.83/54.10	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   milp             :       0.51       0.00      7        140          0          0          0          0          0          0          0          0
53.83/54.10	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   sparsify         :       0.92       0.00     33          0          0          0          0          0          0          0          0       5744
53.83/54.10	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   trivial          :       0.01       0.00    321        128          0          0          0          0          0          0          0          0
53.83/54.10	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   dualfix          :       0.01       0.00    321          1          0          0          0          0          0          0          0          0
53.83/54.10	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   probing          :       7.38       0.00     64       1780          2          0          0          0          0          0          0          0
53.83/54.10	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
53.83/54.10	c   vbounds          :       0.08       0.00     13          1          1          0          0          0          0          0          0          0
53.83/54.10	c   knapsack         :       2.67       0.00    670          0          0          0          0          0       2786       6656        964      15151
53.83/54.10	c   setppc           :       1.50       0.00    662        254          0          0          0          0       5656          0          1          0
53.83/54.10	c   linear           :       0.11       0.01     79        393          2          0        393          0        575          0       4331       4325
53.83/54.10	c   logicor          :       0.91       0.00    601          2          0          0          0          0        328          0          0        624
53.83/54.10	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
53.83/54.10	c   root node        :          -          -      -        144          -          -        144          -          -          -          -          -
53.83/54.10	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
53.83/54.10	c   benderslp        :          0          0          0          0        125          0          0         23          0          0          0          0          0          0          0
53.83/54.10	c   integral         :          0          0          0          0        125          0          0         23          0          0        243          0          0         69        152
53.83/54.10	c   knapsack         :         54+        62         74      42406          0          0          0         19      41085        295       3180         61          6          0          0
53.83/54.10	c   setppc           :       1606+      1638         74      42111          0          0          0          1      27200       1125       4801         11          1          0          0
53.83/54.10	c   linear           :          0+       200         73       9089          0          0          0          3        276          9        183         47         26          0          0
53.83/54.10	c   logicor          :       1170+      1574         74      34070          0          0          0          0       7671         43       2348        154         34          0          0
53.83/54.10	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
53.83/54.10	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   integral         :      20.14       0.00       0.00       0.00      20.14       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   knapsack         :       1.54       0.00       0.13       1.34       0.00       0.00       0.00       0.00       0.02       0.05
53.83/54.10	c   setppc           :       1.47       0.00       0.00       1.36       0.00       0.00       0.00       0.00       0.01       0.09
53.83/54.10	c   linear           :       0.07       0.01       0.01       0.03       0.00       0.00       0.00       0.00       0.00       0.01
53.83/54.10	c   logicor          :       0.35       0.00       0.01       0.30       0.00       0.00       0.00       0.00       0.00       0.04
53.83/54.10	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
53.83/54.10	c   dualfix          :          3          0          0          0
53.83/54.10	c   genvbounds       :          0          0          0          0
53.83/54.10	c   nlobbt           :          0          0          0          0
53.83/54.10	c   obbt             :          0          0          0          0
53.83/54.10	c   probing          :          0          0          0          0
53.83/54.10	c   pseudoobj        :       1161          0          0          0
53.83/54.10	c   redcost          :         78          0          0          0
53.83/54.10	c   rootredcost      :          1          0          0          0
53.83/54.10	c   symmetry         :          0          0          0          0
53.83/54.10	c   vbounds          :       6407          0          0          0
53.83/54.10	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
53.83/54.10	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
53.83/54.10	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   probing          :       7.38       0.00       7.38       0.00       0.00       0.00
53.83/54.10	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00       0.00
53.83/54.10	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   symmetry         :       0.01       0.00       0.00       0.00       0.00       0.00
53.83/54.10	c   vbounds          :       0.09       0.00       0.08       0.01       0.00       0.00
53.83/54.10	c Symmetry           :
53.83/54.10	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
53.83/54.10	c   orbital reduction:          0 reductions applied,          0 cutoffs
53.83/54.10	c   lexicographic red:          0 reductions applied,          0 cutoffs
53.83/54.10	c   shadow tree time :       0.00 s
53.83/54.10	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
53.83/54.10	c   propagation      :       0.06       1465        182          -       1073       46.2         26       29.6          -          -          -
53.83/54.10	c   infeasible LP    :       0.06         49         49          -        193       49.1          4        3.2         27      107.5          0
53.83/54.10	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
53.83/54.10	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
53.83/54.10	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
53.83/54.10	c   applied globally :       0.22          -          -          0        881       15.7          -          -         27          -          -
53.83/54.10	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
53.83/54.10	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
53.83/54.10	c   cut pool         :       0.30          -        190        146          -          -       5489      14106          -          -          -          -          -    (maximal pool size:       5017)
53.83/54.10	c   aggregation      :       0.18       0.00         88         73          0          0         22         94          0         14         14          0          0
53.83/54.10	c   > cmir           :          -          -          -          -          -          -          -         90          0         13         13          0          -
53.83/54.10	c   > flowcover      :          -          -          -          -          -          -          -          2          0          1          1          0          -
53.83/54.10	c   > knapsackcover  :          -          -          -          -          -          -          -          2          0          0          0          0          -
53.83/54.10	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   clique           :       0.66       0.00         73         73          0          0        677       5441          0        376        376          0          0
53.83/54.10	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   gomory           :       1.04       0.00         24         10          0          0       2702       3487         60         27         26          1          0
53.83/54.10	c   > gomorymi       :          -          -          -          -          -          -          -       1991         33         18         17          1          -
53.83/54.10	c   > strongcg       :          -          -          -          -          -          -          -       1496         27          9          9          0          -
53.83/54.10	c   impliedbounds    :       0.53       0.00         88         73          0         19       2061       4924          0        478        478          0          0
53.83/54.10	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
53.83/54.10	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   multilinear      :       0.00       0.00         92         73          0          0          0          0          0          0          0          0          0
53.83/54.10	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
53.83/54.10	c   rapidlearning    :       0.80       0.00         14          1          0        308          0          0          0          0          0          0        318
53.83/54.10	c   rlt              :       0.00       0.00         16         10          0          0          0          0          0          0          0          0          0
53.83/54.10	c   zerohalf         :       0.21       0.00         34         20          0          0         89        160          2         94         92          2          0
53.83/54.10	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
53.83/54.10	c   hybrid           :       0.03       0.00         99         74       1056          0      13385        713          0       9822
53.83/54.10	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c Pricers            :   ExecTime  SetupTime      Calls       Vars
53.83/54.10	c   problem variables:       0.00          -          0          0
53.83/54.10	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
53.83/54.10	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c   relpscost        :      20.14       0.00        125          0          0          0        243          0        148        152
53.83/54.10	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
53.83/54.10	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
53.83/54.10	c   LP solutions     :       0.00          -          -          0          0
53.83/54.10	c   relax solutions  :       0.00          -          -          0          0
53.83/54.10	c   pseudo solutions :       0.00          -          -          0          0
53.83/54.10	c   strong branching :       0.00          -          -          0          0
53.83/54.10	c   actconsdiving    :       0.00       0.00          0          0          0
53.83/54.10	c   adaptivediving   :       0.00       0.00          0          0          0
53.83/54.10	c   alns             :       0.05       0.00          3          0          0
53.83/54.10	c   bound            :       0.00       0.00          0          0          0
53.83/54.10	c   clique           :       0.01       0.00          1          0          0
53.83/54.10	c   coefdiving       :       0.00       0.00          0          0          0
53.83/54.10	c   completesol      :       0.00       0.00          0          0          0
53.83/54.10	c   conflictdiving   :       0.01       0.00          1          0          0
53.83/54.10	c   crossover        :       0.00       0.00          0          0          0
53.83/54.10	c   dins             :       0.00       0.00          0          0          0
53.83/54.10	c   distributiondivin:       0.00       0.00          0          0          0
53.83/54.10	c   dps              :       0.00       0.00          0          0          0
53.83/54.10	c   dualval          :       0.00       0.00          0          0          0
53.83/54.10	c   farkasdiving     :       3.01       0.00          1          0          0
53.83/54.10	c   feasjump         :       0.02       0.00          1          0          0
53.83/54.10	c   feaspump         :       0.66       0.00          1          0          0
53.83/54.10	c   fixandinfer      :       0.00       0.00          0          0          0
53.83/54.10	c   fracdiving       :       0.00       0.00          0          0          0
53.83/54.10	c   gins             :       0.00       0.00          0          0          0
53.83/54.10	c   guideddiving     :       0.00       0.00          0          0          0
53.83/54.10	c   indcoefdiving    :       0.00       0.00          0          0          0
53.83/54.10	c   indicator        :       0.00       0.00          0          0          0
53.83/54.10	c   indicatordiving  :       0.00       0.00          0          0          0
53.83/54.10	c   indoneopt        :       0.00       0.00          0          0          0
53.83/54.10	c   indrounding      :       0.00       0.00          0          0          0
53.83/54.10	c   indtwoopt        :       0.00       0.00          0          0          0
53.83/54.10	c   intdiving        :       0.00       0.00          0          0          0
53.83/54.10	c   intshifting      :       0.00       0.00          0          0          0
53.83/54.10	c   linesearchdiving :       0.00       0.00          0          0          0
53.83/54.10	c   localbranching   :       0.00       0.00          0          0          0
53.83/54.10	c   locks            :       0.01       0.00          1          0          0
53.83/54.10	c   lpface           :       0.03       0.00          1          0          0
53.83/54.10	c   mpec             :       0.00       0.00          0          0          0
53.83/54.10	c   multistart       :       0.00       0.00          0          0          0
53.83/54.10	c   mutation         :       0.00       0.00          0          0          0
53.83/54.10	c   nlpdiving        :       0.00       0.00          0          0          0
53.83/54.10	c   objpscostdiving  :       0.00       0.00          0          0          0
53.83/54.10	c   octane           :       0.00       0.00          0          0          0
53.83/54.10	c   ofins            :       0.00       0.00          0          0          0
53.83/54.10	c   oneopt           :       0.00       0.00          0          0          0
53.83/54.10	c   padm             :       0.00       0.00          0          0          0
53.83/54.10	c   proximity        :       0.00       0.00          0          0          0
53.83/54.10	c   pscostdiving     :       0.00       0.00          0          0          0
53.83/54.10	c   randrounding     :       0.44       0.00         92          0          0
53.83/54.10	c   rens             :       0.00       0.00          0          0          0
53.83/54.10	c   reoptsols        :       0.00       0.00          0          0          0
53.83/54.10	c   repair           :       0.00       0.00          0          0          0
53.83/54.10	c   rins             :       0.00       0.00          0          0          0
53.83/54.10	c   rootsoldiving    :       0.00       0.00          0          0          0
53.83/54.10	c   rounding         :       0.03       0.00        177          0          0
53.83/54.10	c   scheduler        :       0.00       0.00          0          0          0
53.83/54.10	c   shiftandpropagate:       0.01       0.00          1          0          0
53.83/54.10	c   shifting         :       0.08       0.00        110          0          0
53.83/54.10	c   simplerounding   :       0.00       0.00          0          0          0
53.83/54.10	c   smallcard        :       0.00       0.00          0          0          0
53.83/54.10	c   subnlp           :       0.00       0.00          0          0          0
53.83/54.10	c   trivial          :       0.00       0.00          2          0          0
53.83/54.10	c   trivialnegation  :       0.00       0.00          0          0          0
53.83/54.10	c   trustregion      :       0.00       0.00          0          0          0
53.83/54.10	c   trysol           :       0.00       0.00          0          0          0
53.83/54.10	c   twoopt           :       0.00       0.00          0          0          0
53.83/54.10	c   undercover       :       0.00       0.00          0          0          0
53.83/54.10	c   vbounds          :       0.03       0.00          1          0          0
53.83/54.10	c   veclendiving     :       0.00       0.00          0          0          0
53.83/54.10	c   zeroobj          :       0.00       0.00          0          0          0
53.83/54.10	c   zirounding       :       0.00       0.00         76          0          0
53.83/54.10	c   other solutions  :          -          -          -          0          -
53.83/54.10	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	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
53.83/54.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
53.83/54.10	c   primal LP        :       0.01         22          0       0.00       0.00       0.01         22
53.83/54.10	c   dual LP          :       9.23        262      85738     348.53    9293.74       0.01         16
53.83/54.10	c   lex dual LP      :       0.00          0          0       0.00          -
53.83/54.10	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
53.83/54.10	c   resolve instable :       0.00          0          0       0.00          -
53.83/54.10	c   diving/probing LP:       5.01        119      28971     243.45    5785.22
53.83/54.10	c   strong branching :      18.21        395     169120     428.15    9285.60          -          -        220
53.83/54.10	c     (at root node) :          -         39      36002     923.13          -
53.83/54.10	c   conflict analysis:       0.00          0          0       0.00          -
53.83/54.10	c B&B Tree           :
53.83/54.10	c   number of runs   :          1
53.83/54.10	c   nodes            :        140 (76 internal, 64 leaves)
53.83/54.10	c   feasible leaves  :          0
53.83/54.10	c   infeas. leaves   :         64
53.83/54.10	c   objective leaves :          0
53.83/54.10	c   nodes (total)    :        140 (76 internal, 64 leaves)
53.83/54.10	c   nodes left       :          0
53.83/54.10	c   max depth        :         20
53.83/54.10	c   max depth (total):         20
53.83/54.10	c   backtracks       :         19 (13.6%)
53.83/54.10	c   early backtracks :          0 (0.0%)
53.83/54.10	c   nodes exc. ref.  :          0 (0.0%)
53.83/54.10	c   delayed cutoffs  :         13
53.83/54.10	c   repropagations   :        267 (820 domain reductions, 6 cutoffs)
53.83/54.10	c   avg switch length:       5.74
53.83/54.10	c   switching time   :       0.05
53.83/54.10	c Root Node          :
53.83/54.10	c   First LP value   : +3.10000000000000e+01
53.83/54.10	c   First LP Iters   :       1695 (18078.07 Iter/sec)
53.83/54.10	c   First LP Time    :       0.09
53.83/54.10	c   Final Dual Bound : +3.20000000000000e+01
53.83/54.10	c   Final Root Iters :      48061
53.83/54.10	c   Root LP Estimate : +3.29256682659424e+01
53.83/54.10	c Solution           :
53.83/54.10	c   Solutions found  :          0 (0 improvements)
53.83/54.10	c   Primal Bound     : infeasible
53.83/54.10	c   Dual Bound       :          -
53.83/54.10	c   Gap              :       0.00 %
53.83/54.10	c Integrals          :      Total       Avg%
53.83/54.10	c   primal-dual      :          -          - (problem infeasible)
53.83/54.10	c   primal-ref       :          -          - (problem infeasible)
53.83/54.10	c   dual-ref         :          -          - (problem infeasible)
53.93/54.15	c Time complete: 53.9887.

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57329 MiB free)
  memory of node 1: 64465 MiB (62865 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522330-1751582218/watcher-4522330-1751582218 -o /tmp/evaluation-result-4522330-1751582218/solver-4522330-1751582218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4522330-1751582218.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=79842, runsolver pid=79839

[startup+0.100063 s]*
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123039556/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=74848 memory=48000 CPUtime=0.08 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 8744 0 0 0 7 1 0 0 20 0 1 0 73899321 76644352 12000 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 18712 12000 3584 3530 0 10163 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 74848 KiB
Current children cumulated memory: 48000 KiB

[startup+0.205548 s]*
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123039556/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=90120 memory=63528 CPUtime=0.19 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 14030 0 0 0 17 2 0 0 20 0 1 0 73899321 92282880 15882 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 22530 15882 3680 3530 0 13981 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90120 KiB
Current children cumulated memory: 63528 KiB

[startup+0.305448 s]*
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123039556/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=90120 memory=63528 CPUtime=0.29 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 14030 0 0 0 27 2 0 0 20 0 1 0 73899321 92282880 15882 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 22530 15882 3680 3530 0 13981 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90120 KiB
Current children cumulated memory: 63528 KiB

[startup+0.700162 s]
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123039556/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=95696 memory=68504 CPUtime=0.67 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 16460 0 0 0 65 2 0 0 20 0 1 0 73899321 97992704 17126 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 23924 17126 3744 3530 0 15375 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 95696 KiB
Current children cumulated memory: 68504 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123039968/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=107936 memory=79256 CPUtime=1.47 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 19143 0 0 0 144 3 0 0 20 0 1 0 73899321 110526464 19814 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 26984 19814 3744 3530 0 18435 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 107936 KiB
Current children cumulated memory: 79256 KiB

[startup+3.10539 s]
/proc/loadavg: 4.14 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123032424/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=121380 memory=92568 CPUtime=3.07 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 22488 0 0 0 304 3 0 0 20 0 1 0 73899321 124293120 23142 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 30345 23142 3744 3530 0 21796 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 121380 KiB
Current children cumulated memory: 92568 KiB

[startup+6.30016 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123016548/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=125348 memory=96664 CPUtime=6.25 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 23506 0 0 0 622 3 0 0 20 0 1 0 73899321 128356352 24166 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 31337 24166 3744 3530 0 22788 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 125348 KiB
Current children cumulated memory: 96664 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 79843
/proc/meminfo: memFree=123010964/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=128700 memory=100120 CPUtime=12.63 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 24358 0 0 0 1260 3 0 0 20 0 1 0 73899321 131788800 25030 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 32175 25030 3744 3530 0 23626 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 128700 KiB
Current children cumulated memory: 100120 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 79844
/proc/meminfo: memFree=122937352/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=210012 memory=171672 CPUtime=25.4 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 42103 0 0 0 2534 6 0 0 20 0 1 0 73899321 215052288 42918 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 52503 42918 3904 3530 0 43954 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 210012 KiB
Current children cumulated memory: 171672 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122867432/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=225364 memory=188056 CPUtime=50.94 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 46171 0 0 0 5087 7 0 0 20 0 1 0 73899321 230772736 47014 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 56341 47014 3936 3530 0 47792 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 225364 KiB
Current children cumulated memory: 188056 KiB

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

# cumulated CPU time of all completed processes:  user=53.9133 s, system=0.086721 s

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

[startup+51.2002 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122867432/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=225364 memory=188056 CPUtime=51.03 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 46171 0 0 0 5096 7 0 0 20 0 1 0 73899321 230772736 47014 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 56341 47014 3936 3530 0 47792 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 225364 KiB
Current children cumulated memory: 188056 KiB

[startup+52.8001 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122859044/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=232040 memory=194712 CPUtime=52.62 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 47843 0 0 0 5255 7 0 0 20 0 1 0 73899321 237608960 48678 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 58010 48678 3936 3530 0 49461 0
Current children cumulated CPU time: 52.62 s
Current children cumulated vsize: 232040 KiB
Current children cumulated memory: 194712 KiB

[startup+53.6002 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122859296/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=233764 memory=196376 CPUtime=53.42 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 48252 0 0 0 5335 7 0 0 20 0 1 0 73899321 239374336 49094 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 58441 49094 3936 3530 0 49892 0
Current children cumulated CPU time: 53.42 s
Current children cumulated vsize: 233764 KiB
Current children cumulated memory: 196376 KiB

[startup+54.0001 s]*
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122859548/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=233764 memory=196376 CPUtime=53.83 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 48252 0 0 0 5376 7 0 0 20 0 1 0 73899321 239374336 49094 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 58441 49094 3936 3530 0 49892 0
Current children cumulated CPU time: 53.83 s
Current children cumulated vsize: 233764 KiB
Current children cumulated memory: 196376 KiB

[startup+54.1054 s]
/proc/loadavg: 4.13 4.09 4.02 5/265 79845
/proc/meminfo: memFree=122859548/131250000 swapFree=33007332/33010684
[pid=79842] ppid=79839 vsize=233764 memory=196376 CPUtime=53.93 cores=5,7
/proc/79842/stat : 79842 (pbscip) R 79839 79842 78955 0 -1 4194304 48252 0 0 0 5386 7 0 0 20 0 1 0 73899321 239374336 49094 18446744073709551615 4235264 18693293 140727728482144 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 57495552 140727728486793 140727728486892 140727728486892 140727728492494 0
/proc/79842/statm: 58441 49094 3936 3530 0 49892 0
Current children cumulated CPU time: 53.93 s
Current children cumulated vsize: 233764 KiB
Current children cumulated memory: 196376 KiB

Child status: 0

Real time (s): 54.1651
CPU time (s): 54
CPU user time (s): 53.9133
CPU system time (s): 0.086721
CPU usage (%): 99.6951
Max. virtual memory (cumulated for all children) (KiB): 233764
Max. memory (cumulated for all children) (KiB): 196376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.9133
system time used= 0.086721
maximum resident set size= 196376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48259
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= 84
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 79842
#   total CPU time (s): 54
#   total CPU user time (s): 53.9133
#   total CPU system time (s): 0.086721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102336 second user time and 0.267287 second system time

The end

Begin job on nodeC019 at 2025-07-04 00:36:58
IDJOB=4522330
IDBENCH=178741
IDSOLVER=3365
FILE ID=nodeC019/4522330-1751582218
RUNJOBID= nodeC019-1751578154-78968
SLURM_JOB_ID= 9598809
Free space on /tmp= 431460 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1769397.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522330-1751582218/watcher-4522330-1751582218 -o /tmp/evaluation-result-4522330-1751582218/solver-4522330-1751582218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760  pbscip -f HOME/instance-4522330-1751582218.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d0e5186d4a85a790e67c4702cfcdde79
RANDOM SEED=396801544

nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123080380 kB
MemAvailable:   124931300 kB
Buffers:             904 kB
Cached:          2652912 kB
SwapCached:          440 kB
Active:          4970444 kB
Inactive:        2507284 kB
Active(anon):    4811368 kB
Inactive(anon):    27736 kB
Active(file):     159076 kB
Inactive(file):  2479548 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19764 kB
Writeback:            76 kB
AnonPages:       4825848 kB
Mapped:           139076 kB
Shmem:             15192 kB
KReclaimable:     103072 kB
Slab:             192204 kB
SReclaimable:     103072 kB
SUnreclaim:        89132 kB
KernelStack:        4272 kB
PageTables:        13060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5554372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1320960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431440 MiB
End job on nodeC019 at 2025-07-04 00:37:52