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-4525003-1751617020.wbo>
0.00/0.03	c original problem has 6278 variables (6278 bin, 0 int, 0 impl, 0 cont) and 12013 constraints
0.00/0.03	c problem read in 0.02
0.00/0.08	c presolving:
0.08/0.10	c (round 1, fast)       3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 3029 impls, 3906 clqs
0.08/0.10	c (round 2, medium)     97 del vars, 11 del conss, 0 add conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 3029 impls, 3731 clqs
0.08/0.11	c (round 3, fast)       97 del vars, 185 del conss, 0 add conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 3029 impls, 3731 clqs
0.08/0.11	c (round 4, fast)       97 del vars, 185 del conss, 0 add conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 3029 impls, 3731 clqs
0.08/0.13	c (round 5, exhaustive) 97 del vars, 185 del conss, 0 add conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5776 upgd conss, 3029 impls, 3731 clqs
0.08/0.14	c (round 6, exhaustive) 97 del vars, 2535 del conss, 783 add conss, 3026 chg bounds, 192 chg sides, 384 chg coeffs, 5776 upgd conss, 3029 impls, 3731 clqs
0.77/0.88	c (round 7, exhaustive) 124 del vars, 2535 del conss, 783 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 17789 clqs
0.87/0.90	c (round 8, exhaustive) 124 del vars, 2543 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 17789 clqs
0.87/0.98	c (round 9, exhaustive) 149 del vars, 2545 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
0.87/0.99	c (round 10, fast)       149 del vars, 2569 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
0.98/1.04	c    (1.0s) probing: 1000/9078 (11.0%) - 0 fixings, 67 aggregations, 14384 implications, 0 bound changes
0.98/1.05	c (round 11, exhaustive) 174 del vars, 2569 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
0.98/1.05	c (round 12, fast)       174 del vars, 2594 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
0.98/1.10	c (round 13, exhaustive) 199 del vars, 2594 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
0.98/1.10	c (round 14, fast)       199 del vars, 2619 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.08/1.14	c (round 15, exhaustive) 224 del vars, 2619 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.08/1.14	c (round 16, fast)       224 del vars, 2644 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.08/1.19	c (round 17, exhaustive) 249 del vars, 2644 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.08/1.19	c (round 18, fast)       249 del vars, 2669 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.17/1.23	c (round 19, exhaustive) 274 del vars, 2669 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.17/1.23	c (round 20, fast)       274 del vars, 2694 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.17/1.28	c (round 21, exhaustive) 299 del vars, 2694 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.17/1.28	c (round 22, fast)       299 del vars, 2719 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.27/1.32	c (round 23, exhaustive) 324 del vars, 2719 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.27/1.32	c (round 24, fast)       324 del vars, 2744 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.27/1.37	c (round 25, exhaustive) 349 del vars, 2744 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.27/1.37	c (round 26, fast)       349 del vars, 2769 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.37/1.41	c (round 27, exhaustive) 374 del vars, 2769 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.37/1.41	c (round 28, fast)       374 del vars, 2794 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.37/1.45	c (round 29, exhaustive) 399 del vars, 2795 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.37/1.46	c (round 30, fast)       399 del vars, 2820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.50	c (round 31, exhaustive) 424 del vars, 2820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.50	c (round 32, fast)       424 del vars, 2845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.54	c (round 33, exhaustive) 449 del vars, 2845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.54	c (round 34, fast)       449 del vars, 2870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.59	c (round 35, exhaustive) 474 del vars, 2870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.47/1.59	c (round 36, fast)       474 del vars, 2895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.57/1.64	c (round 37, exhaustive) 499 del vars, 2895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.57/1.65	c (round 38, fast)       499 del vars, 2920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.57/1.68	c (round 39, exhaustive) 524 del vars, 2920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.57/1.69	c (round 40, fast)       524 del vars, 2945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.67/1.73	c (round 41, exhaustive) 549 del vars, 2945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.67/1.73	c (round 42, fast)       549 del vars, 2970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.67/1.77	c (round 43, exhaustive) 574 del vars, 2970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.67/1.77	c (round 44, fast)       574 del vars, 2995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.77/1.81	c (round 45, exhaustive) 599 del vars, 2995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.77/1.81	c (round 46, fast)       599 del vars, 3020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.77/1.85	c (round 47, exhaustive) 624 del vars, 3020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.77/1.85	c (round 48, fast)       624 del vars, 3045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.90	c (round 49, exhaustive) 649 del vars, 3045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.90	c (round 50, fast)       649 del vars, 3070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.91	c    (1.9s) probing: 2000/9078 (22.0%) - 0 fixings, 554 aggregations, 14384 implications, 0 bound changes
1.87/1.94	c (round 51, exhaustive) 674 del vars, 3070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.94	c (round 52, fast)       674 del vars, 3095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.99	c (round 53, exhaustive) 699 del vars, 3095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.87/1.99	c (round 54, fast)       699 del vars, 3120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.97/2.04	c (round 55, exhaustive) 724 del vars, 3120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.97/2.04	c (round 56, fast)       724 del vars, 3145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.97/2.08	c (round 57, exhaustive) 749 del vars, 3145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
1.97/2.08	c (round 58, fast)       749 del vars, 3170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.07/2.13	c (round 59, exhaustive) 774 del vars, 3170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.07/2.13	c (round 60, fast)       774 del vars, 3195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.07/2.17	c (round 61, exhaustive) 799 del vars, 3195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.07/2.17	c (round 62, fast)       799 del vars, 3220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.16/2.22	c (round 63, exhaustive) 824 del vars, 3220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.16/2.22	c (round 64, fast)       824 del vars, 3245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.16/2.26	c (round 65, exhaustive) 849 del vars, 3245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.16/2.27	c (round 66, fast)       849 del vars, 3270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.26/2.31	c (round 67, exhaustive) 874 del vars, 3270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.26/2.31	c (round 68, fast)       874 del vars, 3295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.26/2.36	c (round 69, exhaustive) 899 del vars, 3295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.26/2.36	c (round 70, fast)       899 del vars, 3320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.40	c (round 71, exhaustive) 924 del vars, 3320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.40	c (round 72, fast)       924 del vars, 3345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.44	c (round 73, exhaustive) 949 del vars, 3345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.44	c (round 74, fast)       949 del vars, 3370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.48	c (round 75, exhaustive) 974 del vars, 3370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.36/2.48	c (round 76, fast)       974 del vars, 3395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.46/2.52	c (round 77, exhaustive) 999 del vars, 3395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.46/2.52	c (round 78, fast)       999 del vars, 3420 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.46/2.57	c (round 79, exhaustive) 1024 del vars, 3420 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.46/2.57	c (round 80, fast)       1024 del vars, 3445 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.56/2.62	c (round 81, exhaustive) 1049 del vars, 3445 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.56/2.63	c (round 82, fast)       1049 del vars, 3470 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.56/2.67	c (round 83, exhaustive) 1074 del vars, 3470 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.56/2.67	c (round 84, fast)       1074 del vars, 3495 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.71	c (round 85, exhaustive) 1099 del vars, 3495 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.71	c (round 86, fast)       1099 del vars, 3520 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.75	c (round 87, exhaustive) 1124 del vars, 3520 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.75	c (round 88, fast)       1124 del vars, 3545 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.78	c    (2.8s) probing: 3000/9078 (33.0%) - 0 fixings, 1042 aggregations, 14384 implications, 0 bound changes
2.66/2.79	c (round 89, exhaustive) 1149 del vars, 3545 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.66/2.79	c (round 90, fast)       1149 del vars, 3570 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.76/2.83	c (round 91, exhaustive) 1174 del vars, 3570 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.76/2.83	c (round 92, fast)       1174 del vars, 3595 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.76/2.87	c (round 93, exhaustive) 1199 del vars, 3595 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.76/2.87	c (round 94, fast)       1199 del vars, 3620 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.91	c (round 95, exhaustive) 1224 del vars, 3620 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.91	c (round 96, fast)       1224 del vars, 3645 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.95	c (round 97, exhaustive) 1249 del vars, 3645 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.95	c (round 98, fast)       1249 del vars, 3670 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.99	c (round 99, exhaustive) 1274 del vars, 3670 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.86/2.99	c (round 100, fast)       1274 del vars, 3695 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.97/3.03	c (round 101, exhaustive) 1299 del vars, 3695 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.97/3.04	c (round 102, fast)       1299 del vars, 3720 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.97/3.07	c (round 103, exhaustive) 1324 del vars, 3720 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
2.97/3.08	c (round 104, fast)       1324 del vars, 3745 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.11	c (round 105, exhaustive) 1349 del vars, 3745 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.11	c (round 106, fast)       1349 del vars, 3770 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.15	c (round 107, exhaustive) 1374 del vars, 3770 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.15	c (round 108, fast)       1374 del vars, 3795 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.19	c (round 109, exhaustive) 1399 del vars, 3795 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.07/3.19	c (round 110, fast)       1399 del vars, 3820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.16/3.23	c (round 111, exhaustive) 1424 del vars, 3820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.16/3.23	c (round 112, fast)       1424 del vars, 3845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.16/3.27	c (round 113, exhaustive) 1449 del vars, 3845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.16/3.27	c (round 114, fast)       1449 del vars, 3870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.26/3.30	c (round 115, exhaustive) 1474 del vars, 3870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.26/3.31	c (round 116, fast)       1474 del vars, 3895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.26/3.35	c (round 117, exhaustive) 1499 del vars, 3895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.26/3.35	c (round 118, fast)       1499 del vars, 3920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.40	c (round 119, exhaustive) 1524 del vars, 3920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.40	c (round 120, fast)       1524 del vars, 3945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.44	c (round 121, exhaustive) 1549 del vars, 3945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.44	c (round 122, fast)       1549 del vars, 3970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.49	c (round 123, exhaustive) 1574 del vars, 3970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.36/3.49	c (round 124, fast)       1574 del vars, 3995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.46/3.52	c (round 125, exhaustive) 1599 del vars, 3995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.46/3.53	c (round 126, fast)       1599 del vars, 4020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.46/3.56	c (round 127, exhaustive) 1624 del vars, 4020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.46/3.56	c (round 128, fast)       1624 del vars, 4045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.61	c (round 129, exhaustive) 1649 del vars, 4045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.61	c (round 130, fast)       1649 del vars, 4070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.63	c    (3.6s) probing: 4000/9078 (44.1%) - 0 fixings, 1559 aggregations, 14384 implications, 0 bound changes
3.56/3.65	c (round 131, exhaustive) 1674 del vars, 4070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.65	c (round 132, fast)       1674 del vars, 4095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.69	c (round 133, exhaustive) 1699 del vars, 4095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.56/3.70	c (round 134, fast)       1699 del vars, 4120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.66/3.74	c (round 135, exhaustive) 1724 del vars, 4120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.66/3.74	c (round 136, fast)       1724 del vars, 4145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.66/3.79	c (round 137, exhaustive) 1749 del vars, 4145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.66/3.79	c (round 138, fast)       1749 del vars, 4170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.76/3.83	c (round 139, exhaustive) 1774 del vars, 4170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.76/3.83	c (round 140, fast)       1774 del vars, 4195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.76/3.87	c (round 141, exhaustive) 1799 del vars, 4195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.76/3.87	c (round 142, fast)       1799 del vars, 4220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.91	c (round 143, exhaustive) 1824 del vars, 4220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.91	c (round 144, fast)       1824 del vars, 4245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.94	c (round 145, exhaustive) 1849 del vars, 4245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.94	c (round 146, fast)       1849 del vars, 4270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.98	c (round 147, exhaustive) 1874 del vars, 4270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.86/3.98	c (round 148, fast)       1874 del vars, 4295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.96/4.02	c (round 149, exhaustive) 1899 del vars, 4295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.96/4.02	c (round 150, fast)       1899 del vars, 4320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.96/4.06	c (round 151, exhaustive) 1924 del vars, 4320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
3.96/4.06	c (round 152, fast)       1924 del vars, 4345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.10	c (round 153, exhaustive) 1949 del vars, 4345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.11	c (round 154, fast)       1949 del vars, 4370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.14	c (round 155, exhaustive) 1974 del vars, 4370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.14	c (round 156, fast)       1974 del vars, 4395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.18	c (round 157, exhaustive) 1999 del vars, 4395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.06/4.18	c (round 158, fast)       1999 del vars, 4420 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.21	c (round 159, exhaustive) 2024 del vars, 4420 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.22	c (round 160, fast)       2024 del vars, 4445 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.26	c (round 161, exhaustive) 2049 del vars, 4445 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.26	c (round 162, fast)       2049 del vars, 4470 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.29	c (round 163, exhaustive) 2074 del vars, 4470 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.16/4.29	c (round 164, fast)       2074 del vars, 4495 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18107 clqs
4.26/4.34	c (round 165, exhaustive) 2099 del vars, 4495 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.26/4.34	c (round 166, fast)       2099 del vars, 4520 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.26/4.38	c (round 167, exhaustive) 2124 del vars, 4520 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.26/4.38	c (round 168, fast)       2124 del vars, 4545 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.36/4.42	c (round 169, exhaustive) 2149 del vars, 4545 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.36/4.42	c (round 170, fast)       2149 del vars, 4570 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.36/4.44	c    (4.4s) probing: 5000/9078 (55.1%) - 0 fixings, 2056 aggregations, 14387 implications, 0 bound changes
4.36/4.46	c (round 171, exhaustive) 2174 del vars, 4570 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.36/4.46	c (round 172, fast)       2174 del vars, 4595 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.50	c (round 173, exhaustive) 2199 del vars, 4595 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.50	c (round 174, fast)       2199 del vars, 4620 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.54	c (round 175, exhaustive) 2224 del vars, 4620 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.54	c (round 176, fast)       2224 del vars, 4645 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.59	c (round 177, exhaustive) 2249 del vars, 4645 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.46/4.59	c (round 178, fast)       2249 del vars, 4670 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.56/4.64	c (round 179, exhaustive) 2274 del vars, 4670 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.56/4.64	c (round 180, fast)       2274 del vars, 4695 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.56/4.69	c (round 181, exhaustive) 2299 del vars, 4695 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.56/4.69	c (round 182, fast)       2299 del vars, 4720 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18110 clqs
4.66/4.73	c (round 183, exhaustive) 2324 del vars, 4720 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.66/4.74	c (round 184, fast)       2324 del vars, 4745 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.66/4.78	c (round 185, exhaustive) 2349 del vars, 4745 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.66/4.79	c (round 186, fast)       2349 del vars, 4770 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.75/4.83	c (round 187, exhaustive) 2374 del vars, 4770 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.75/4.83	c (round 188, fast)       2374 del vars, 4795 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.75/4.87	c (round 189, exhaustive) 2399 del vars, 4795 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.75/4.87	c (round 190, fast)       2399 del vars, 4820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/4.91	c (round 191, exhaustive) 2424 del vars, 4820 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/4.92	c (round 192, fast)       2424 del vars, 4845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/4.96	c (round 193, exhaustive) 2449 del vars, 4845 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/4.96	c (round 194, fast)       2449 del vars, 4870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/5.00	c (round 195, exhaustive) 2474 del vars, 4870 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.85/5.00	c (round 196, fast)       2474 del vars, 4895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.96/5.03	c (round 197, exhaustive) 2499 del vars, 4895 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.96/5.03	c (round 198, fast)       2499 del vars, 4920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.96/5.07	c (round 199, exhaustive) 2524 del vars, 4920 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
4.96/5.07	c (round 200, fast)       2524 del vars, 4945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.11	c (round 201, exhaustive) 2549 del vars, 4945 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.11	c (round 202, fast)       2549 del vars, 4970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.15	c (round 203, exhaustive) 2574 del vars, 4970 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.15	c (round 204, fast)       2574 del vars, 4995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.19	c (round 205, exhaustive) 2599 del vars, 4995 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.06/5.19	c (round 206, fast)       2599 del vars, 5020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.22	c (round 207, exhaustive) 2624 del vars, 5020 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.22	c (round 208, fast)       2624 del vars, 5045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.23	c    (5.2s) probing: 6000/9078 (66.1%) - 0 fixings, 2531 aggregations, 14395 implications, 0 bound changes
5.15/5.25	c (round 209, exhaustive) 2649 del vars, 5045 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.25	c (round 210, fast)       2649 del vars, 5070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.28	c (round 211, exhaustive) 2674 del vars, 5070 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.15/5.29	c (round 212, fast)       2674 del vars, 5095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.32	c (round 213, exhaustive) 2699 del vars, 5095 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.32	c (round 214, fast)       2699 del vars, 5120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.35	c (round 215, exhaustive) 2724 del vars, 5120 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.35	c (round 216, fast)       2724 del vars, 5145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.38	c (round 217, exhaustive) 2749 del vars, 5145 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.25/5.38	c (round 218, fast)       2749 del vars, 5170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.42	c (round 219, exhaustive) 2774 del vars, 5170 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.42	c (round 220, fast)       2774 del vars, 5195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.45	c (round 221, exhaustive) 2799 del vars, 5195 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.45	c (round 222, fast)       2799 del vars, 5220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.48	c (round 223, exhaustive) 2824 del vars, 5220 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.35/5.48	c (round 224, fast)       2824 del vars, 5245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.52	c (round 225, exhaustive) 2849 del vars, 5245 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.52	c (round 226, fast)       2849 del vars, 5270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.55	c (round 227, exhaustive) 2874 del vars, 5270 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.55	c (round 228, fast)       2874 del vars, 5295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.58	c (round 229, exhaustive) 2899 del vars, 5295 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.45/5.59	c (round 230, fast)       2899 del vars, 5320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.62	c (round 231, exhaustive) 2924 del vars, 5320 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.62	c (round 232, fast)       2924 del vars, 5345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.65	c (round 233, exhaustive) 2949 del vars, 5345 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.65	c (round 234, fast)       2949 del vars, 5370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.69	c (round 235, exhaustive) 2974 del vars, 5370 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.55/5.69	c (round 236, fast)       2974 del vars, 5395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 18113 clqs
5.76/5.88	c    (5.9s) probing: 7000/9078 (77.1%) - 0 fixings, 2897 aggregations, 17056 implications, 0 bound changes
6.36/6.43	c    (6.4s) probing: 7783/9078 (85.7%) - 0 fixings, 2897 aggregations, 23791 implications, 0 bound changes
6.36/6.43	c    (6.4s) probing aborted: 1000/1000 successive useless probings
6.36/6.43	c (round 237, exhaustive) 2996 del vars, 5395 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 27509 clqs
6.36/6.43	c (round 238, fast)       2996 del vars, 5420 del conss, 791 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 27509 clqs
6.36/6.44	c (round 239, exhaustive) 2996 del vars, 5442 del conss, 813 add conss, 3026 chg bounds, 192 chg sides, 385 chg coeffs, 5776 upgd conss, 3029 impls, 27509 clqs
6.45/6.52	c    (6.5s) probing: 7883/9078 (86.8%) - 0 fixings, 2897 aggregations, 24302 implications, 0 bound changes
6.45/6.52	c    (6.5s) probing aborted: 1000/1000 successive useless probings
6.45/6.52	c    (6.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.45/6.53	c    (6.5s) no symmetry present (symcode time: 0.00)
6.45/6.54	c presolving (240 rounds: 240 fast, 122 medium, 121 exhaustive):
6.45/6.54	c  2996 deleted vars, 5442 deleted constraints, 813 added constraints, 3026 tightened bounds, 0 added holes, 192 changed sides, 385 changed coefficients
6.45/6.54	c  3029 implications, 28042 cliques
6.45/6.54	c presolved problem has 6311 variables (6181 bin, 0 int, 130 impl, 0 cont) and 7384 constraints
6.45/6.54	c     254 constraints of type <knapsack>
6.45/6.54	c    2192 constraints of type <setppc>
6.45/6.54	c     752 constraints of type <and>
6.45/6.54	c    3026 constraints of type <linear>
6.45/6.54	c    1008 constraints of type <logicor>
6.45/6.54	c     152 constraints of type <indicator>
6.45/6.54	c transformed objective value is always integral (scale: 1)
6.45/6.54	c Presolving Time: 6.48
6.45/6.54	c - non default parameters ----------------------------------------------------------------------
6.45/6.54	c # SCIP version 10.0.0
6.45/6.54	c 
6.45/6.54	c # maximal time in seconds to run
6.45/6.54	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.45/6.54	c limits/time = 3596.997025
6.45/6.54	c 
6.45/6.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.45/6.54	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.45/6.54	c limits/memory = 27900
6.45/6.54	c 
6.45/6.54	c # belongs reading time to solving time?
6.45/6.54	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.45/6.54	c timing/reading = TRUE
6.45/6.54	c 
6.45/6.54	c -----------------------------------------------------------------------------------------------
6.45/6.54	c start solving
6.45/6.54	c 
6.56/6.69	o 154593
6.56/6.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.56/6.69	c p 6.7s|     1 |     0 |     0 |     - |   locks|   0 |6311 |7386 |8114 |   0 |  0 |   2 |   0 | 0.000000e+00 | 1.545930e+05 |    Inf | unknown
6.65/6.73	o 17742
6.65/6.73	c i 6.7s|     1 |     0 |     0 |     - |  oneopt|   0 |6311 |7424 |8114 |   0 |  0 |  40 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
6.96/7.01	c   7.0s|     1 |     0 |   766 |     - |    84M |   0 |6311 |7424 |8114 |   0 |  0 |  40 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
7.15/7.26	c   7.3s|     1 |     0 |  1236 |     - |    89M |   0 |6311 |7424 |8199 |  85 |  1 |  40 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
7.45/7.50	c   7.5s|     1 |     0 |  1642 |     - |    92M |   0 |6311 |7425 |8261 | 147 |  2 |  41 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
7.65/7.73	c   7.7s|     1 |     0 |  2075 |     - |    97M |   0 |6311 |7427 |8330 | 216 |  3 |  43 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
7.85/7.99	c   8.0s|     1 |     0 |  2341 |     - |   102M |   0 |6311 |7429 |8380 | 266 |  4 |  45 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
8.14/8.21	c   8.2s|     1 |     0 |  2553 |     - |   108M |   0 |6311 |7430 |8426 | 312 |  5 |  46 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
8.35/8.46	c   8.5s|     1 |     0 |  2761 |     - |   114M |   0 |6311 |7431 |8455 | 341 |  6 |  47 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
8.75/8.84	c   8.8s|     1 |     0 |  3015 |     - |   124M |   0 |6311 |7432 |8495 | 381 |  7 |  48 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
9.14/9.20	c   9.2s|     1 |     0 |  3227 |     - |   136M |   0 |6311 |7435 |8537 | 423 |  8 |  51 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
9.34/9.47	c   9.5s|     1 |     0 |  3468 |     - |   140M |   0 |6311 |7436 |8568 | 454 |  9 |  52 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
9.64/9.79	c   9.8s|     1 |     0 |  3742 |     - |   146M |   0 |6311 |7438 |8599 | 485 | 10 |  54 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
9.85/9.94	c   9.9s|     1 |     0 |  3986 |     - |   147M |   0 |6311 |7440 |8611 | 517 | 11 |  56 |   0 | 0.000000e+00 | 1.774200e+04 |    Inf | unknown
13.73/13.83	o 576
13.73/13.83	c d13.8s|     1 |     0 | 14920 |     - |farkasdi|   0 |6311 |7454 |8611 |   0 | 11 |  70 |   0 | 0.000000e+00 | 5.760000e+02 |    Inf | unknown
15.13/15.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.13/15.25	c  15.2s|     1 |     0 | 18430 |     - |   150M |   0 |6311 |7454 |8611 | 517 | 11 |  70 |   0 | 0.000000e+00 | 5.760000e+02 |    Inf | unknown
15.33/15.41	c  15.4s|     1 |     0 | 18811 |     - |   151M |   0 |6311 |7457 |8636 | 542 | 12 |  73 |   0 | 0.000000e+00 | 5.760000e+02 |    Inf | unknown
15.33/15.45	c  15.4s|     1 |     0 | 18883 |     - |   151M |   0 |6311 |7458 |8651 | 557 | 13 |  74 |   0 | 0.000000e+00 | 5.760000e+02 |    Inf | unknown
18.12/18.29	c  18.3s|     1 |     2 | 19122 |     - |   151M |   0 |6311 |7461 |8651 | 557 | 13 |  77 |  19 | 0.000000e+00 | 5.760000e+02 |    Inf | unknown
37.44/37.64	o 149
37.44/37.64	c r37.6s|    11 |    10 | 25221 |2078.2 |shifting|  10 |6311 |7461 |8549 | 713 |  0 |  77 | 244 | 0.000000e+00 | 1.490000e+02 |    Inf | unknown
38.95/39.10	o 51
38.95/39.10	c *39.1s|    38 |    34 | 25616 | 572.4 |    LP  |  37 |6311 |7461 |8553 | 744 |  1 |  77 | 389 | 0.000000e+00 | 5.100000e+01 |    Inf | unknown
39.04/39.26	o 11
39.04/39.26	c *39.2s|    44 |     9 | 25732 | 495.2 |    LP  |  39 |6311 |7392 |8552 | 744 |  1 |  77 | 397 | 0.000000e+00 | 1.100000e+01 |    Inf | unknown
39.44/39.67	o 9
39.44/39.67	c *39.7s|    57 |     8 | 26320 | 390.7 |    LP  |  39 |6311 |7321 |8556 | 771 |  1 |  77 | 426 | 0.000000e+00 | 9.000000e+00 |    Inf | unknown
41.73/41.93	o 6
41.73/41.93	c *41.9s|    76 |    18 | 28657 | 322.9 |strongbr|  39 |6311 |7358 |8545 | 835 |  1 | 136 | 609 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
48.50/48.73	o 4
48.50/48.73	c d48.7s|    94 |    25 | 37715 | 357.8 |pscostdi|  39 |6311 |7488 |8607 |   0 |  1 | 277 | 937 | 0.000000e+00 | 4.000000e+00 |    Inf | unknown
48.70/48.96	c  49.0s|   100 |    16 | 38811 | 347.2 |   169M |  39 |6311 |7529 |8524 |1176 |  5 | 331 | 952 | 0.000000e+00 | 4.000000e+00 |    Inf |  28.61%
52.59/52.82	o 2
52.59/52.82	c r52.8s|   129 |    14 | 43849 | 307.9 |shifting|  39 |6311 |7626 |8504 |1436 |  2 | 460 |1133 | 0.000000e+00 | 2.000000e+00 |    Inf |  44.84%
54.89/55.16	c  55.1s|   200 |    10 | 54718 | 252.7 |   195M |  39 |6311 |7701 |8541 |1996 |  3 | 615 |1172 | 0.000000e+00 | 2.000000e+00 |    Inf |  53.44%
57.88/58.13	c  58.1s|   300 |    10 | 65021 | 202.6 |   206M |  39 |6311 |7827 |8508 |2520 |  2 | 813 |1208 | 0.000000e+00 | 2.000000e+00 |    Inf |  59.89%
62.66/62.93	c  62.9s|   400 |     9 | 77710 | 183.6 |   217M |  39 |6311 |7996 |   0 |3411 |  0 |1076 |1262 | 0.000000e+00 | 2.000000e+00 |    Inf |  65.11%
66.76/67.02	c 
66.76/67.02	c SCIP Status        : problem is solved [optimal solution found]
66.76/67.02	c Solving Time (sec) : 67.02
66.76/67.02	c Solving Nodes      : 497
66.76/67.02	c Primal Bound       : +2.00000000000000e+00 (11 solutions)
66.76/67.02	c Dual Bound         : +2.00000000000000e+00
66.76/67.02	c Gap                : 0.00 %
66.76/67.03	s OPTIMUM FOUND
66.76/67.03	v x3249 -x3248 -x3247 -x3246 -x3245 -x3244 x3243 -x3242 -x3241 -x3240 x3239 x3238 x3237 x3236 x3235 x3234 -x3233 -x3232 -x3231 -x3230 
66.76/67.03	v x3229 x3228 x3227 x3226 x3225 x3224 -x3223 -x3222 -x3221 x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 
66.76/67.03	v x3210 -x3209 -x3208 -x3207 -x3206 -x3205 x3204 x3203 x3202 x3201 -x3200 -x3199 x3198 x3197 -x3196 -x3195 -x3194 -x3193 
66.76/67.03	v -x3192 -x3191 -x3190 x3189 x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 x3181 x3180 -x3179 -x3178 -x3177 x3176 x3175 -x3174 
66.76/67.03	v -x3173 x3172 x3171 -x3170 -x3169 -x3168 x3167 -x3166 -x3165 -x3164 x3163 x3162 -x3161 x3160 -x3159 -x3158 x3157 -x3156 x3155 
66.76/67.03	v x3154 x3153 -x3152 x3151 x3150 x3149 -x3148 x3147 -x3146 x3145 -x3144 -x3143 -x3142 x3141 x3140 x3139 -x3138 x3137 -x3136 x3135 
66.76/67.03	v -x3134 -x3133 x3132 x3131 x3130 x3129 x3128 x3127 x3126 x3125 x3124 -x3123 x3122 -x3121 x3120 -x3119 -x3118 -x3117 -x3116 
66.76/67.03	v -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 
66.76/67.03	v -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 
66.76/67.03	v -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 x3064 x3063 -x3062 
66.76/67.03	v -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 
66.76/67.03	v -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 x3036 x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 
66.76/67.03	v -x3025 -x3024 -x3023 x3022 x3021 x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 
66.76/67.03	v -x3006 -x3005 x3004 x3003 x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
66.76/67.03	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 x2980 x2979 x2978 x2977 x2976 x2975 x2974 x2973 x2972 x2971 x2970 
66.76/67.03	v x2969 x2968 x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 
66.76/67.03	v -x2950 -x2949 -x2948 -x2947 -x2946 x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 
66.76/67.03	v -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 
66.76/67.03	v -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 
66.76/67.03	v -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 x2883 -x2882 -x2881 -x2880 -x2879 
66.76/67.03	v -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 
66.76/67.03	v x2860 -x2859 -x2858 -x2857 x2856 -x2855 -x2854 -x2853 x2852 -x2851 -x2850 -x2849 x2848 -x2847 -x2846 -x2845 x2844 -x2843 
66.76/67.03	v -x2842 -x2841 x2840 -x2839 -x2838 -x2837 -x2836 x2835 -x2834 -x2833 x2832 -x2831 x2830 -x2829 -x2828 x2827 x2826 -x2825 x2824 
66.76/67.03	v x2823 x2822 x2821 x2820 x2819 x2818 x2817 x2816 x2815 x2814 -x2813 x2812 -x2811 x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 
66.76/67.03	v -x2803 -x2802 -x2801 -x2800 x2799 x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 
66.76/67.03	v x2785 x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 
66.76/67.03	v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
66.76/67.03	v -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 x2736 x2735 x2734 x2733 -x2732 
66.76/67.03	v x2731 x2730 x2729 -x2728 -x2727 -x2726 x2725 x2724 x2723 x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 
66.76/67.03	v -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
66.76/67.03	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 
66.76/67.03	v -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 
66.76/67.03	v -x2658 -x2657 -x2656 -x2655 -x2654 x2653 x2652 x2651 x2650 x2649 -x2648 x2647 x2646 x2645 x2644 -x2643 -x2642 -x2641 -x2640 
66.76/67.03	v x2639 x2638 x2637 x2636 x2635 x2634 x2633 x2632 x2631 x2630 x2629 x2628 x2627 x2626 x2625 -x2624 -x2623 -x2622 -x2621 -x2620 
66.76/67.03	v -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 -x2606 x2605 x2604 -x2603 -x2602 
66.76/67.03	v -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 x2590 -x2589 -x2588 -x2587 -x2586 -x2585 x2584 
66.76/67.03	v x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
66.76/67.03	v -x2565 x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
66.76/67.03	v -x2546 -x2545 -x2544 x2543 x2542 -x2541 -x2540 x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 x2529 
66.76/67.03	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 
66.76/67.03	v -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 
66.76/67.03	v -x2492 -x2491 x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 x2477 -x2476 -x2475 
66.76/67.03	v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 x2460 -x2459 -x2458 -x2457 
66.76/67.03	v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 
66.76/67.03	v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 
66.76/67.03	v -x2420 -x2419 -x2418 -x2417 x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 
66.76/67.03	v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 x2387 -x2386 -x2385 
66.76/67.03	v -x2384 x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 x2373 -x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2366 
66.76/67.03	v -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 
66.76/67.03	v -x2347 -x2346 -x2345 -x2344 x2343 -x2342 -x2341 x2340 x2339 x2338 x2337 x2336 x2335 -x2334 x2333 x2332 x2331 x2330 x2329 
66.76/67.03	v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 x2312 x2311 x2310 
66.76/67.03	v -x2309 -x2308 -x2307 x2306 -x2305 -x2304 -x2303 -x2302 -x2301 x2300 -x2299 -x2298 x2297 x2296 -x2295 -x2294 x2293 -x2292 
66.76/67.03	v -x2291 -x2290 -x2289 -x2288 x2287 -x2286 x2285 -x2284 x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 -x2276 -x2275 -x2274 x2273 
66.76/67.03	v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 
66.76/67.03	v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 
66.76/67.03	v -x2236 -x2235 -x2234 -x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 
66.76/67.03	v x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 x2205 -x2204 -x2203 -x2202 -x2201 
66.76/67.03	v -x2200 -x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 x2185 -x2184 -x2183 
66.76/67.03	v -x2182 -x2181 -x2180 -x2179 x2178 -x2177 -x2176 -x2175 -x2174 -x2173 x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 -x2165 x2164 
66.76/67.03	v -x2163 x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 
66.76/67.03	v -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 
66.76/67.03	v -x2127 x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 
66.76/67.03	v x2109 -x2108 x2107 -x2106 -x2105 x2104 x2103 -x2102 x2101 -x2100 -x2099 x2098 x2097 x2096 -x2095 -x2094 -x2093 -x2092 -x2091 
66.76/67.03	v -x2090 -x2089 x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 x2074 x2073 x2072 
66.76/67.03	v x2071 x2070 x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
66.76/67.03	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 
66.76/67.03	v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 x2018 
66.76/67.03	v x2017 x2016 x2015 x2014 x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 
66.76/67.03	v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 x1983 -x1982 
66.76/67.03	v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 
66.76/67.03	v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
66.76/67.03	v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
66.76/67.03	v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 
66.76/67.03	v -x1909 -x1908 -x1907 x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 -x1893 x1892 
66.76/67.03	v x1891 x1890 -x1889 -x1888 x1887 -x1886 -x1885 x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 x1877 -x1876 -x1875 -x1874 -x1873 
66.76/67.03	v -x1872 -x1871 -x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 
66.76/67.03	v -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
66.76/67.03	v -x1836 -x1835 -x1834 x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 -x1823 -x1822 -x1821 x1820 -x1819 
66.76/67.03	v -x1818 -x1817 x1816 -x1815 -x1814 -x1813 -x1812 -x1811 x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 -x1800 
66.76/67.03	v -x1799 -x1798 x1797 -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 
66.76/67.03	v x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 
66.76/67.03	v -x1763 -x1762 -x1761 -x1760 -x1759 x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 -x1747 -x1746 
66.76/67.03	v -x1745 -x1744 -x1743 -x1742 x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 
66.76/67.03	v -x1726 x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 x1711 x1710 -x1709 
66.76/67.03	v -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 
66.76/67.03	v x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 x1676 -x1675 x1674 -x1673 -x1672 
66.76/67.03	v x1671 x1670 -x1669 x1668 -x1667 -x1666 x1665 x1664 x1663 -x1662 -x1661 x1660 -x1659 -x1658 x1657 x1656 x1655 x1654 -x1653 
66.76/67.03	v -x1652 -x1651 x1650 -x1649 x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 x1640 -x1639 x1638 -x1637 -x1636 -x1635 -x1634 
66.76/67.03	v -x1633 x1632 -x1631 -x1630 -x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 
66.76/67.03	v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 
66.76/67.03	v -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 x1583 -x1582 -x1581 x1580 
66.76/67.03	v x1579 -x1578 x1577 -x1576 -x1575 x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 -x1562 -x1561 
66.76/67.03	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 x1549 x1548 x1547 x1546 x1545 -x1544 -x1543 -x1542 
66.76/67.03	v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 
66.76/67.03	v -x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 
66.76/67.03	v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 
66.76/67.03	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 
66.76/67.03	v x1470 x1469 x1468 x1467 x1466 x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
66.76/67.03	v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 
66.76/67.03	v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 x1424 x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 
66.76/67.03	v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 
66.76/67.03	v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 
66.76/67.03	v -x1379 -x1378 -x1377 -x1376 -x1375 x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
66.76/67.03	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
66.76/67.03	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
66.76/67.03	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 
66.76/67.03	v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 x1291 x1290 
66.76/67.03	v x1289 -x1288 x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 
66.76/67.03	v -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
66.76/67.03	v -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
66.76/67.03	v x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 
66.76/67.03	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 
66.76/67.03	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183 -x1182 x1181 
66.76/67.03	v x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
66.76/67.03	v -x1162 x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 x1147 -x1146 x1145 x1144 
66.76/67.03	v x1143 x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 x1126 -x1125 
66.76/67.03	v -x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 
66.76/67.03	v -x1106 x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 x1096 x1095 x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 
66.76/67.03	v -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 
66.76/67.03	v -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 
66.76/67.03	v x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 
66.76/67.03	v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 
66.76/67.03	v -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 x998 -x997 
66.76/67.03	v -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 x976 -x975 
66.76/67.03	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 x957 -x956 -x955 x954 
66.76/67.03	v x953 -x952 -x951 -x950 -x949 -x948 x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 x936 x935 x934 -x933 -x932 
66.76/67.03	v -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 
66.76/67.03	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 
66.76/67.03	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 -x877 -x876 -x875 x874 x873 x872 -x871 x870 -x869 -x868 
66.76/67.03	v x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 x858 x857 -x856 -x855 x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 
66.76/67.03	v -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 -x826 -x825 
66.76/67.03	v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 
66.76/67.03	v -x803 x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 
66.76/67.03	v -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 x765 -x764 -x763 -x762 -x761 
66.76/67.03	v -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 x748 -x747 -x746 x745 -x744 -x743 -x742 -x741 -x740 
66.76/67.03	v -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 x729 -x728 -x727 x726 x725 -x724 x723 -x722 -x721 x720 x719 x718 -x717 
66.76/67.03	v -x716 x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
66.76/67.03	v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 -x678 -x677 -x676 -x675 x674 
66.76/67.03	v x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 x663 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 
66.76/67.03	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 
66.76/67.03	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 
66.76/67.03	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 
66.76/67.03	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 
66.76/67.03	v x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 x559 x558 x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 
66.76/67.03	v -x545 -x544 x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 
66.76/67.03	v -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 
66.76/67.03	v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 -x490 -x489 x488 x487 -x486 -x485 -x484 -x483 -x482 
66.76/67.03	v x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 x463 -x462 -x461 -x460 
66.76/67.03	v -x459 -x458 -x457 x456 -x455 x454 x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 
66.76/67.03	v x438 -x437 x436 x435 x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 
66.76/67.03	v -x416 x415 x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 x396 -x395 
66.76/67.03	v x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 
66.76/67.03	v -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 x352 
66.76/67.03	v -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 
66.76/67.03	v -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 
66.76/67.03	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 
66.76/67.03	v -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 
66.76/67.03	v x265 -x264 x263 -x262 -x261 x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 x246 x245 -x244 
66.76/67.03	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 
66.76/67.03	v -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 
66.76/67.03	v -x200 -x199 x198 x197 -x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 x181 x180 x179 
66.76/67.03	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 
66.76/67.03	v x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 
66.76/67.03	v -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 x116 -x115 
66.76/67.03	v -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 
66.76/67.03	v -x91 -x90 x89 -x88 -x87 x86 x85 x84 x83 x82 -x81 -x80 x79 -x78 x77 x76 -x75 x74 x73 -x72 x71 -x70 x69 x68 -x67 -x66 -x65 -x64 
66.76/67.03	v -x63 x62 -x61 x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 x51 -x50 x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 
66.76/67.03	v x36 -x35 x34 x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 x12 x11 x10 
66.76/67.03	v x9 x8 x7 x6 -x5 x4 x3 -x2 -x1 
66.76/67.03	c SCIP Status        : problem is solved [optimal solution found]
66.76/67.03	c Total Time         :      67.02
66.76/67.03	c   solving          :      67.02
66.76/67.03	c   presolving       :       6.48 (included in solving)
66.76/67.03	c   reading          :       0.02 (included in solving)
66.76/67.03	c   copying          :       0.08 (4 #copies) (minimal 0.02, maximal 0.02, average 0.02)
66.76/67.03	c Original Problem   :
66.76/67.03	c   Problem name     : HOME/instance-4525003-1751617020.wbo
66.76/67.03	c   Variables        : 6278 (6278 binary, 0 integer, 0 implicit integer, 0 continuous)
66.76/67.03	c   Constraints      : 12013 initial, 12013 maximal
66.76/67.03	c   Objective        : minimize, 3029 non-zeros (abs.min = 1, abs.max = 100)
66.76/67.03	c Presolved Problem  :
66.76/67.03	c   Problem name     : t_HOME/instance-4525003-1751617020.wbo
66.76/67.03	c   Variables        : 6311 (6181 binary, 0 integer, 130 implicit integer, 0 continuous)
66.76/67.03	c   Constraints      : 7384 initial, 8043 maximal
66.76/67.03	c   Objective        : minimize, 3026 non-zeros (abs.min = 1, abs.max = 100)
66.76/67.03	c   Nonzeros         : 25283 constraint, 53501 clique table
66.76/67.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
66.76/67.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   domcol           :       0.00       0.00    117          0          0          0          0          0          0          0          0          0
66.76/67.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
66.76/67.03	c   gateextraction   :       0.22       0.00    120          0          0          0          0          0       2350        783          0          0
66.76/67.03	c   implics          :       0.01       0.00    122          0          0          0          0          0          0          0          0          0
66.76/67.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
66.76/67.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   trivial          :       0.03       0.00    240          0          0          0          0          0          0          0          0          0
66.76/67.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   dualfix          :       0.03       0.00    240          4          0          0          0          0          0          0          0          0
66.76/67.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   probing          :       5.14       0.00    117          0       2897          0          0          0          0          0          0          0
66.76/67.03	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
66.76/67.03	c   vbounds          :       0.01       0.00      3          0         87          0          0          0          0          0          0          0
66.76/67.03	c   knapsack         :       0.02       0.00    474          0          0          0          0          0          0          0          0          0
66.76/67.03	c   setppc           :       0.28       0.00    474          0          0          0          0          0          3          0          0          0
66.76/67.03	c   and              :       0.14       0.00    353          0          2          0          0          0         30         30          0          0
66.76/67.03	c   linear           :       0.36       0.00    358          0          3          0       3026          0        182          0        192        384
66.76/67.03	c   logicor          :       0.17       0.00    472          0          0          0          0          0          0          0          0          1
66.76/67.03	c   bounddisjunction :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   indicator        :       0.02       0.00    120          3          0          0          0          0       2877          0          0          0
66.76/67.03	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
66.76/67.03	c   root node        :          -          -      -       4899          -          -       4899          -          -          -          -          -
66.76/67.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
66.76/67.03	c   benderslp        :          0          0          0          0        457          0          0        401          0          0          0          0          0          0          0
66.76/67.03	c   integral         :          0          0          0          0        457          0          0        401          0          1       4927          0          0        460        676
66.76/67.03	c   knapsack         :        254+       255         12      48195          3          0          0        395         84         12         78       2100        111          0          0
66.76/67.03	c   setppc           :       2192+      2239         12      49017          3          0          0        382      15458        106      23550          0          0          0          0
66.76/67.03	c   and              :        752        752        750      49247          3          0          0        381      10993         63      21275       2622       1986          0          0
66.76/67.03	c   linear           :       3026+      3040         12      49258          3          0          0        384      17237        118      28530          0          0          0          0
66.76/67.03	c   logicor          :       1008+      1767         12      22194          3          0          0         12       6773        178      11175          2          1          0          0
66.76/67.03	c   bounddisjunction :          0+         4          0        222          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   benders          :          0          0          0          0          3          0          0         10          0          0          0          0          0          0          0
66.76/67.03	c   indicator        :        152        152         88      48762          3          0          0          8          2          0        327          0          0          0          0
66.76/67.03	c   fixedvar         :          0          0          0          0          3          0          0         10          0          0          0          0          0          0          0
66.76/67.03	c   countsols        :          0          0          0          0          3          0          0         10          0          0          0          0          0          0          0
66.76/67.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
66.76/67.03	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   integral         :      26.45       0.00       0.00       0.00      26.42       0.00       0.00       0.04       0.00       0.00
66.76/67.03	c   knapsack         :       0.19       0.00       0.01       0.15       0.00       0.00       0.00       0.02       0.00       0.01
66.76/67.03	c   setppc           :       0.79       0.00       0.00       0.60       0.00       0.00       0.00       0.08       0.01       0.10
66.76/67.03	c   and              :       0.53       0.00       0.08       0.27       0.00       0.00       0.00       0.03       0.00       0.15
66.76/67.03	c   linear           :       0.36       0.00       0.01       0.13       0.00       0.00       0.00       0.06       0.01       0.15
66.76/67.03	c   logicor          :       0.17       0.00       0.00       0.08       0.00       0.00       0.00       0.00       0.01       0.07
66.76/67.03	c   bounddisjunction :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   indicator        :       0.53       0.00       0.00       0.53       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
66.76/67.03	c   dualfix          :          3          0          0          0
66.76/67.03	c   genvbounds       :          0          0          0          0
66.76/67.03	c   nlobbt           :          0          0          0          0
66.76/67.03	c   obbt             :          0          0          0          0
66.76/67.03	c   probing          :          0          0          0          0
66.76/67.03	c   pseudoobj        :       6485         43          0        782
66.76/67.03	c   redcost          :       1470          0          0       1301
66.76/67.03	c   rootredcost      :          8          0          0       3011
66.76/67.03	c   symmetry         :          0          0          0          0
66.76/67.03	c   vbounds          :      23214          0          0          0
66.76/67.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
66.76/67.03	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
66.76/67.03	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
66.76/67.03	c   probing          :       5.14       0.00       5.14       0.00       0.00       0.00
66.76/67.03	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
66.76/67.03	c   redcost          :       0.15       0.00       0.00       0.15       0.00       0.00
66.76/67.03	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
66.76/67.03	c   symmetry         :       0.02       0.00       0.01       0.00       0.00       0.00
66.76/67.03	c   vbounds          :       0.98       0.00       0.01       0.96       0.00       0.01
66.76/67.03	c Symmetry           :
66.76/67.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
66.76/67.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
66.76/67.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
66.76/67.03	c   shadow tree time :       0.00 s
66.76/67.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
66.76/67.03	c   propagation      :       0.04        472        466          -       1848       22.0         37       16.2          -          -          -
66.76/67.03	c   infeasible LP    :       0.03         37         37          -        136       17.3          5        3.0         37        9.3          0
66.76/67.03	c   bound exceed. LP :       0.02          7          4          -         15       25.7          0        0.0          4      161.5         40
66.76/67.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
66.76/67.03	c   pseudo solution  :       0.00          1          1          -          7        8.9          0        0.0          -          -          -
66.76/67.03	c   applied globally :       0.02          -          -          0       1187       15.5          -          -         41          -          -
66.76/67.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
66.76/67.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
66.76/67.03	c   cut pool         :       0.29          -        197         24          -          -       8039      23228          -          -          -          -          -    (maximal pool size:       6826)
66.76/67.03	c   aggregation      :       0.33       0.00         85         12          0          0       2235      10589          0        572        572          0          0
66.76/67.03	c   > cmir           :          -          -          -          -          -          -          -       6087          0        223        223          0          -
66.76/67.03	c   > flowcover      :          -          -          -          -          -          -          -       4364          0        332        332          0          -
66.76/67.03	c   > knapsackcover  :          -          -          -          -          -          -          -        138          0         17         17          0          -
66.76/67.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   clique           :       0.25       0.00         12         12          0          0         21         30          0         10         10          0          0
66.76/67.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   gomory           :       3.84       0.00         79         10          0          0       5364      10476        620        483        463         20          0
66.76/67.03	c   > gomorymi       :          -          -          -          -          -          -          -       4772        310        160        152          8          -
66.76/67.03	c   > strongcg       :          -          -          -          -          -          -          -       5704        310        323        311         12          -
66.76/67.03	c   impliedbounds    :       0.09       0.00         85         12          0          1        812       1159          0        541        541          0          0
66.76/67.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
66.76/67.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   mixing           :       0.00       0.00         85         12          0          0          0          0          0          0          0          0          0
66.76/67.03	c   multilinear      :       0.00       0.00         76         12          0          0          0          0          0          0          0          0          0
66.76/67.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
66.76/67.03	c   rlt              :       0.59       0.00         44         10          0          0        121        141         49         80         57         23          0
66.76/67.03	c   zerohalf         :       0.33       0.00         81         12          0          0        299        833        144        317        231         86          0
66.76/67.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
66.76/67.03	c   hybrid           :       0.04       0.00        491         13       4101          0      24664        557          0       8364
66.76/67.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
66.76/67.03	c   problem variables:       0.00          -          0          0
66.76/67.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
66.76/67.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c   relpscost        :      26.41       0.00        454          0          0          1       4927          0        520        676
66.76/67.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
66.76/67.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
66.76/67.03	c   LP solutions     :       0.00          -          -          3          3
66.76/67.03	c   relax solutions  :       0.00          -          -          0          0
66.76/67.03	c   pseudo solutions :       0.00          -          -          0          0
66.76/67.03	c   strong branching :       0.02          -          -          1          1
66.76/67.03	c   actconsdiving    :       0.00       0.00          0          0          0
66.76/67.03	c   adaptivediving   :       0.00       0.00          0          0          0
66.76/67.03	c   alns             :       0.05       0.00          1          0          0
66.76/67.03	c   bound            :       0.00       0.00          0          0          0
66.76/67.03	c   clique           :       0.11       0.00          1          0          0
66.76/67.03	c   coefdiving       :       0.00       0.00          0          0          0
66.76/67.03	c   completesol      :       0.00       0.00          0          0          0
66.76/67.03	c   conflictdiving   :       0.25       0.00          1          0          0
66.76/67.03	c   crossover        :       0.06       0.00          1          0          0
66.76/67.03	c   dins             :       0.00       0.00          0          0          0
66.76/67.03	c   distributiondivin:       0.02       0.00          0          0          0
66.76/67.03	c   dps              :       0.00       0.00          0          0          0
66.76/67.03	c   dualval          :       0.00       0.00          0          0          0
66.76/67.03	c   farkasdiving     :       4.56       0.00          1          1          1
66.76/67.03	c   feasjump         :       0.00       0.00          0          0          0
66.76/67.03	c   feaspump         :       0.37       0.00          1          0          0
66.76/67.03	c   fixandinfer      :       0.00       0.00          0          0          0
66.76/67.03	c   fracdiving       :       0.00       0.00          0          0          0
66.76/67.03	c   gins             :       0.00       0.00          0          0          0
66.76/67.03	c   guideddiving     :       0.00       0.00          0          0          0
66.76/67.03	c   indcoefdiving    :       0.00       0.00          0          0          0
66.76/67.03	c   indicator        :       0.00       0.00          0          0          0
66.76/67.03	c   indicatordiving  :       0.00       0.00          0          0          0
66.76/67.03	c   indoneopt        :       0.28       0.00          9          0          0
66.76/67.03	c   indrounding      :       0.00       0.00          0          0          0
66.76/67.03	c   indtwoopt        :       0.00       0.00          0          0          0
66.76/67.03	c   intdiving        :       0.00       0.00          0          0          0
66.76/67.03	c   intshifting      :       0.00       0.00          0          0          0
66.76/67.03	c   linesearchdiving :       0.00       0.00          0          0          0
66.76/67.03	c   localbranching   :       0.00       0.00          0          0          0
66.76/67.03	c   locks            :       0.04       0.00          1          1          1
66.76/67.03	c   lpface           :      11.58       0.00          1          0          0
66.76/67.03	c   mpec             :       0.00       0.00          0          0          0
66.76/67.03	c   multistart       :       0.00       0.00          0          0          0
66.76/67.03	c   mutation         :       0.00       0.00          0          0          0
66.76/67.03	c   nlpdiving        :       0.00       0.00          0          0          0
66.76/67.03	c   objpscostdiving  :       0.00       0.00          0          0          0
66.76/67.03	c   octane           :       0.00       0.00          0          0          0
66.76/67.03	c   ofins            :       0.00       0.00          0          0          0
66.76/67.03	c   oneopt           :       0.01       0.00          9          1          1
66.76/67.03	c   padm             :       0.00       0.00          0          0          0
66.76/67.03	c   proximity        :       0.00       0.00          0          0          0
66.76/67.03	c   pscostdiving     :       0.05       0.00          1          1          1
66.76/67.03	c   randrounding     :       0.13       0.00         24          0          0
66.76/67.03	c   rens             :       0.06       0.00          1          0          0
66.76/67.03	c   reoptsols        :       0.00       0.00          0          0          0
66.76/67.03	c   repair           :       0.00       0.00          0          0          0
66.76/67.03	c   rins             :       0.06       0.00          1          0          0
66.76/67.03	c   rootsoldiving    :       0.00       0.00          0          0          0
66.76/67.03	c   rounding         :       0.07       0.00        388          0          0
66.76/67.03	c   scheduler        :       0.00       0.00          0          0          0
66.76/67.03	c   shiftandpropagate:       0.00       0.00          0          0          0
66.76/67.03	c   shifting         :       0.21       0.00        161          2          2
66.76/67.03	c   simplerounding   :       0.01       0.00        951          0          0
66.76/67.03	c   smallcard        :       0.00       0.00          0          0          0
66.76/67.03	c   subnlp           :       0.00       0.00          0          0          0
66.76/67.03	c   trivial          :       0.00       0.00          2          0          0
66.76/67.03	c   trivialnegation  :       0.00       0.00          0          0          0
66.76/67.03	c   trustregion      :       0.00       0.00          0          0          0
66.76/67.03	c   trysol           :       0.00       0.00          1          1          0
66.76/67.03	c   twoopt           :       0.00       0.00          0          0          0
66.76/67.03	c   undercover       :       0.00       0.00          1          0          0
66.76/67.03	c   vbounds          :       0.03       0.00          1          0          0
66.76/67.03	c   veclendiving     :       0.00       0.00          0          0          0
66.76/67.03	c   zeroobj          :       0.00       0.00          0          0          0
66.76/67.03	c   zirounding       :       0.04       0.00        327          0          0
66.76/67.03	c   other solutions  :          -          -          -          0          -
66.76/67.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	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
66.76/67.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
66.76/67.03	c   primal LP        :       0.06         37          0       0.00       0.00       0.06         37
66.76/67.03	c   dual LP          :       7.02       1020      58967      63.27    8395.49       0.18         88
66.76/67.03	c   lex dual LP      :       0.00          0          0       0.00          -
66.76/67.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
66.76/67.03	c   resolve instable :       0.00          0          0       0.00          -
66.76/67.03	c   diving/probing LP:       9.25        354      31622      89.33    3419.11
66.76/67.03	c   strong branching :      18.34       1334     141285     105.91    7703.56          -          -        194
66.76/67.03	c     (at root node) :          -         19      10735     565.00          -
66.76/67.03	c   conflict analysis:       0.01          5         40       8.00    3860.63
66.76/67.03	c B&B Tree           :
66.76/67.03	c   number of runs   :          1
66.76/67.03	c   nodes            :        497 (338 internal, 159 leaves)
66.76/67.03	c   feasible leaves  :          3
66.76/67.03	c   infeas. leaves   :        154
66.76/67.03	c   objective leaves :          2
66.76/67.03	c   nodes (total)    :        497 (338 internal, 159 leaves)
66.76/67.03	c   nodes left       :          0
66.76/67.03	c   max depth        :         39
66.76/67.03	c   max depth (total):         39
66.76/67.03	c   backtracks       :        123 (24.7%)
66.76/67.03	c   early backtracks :          0 (0.0%)
66.76/67.03	c   nodes exc. ref.  :          0 (0.0%)
66.76/67.03	c   delayed cutoffs  :        117
66.76/67.03	c   repropagations   :        494 (26530 domain reductions, 91 cutoffs)
66.76/67.03	c   avg switch length:       3.58
66.76/67.03	c   switching time   :       0.38
66.76/67.03	c Root Node          :
66.76/67.03	c   First LP value   : +0.00000000000000e+00
66.76/67.03	c   First LP Iters   :        766 (32718.26 Iter/sec)
66.76/67.03	c   First LP Time    :       0.02
66.76/67.03	c   Final Dual Bound : +2.00000000000000e+00
66.76/67.03	c   Final Root Iters :       4439
66.76/67.03	c   Root LP Estimate : +4.09702705680070e+00
66.76/67.03	c Solution           :
66.76/67.03	c   Solutions found  :         11 (10 improvements)
66.76/67.03	c   First Solution   : +1.54593000000000e+05   (in run 1, after 1 nodes, 6.68 seconds, depth 1055, found by <locks>)
66.76/67.03	c   Gap First Sol.   :   infinite
66.76/67.03	c   Gap Last Sol.    :   infinite
66.76/67.03	c   Primal Bound     : +2.00000000000000e+00   (in run 1, after 129 nodes, 52.81 seconds, depth 10, found by <shifting>)
66.76/67.03	c   Dual Bound       : +2.00000000000000e+00
66.76/67.03	c   Gap              :       0.00 %
66.76/67.03	c Integrals          :      Total       Avg%
66.76/67.03	c   primal-dual      :    6701.66     100.00
66.76/67.03	c   primal-ref       :          -          - (not evaluated)
66.76/67.03	c   dual-ref         :          -          - (not evaluated)
66.76/67.09	c Time complete: 66.8498.

OK	2

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: 63665 MiB (60852 MiB free)
  memory of node 1: 64507 MiB (58873 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525003-1751617020/watcher-4525003-1751617020 -o /tmp/evaluation-result-4525003-1751617020/solver-4525003-1751617020 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91488 --watchdog 3760 pbscip -f HOME/instance-4525003-1751617020.wbo -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92011, runsolver pid=92008

[startup+0.100068 s]*
/proc/loadavg: 4.20 4.16 4.07 5/264 92012
/proc/meminfo: memFree=122567860/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=89432 memory=61696 CPUtime=0.08 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 12151 0 0 0 7 1 0 0 20 0 1 0 77379723 91578368 15424 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 22358 15424 3616 3530 0 13809 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89432 KiB
Current children cumulated memory: 61696 KiB

[startup+0.205611 s]*
/proc/loadavg: 4.20 4.16 4.07 5/264 92012
/proc/meminfo: memFree=122559796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=97272 memory=68224 CPUtime=0.18 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 13779 0 0 0 17 1 0 0 20 0 1 0 77379723 99606528 17056 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 24318 17056 3680 3530 0 15769 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 97272 KiB
Current children cumulated memory: 68224 KiB

[startup+0.305482 s]*
/proc/loadavg: 4.20 4.16 4.07 5/264 92012
/proc/meminfo: memFree=122559796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=97860 memory=68864 CPUtime=0.28 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 13950 0 0 0 27 1 0 0 20 0 1 0 77379723 100208640 17216 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 24465 17216 3680 3530 0 15916 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97860 KiB
Current children cumulated memory: 68864 KiB

[startup+0.70016 s]
/proc/loadavg: 4.20 4.16 4.07 5/264 92012
/proc/meminfo: memFree=122559796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=98520 memory=69504 CPUtime=0.67 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 14125 0 0 0 66 1 0 0 20 0 1 0 77379723 100884480 17376 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 24630 17376 3680 3530 0 16081 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 98520 KiB
Current children cumulated memory: 69504 KiB

[startup+1.50019 s]
/proc/loadavg: 4.20 4.16 4.07 5/264 92012
/proc/meminfo: memFree=122561568/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=100284 memory=71552 CPUtime=1.47 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 14629 0 0 0 146 1 0 0 20 0 1 0 77379723 102690816 17888 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 25071 17888 3680 3530 0 16522 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 100284 KiB
Current children cumulated memory: 71552 KiB

[startup+3.10543 s]
/proc/loadavg: 4.18 4.16 4.06 5/264 92012
/proc/meminfo: memFree=122569876/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=101312 memory=72576 CPUtime=3.07 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 14887 0 0 0 306 1 0 0 20 0 1 0 77379723 103743488 18144 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 25328 18144 3680 3530 0 16779 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 101312 KiB
Current children cumulated memory: 72576 KiB

[startup+6.30018 s]
/proc/loadavg: 4.18 4.16 4.06 5/264 92012
/proc/meminfo: memFree=122581908/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=103184 memory=74496 CPUtime=6.26 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 15353 0 0 0 624 2 0 0 20 0 1 0 77379723 105660416 18624 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 25796 18624 3680 3530 0 17247 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 103184 KiB
Current children cumulated memory: 74496 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.06 5/264 92012
/proc/meminfo: memFree=122582196/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=201420 memory=151936 CPUtime=12.64 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 35530 0 0 0 1259 5 0 0 20 0 1 0 77379723 206254080 37984 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 50355 37984 3872 3530 0 41806 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 201420 KiB
Current children cumulated memory: 151936 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.06 5/263 92012
/proc/meminfo: memFree=122495568/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=287020 memory=234448 CPUtime=25.4 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 62910 0 0 0 2531 9 0 0 20 0 1 0 77379723 293908480 58612 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 71755 58612 3968 3530 0 63206 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 287020 KiB
Current children cumulated memory: 234448 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.15 4.07 5/263 92013
/proc/meminfo: memFree=122418272/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=283864 CPUtime=50.9 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 78467 0 0 0 5079 11 0 0 20 0 1 0 77379723 343961600 70966 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 70966 3968 3530 0 75426 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 283864 KiB

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

# cumulated CPU time of all completed processes:  user=66.7278 s, system=0.136447 s

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

[startup+51.2002 s]
/proc/loadavg: 4.16 4.15 4.07 5/263 92013
/proc/meminfo: memFree=122418272/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=283864 CPUtime=50.99 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 78467 0 0 0 5088 11 0 0 20 0 1 0 77379723 343961600 70966 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 70966 3968 3530 0 75426 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 283864 KiB

[startup+57.6002 s]
/proc/loadavg: 4.15 4.15 4.07 5/263 92013
/proc/meminfo: memFree=122429516/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=284504 CPUtime=57.37 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 78645 0 0 0 5726 11 0 0 20 0 1 0 77379723 343961600 71126 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71126 3968 3530 0 75426 0
Current children cumulated CPU time: 57.37 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 284504 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.12 4.14 4.06 5/264 92019
/proc/meminfo: memFree=122429544/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=285912 CPUtime=63.77 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 79001 0 0 0 6365 12 0 0 20 0 1 0 77379723 343961600 71478 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71478 3968 3530 0 75426 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 285912 KiB

[startup+65.6002 s]
/proc/loadavg: 4.12 4.14 4.06 5/264 92019
/proc/meminfo: memFree=122429796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=285912 CPUtime=65.36 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 79003 0 0 0 6524 12 0 0 20 0 1 0 77379723 343961600 71478 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71478 3968 3530 0 75426 0
Current children cumulated CPU time: 65.36 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 285912 KiB

[startup+66.4002 s]
/proc/loadavg: 4.12 4.14 4.06 5/264 92019
/proc/meminfo: memFree=122429796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=285912 CPUtime=66.15 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 79003 0 0 0 6603 12 0 0 20 0 1 0 77379723 343961600 71478 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71478 3968 3530 0 75426 0
Current children cumulated CPU time: 66.15 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 285912 KiB

[startup+66.8001 s]
/proc/loadavg: 4.12 4.14 4.06 5/264 92019
/proc/meminfo: memFree=122429796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=285912 CPUtime=66.55 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 79003 0 0 0 6643 12 0 0 20 0 1 0 77379723 343961600 71478 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71478 3968 3530 0 75426 0
Current children cumulated CPU time: 66.55 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 285912 KiB

[startup+67.0002 s]*
/proc/loadavg: 4.12 4.14 4.06 5/264 92019
/proc/meminfo: memFree=122429796/131249996 swapFree=33010672/33010684
[pid=92011] ppid=92008 vsize=335900 memory=285912 CPUtime=66.76 cores=5,7
/proc/92011/stat : 92011 (pbscip) R 92008 92011 91475 0 -1 4194304 79003 0 0 0 6664 12 0 0 20 0 1 0 77379723 343961600 71478 18446744073709551615 4235264 18693293 140730256178944 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 46317568 140730256185735 140730256185834 140730256185834 140730256191438 0
/proc/92011/statm: 83975 71478 3968 3530 0 75426 0
Current children cumulated CPU time: 66.76 s
Current children cumulated vsize: 335900 KiB
Current children cumulated memory: 285912 KiB

Child status: 0

Real time (s): 67.1079
CPU time (s): 66.8642
CPU user time (s): 66.7278
CPU system time (s): 0.136447
CPU usage (%): 99.6369
Max. virtual memory (cumulated for all children) (KiB): 338816
Max. memory (cumulated for all children) (KiB): 285912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.7278
system time used= 0.136447
maximum resident set size= 285912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79010
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= 416


# summary of solver processes directly reported to runsolver:
#   pid: 92011
#   total CPU time (s): 66.8642
#   total CPU user time (s): 66.7278
#   total CPU system time (s): 0.136447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134682 second user time and 0.342672 second system time

The end

Begin job on nodeC017 at 2025-07-04 10:17:00
IDJOB=4525003
IDBENCH=143361
IDSOLVER=3382
FILE ID=nodeC017/4525003-1751617020
RUNJOBID= nodeC017-1751613033-91488
SLURM_JOB_ID= 9598916
Free space on /tmp= 432412 MiB

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

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

MD5SUM BENCH= 0a60c91e2f2f57eb4bf742508c9f5d18
RANDOM SEED=1108126482

nodeC017 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		: 3600.089
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.027
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	: 7000.12
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		: 3627.553
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	: 7000.12
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		: 3498.379
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	: 7000.12
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.861
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	: 7000.12
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		: 3597.219
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	: 7000.12
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	: 7000.12
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		: 3600.054
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122600056 kB
MemAvailable:   126969116 kB
Buffers:            1688 kB
Cached:          5136808 kB
SwapCached:            8 kB
Active:          2942200 kB
Inactive:        4846696 kB
Active(anon):    2652344 kB
Inactive(anon):    16128 kB
Active(file):     289856 kB
Inactive(file):  4830568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18972 kB
Writeback:            60 kB
AnonPages:       2653504 kB
Mapped:           138268 kB
Shmem:             18072 kB
KReclaimable:     175348 kB
Slab:             266812 kB
SReclaimable:     175348 kB
SUnreclaim:        91464 kB
KernelStack:        4256 kB
PageTables:         8600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3404424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1165312 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:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432392 MiB
End job on nodeC017 at 2025-07-04 10:18:07