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-4545554-1753238427.opb>
0.08/0.11	c original problem has 17343 variables (17343 bin, 0 int, 0 impl, 0 cont) and 32542 constraints
0.08/0.11	c problem read in 0.10
0.08/0.11	c No objective function, only one solution is needed.
0.08/0.19	c presolving:
0.18/0.24	c (round 1, fast)       348 del vars, 144 del conss, 252 add conss, 347 chg bounds, 504 chg sides, 252 chg coeffs, 0 upgd conss, 0 impls, 1937 clqs
0.18/0.29	c (round 2, fast)       6837 del vars, 10739 del conss, 252 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 3235 clqs
0.18/0.30	c (round 3, fast)       6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs
0.18/0.30	c (round 4, fast)       6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs
0.29/0.35	c    (0.3s) running MILP presolver
0.68/0.78	c    (0.8s) MILP presolver (22 rounds): 763 aggregations, 572 fixings, 0 bound changes
0.68/0.78	c (round 5, medium)     8304 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 2729 clqs
0.78/0.83	c (round 6, fast)       8310 del vars, 14082 del conss, 518 add conss, 6459 chg bounds, 11150 chg sides, 9135 chg coeffs, 0 upgd conss, 0 impls, 3407 clqs
0.78/0.84	c (round 7, fast)       8310 del vars, 14090 del conss, 518 add conss, 6459 chg bounds, 11262 chg sides, 9353 chg coeffs, 0 upgd conss, 0 impls, 3407 clqs
0.78/0.84	c (round 8, medium)     8347 del vars, 14090 del conss, 518 add conss, 6459 chg bounds, 11262 chg sides, 9353 chg coeffs, 0 upgd conss, 0 impls, 3333 clqs
0.78/0.84	c (round 9, fast)       8347 del vars, 14164 del conss, 518 add conss, 6459 chg bounds, 11280 chg sides, 9371 chg coeffs, 0 upgd conss, 0 impls, 3333 clqs
0.78/0.85	c (round 10, exhaustive) 8347 del vars, 14740 del conss, 518 add conss, 6459 chg bounds, 11280 chg sides, 9371 chg coeffs, 0 upgd conss, 0 impls, 3333 clqs
0.88/0.93	c (round 11, exhaustive) 8347 del vars, 14740 del conss, 518 add conss, 6459 chg bounds, 11280 chg sides, 9371 chg coeffs, 17562 upgd conss, 0 impls, 3333 clqs
0.88/0.95	c (round 12, fast)       8347 del vars, 14750 del conss, 532 add conss, 6459 chg bounds, 11698 chg sides, 13264 chg coeffs, 17562 upgd conss, 0 impls, 3338 clqs
0.98/1.02	c (round 13, medium)     8357 del vars, 18092 del conss, 6636 add conss, 6459 chg bounds, 21792 chg sides, 24639 chg coeffs, 17562 upgd conss, 0 impls, 9152 clqs
0.98/1.04	c (round 14, fast)       8359 del vars, 18683 del conss, 7079 add conss, 6459 chg bounds, 21792 chg sides, 24640 chg coeffs, 17562 upgd conss, 0 impls, 9149 clqs
0.98/1.08	c (round 15, exhaustive) 8359 del vars, 25413 del conss, 9516 add conss, 6459 chg bounds, 21792 chg sides, 24640 chg coeffs, 17562 upgd conss, 0 impls, 9149 clqs
1.08/1.12	c (round 16, exhaustive) 8372 del vars, 25422 del conss, 9524 add conss, 6459 chg bounds, 21792 chg sides, 25653 chg coeffs, 17562 upgd conss, 0 impls, 9117 clqs
1.08/1.12	c (round 17, fast)       8376 del vars, 25434 del conss, 9527 add conss, 6459 chg bounds, 21794 chg sides, 25659 chg coeffs, 17562 upgd conss, 0 impls, 9115 clqs
1.08/1.15	c (round 18, exhaustive) 8488 del vars, 25550 del conss, 9534 add conss, 6459 chg bounds, 21797 chg sides, 25679 chg coeffs, 17562 upgd conss, 0 impls, 8896 clqs
1.08/1.18	c (round 19, exhaustive) 8488 del vars, 25552 del conss, 9534 add conss, 6459 chg bounds, 21799 chg sides, 25688 chg coeffs, 18091 upgd conss, 0 impls, 8896 clqs
1.08/1.19	c (round 20, medium)     8488 del vars, 25634 del conss, 9699 add conss, 6459 chg bounds, 22055 chg sides, 25988 chg coeffs, 18091 upgd conss, 0 impls, 9072 clqs
1.17/1.20	c (round 21, exhaustive) 8488 del vars, 26417 del conss, 9964 add conss, 6459 chg bounds, 22055 chg sides, 25988 chg coeffs, 18091 upgd conss, 0 impls, 9072 clqs
1.17/1.23	c (round 22, exhaustive) 8494 del vars, 26427 del conss, 9964 add conss, 6459 chg bounds, 22061 chg sides, 26082 chg coeffs, 18091 upgd conss, 0 impls, 9054 clqs
2.18/2.28	c (round 23, exhaustive) 8519 del vars, 26428 del conss, 9965 add conss, 6459 chg bounds, 22062 chg sides, 26149 chg coeffs, 18091 upgd conss, 0 impls, 9921 clqs
2.18/2.29	c (round 24, fast)       8519 del vars, 26466 del conss, 10086 add conss, 6459 chg bounds, 22130 chg sides, 26425 chg coeffs, 18091 upgd conss, 0 impls, 9975 clqs
2.18/2.29	c (round 25, fast)       8519 del vars, 26466 del conss, 10086 add conss, 6459 chg bounds, 22212 chg sides, 26604 chg coeffs, 18091 upgd conss, 0 impls, 9975 clqs
2.27/2.31	c (round 26, exhaustive) 8519 del vars, 26486 del conss, 10094 add conss, 6459 chg bounds, 22215 chg sides, 26609 chg coeffs, 18091 upgd conss, 0 impls, 9976 clqs
2.27/2.34	c (round 27, exhaustive) 8525 del vars, 26533 del conss, 10099 add conss, 6459 chg bounds, 22215 chg sides, 26763 chg coeffs, 18091 upgd conss, 0 impls, 9955 clqs
2.27/2.35	c (round 28, medium)     8525 del vars, 26533 del conss, 10163 add conss, 6459 chg bounds, 22279 chg sides, 26899 chg coeffs, 18091 upgd conss, 0 impls, 10007 clqs
2.27/2.37	c (round 29, exhaustive) 8527 del vars, 26544 del conss, 10170 add conss, 6459 chg bounds, 22279 chg sides, 26909 chg coeffs, 18091 upgd conss, 0 impls, 10003 clqs
2.27/2.40	c (round 30, exhaustive) 8528 del vars, 26545 del conss, 10170 add conss, 6459 chg bounds, 22279 chg sides, 26912 chg coeffs, 18168 upgd conss, 0 impls, 9998 clqs
2.37/2.40	c (round 31, fast)       8528 del vars, 26622 del conss, 10170 add conss, 6459 chg bounds, 22279 chg sides, 26912 chg coeffs, 18168 upgd conss, 0 impls, 9998 clqs
2.37/2.42	c (round 32, exhaustive) 8528 del vars, 26656 del conss, 10170 add conss, 6459 chg bounds, 22279 chg sides, 26912 chg coeffs, 18168 upgd conss, 0 impls, 9998 clqs
2.77/2.87	c (round 33, exhaustive) 8557 del vars, 26660 del conss, 10170 add conss, 6459 chg bounds, 22279 chg sides, 26916 chg coeffs, 18168 upgd conss, 0 impls, 10165 clqs
2.77/2.88	c (round 34, fast)       8557 del vars, 26690 del conss, 10217 add conss, 6459 chg bounds, 22279 chg sides, 26916 chg coeffs, 18168 upgd conss, 0 impls, 10166 clqs
2.77/2.88	c (round 35, fast)       8557 del vars, 26690 del conss, 10217 add conss, 6459 chg bounds, 22312 chg sides, 26973 chg coeffs, 18168 upgd conss, 0 impls, 10166 clqs
2.77/2.89	c (round 36, medium)     8557 del vars, 26696 del conss, 10225 add conss, 6459 chg bounds, 22328 chg sides, 26997 chg coeffs, 18168 upgd conss, 0 impls, 10166 clqs
2.87/2.91	c (round 37, exhaustive) 8557 del vars, 26707 del conss, 10236 add conss, 6459 chg bounds, 22328 chg sides, 27025 chg coeffs, 18168 upgd conss, 0 impls, 10166 clqs
2.87/2.92	c (round 38, medium)     8557 del vars, 26707 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27043 chg coeffs, 18168 upgd conss, 0 impls, 10186 clqs
2.87/2.94	c (round 39, exhaustive) 8557 del vars, 26725 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27043 chg coeffs, 18168 upgd conss, 0 impls, 10186 clqs
2.87/2.96	c (round 40, exhaustive) 8557 del vars, 26725 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27043 chg coeffs, 18194 upgd conss, 0 impls, 10186 clqs
2.87/2.97	c (round 41, fast)       8557 del vars, 26751 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27043 chg coeffs, 18194 upgd conss, 0 impls, 10186 clqs
2.98/3.01	c (round 42, exhaustive) 8557 del vars, 27028 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27043 chg coeffs, 18194 upgd conss, 0 impls, 10186 clqs
3.47/3.54	c (round 43, exhaustive) 8582 del vars, 27028 del conss, 10245 add conss, 6459 chg bounds, 22337 chg sides, 27046 chg coeffs, 18194 upgd conss, 0 impls, 10372 clqs
3.47/3.55	c (round 44, fast)       8582 del vars, 27054 del conss, 10295 add conss, 6459 chg bounds, 22337 chg sides, 27046 chg coeffs, 18194 upgd conss, 0 impls, 10375 clqs
3.47/3.55	c (round 45, fast)       8582 del vars, 27054 del conss, 10295 add conss, 6459 chg bounds, 22376 chg sides, 27115 chg coeffs, 18194 upgd conss, 0 impls, 10375 clqs
3.47/3.56	c (round 46, medium)     8582 del vars, 27057 del conss, 10342 add conss, 6459 chg bounds, 22460 chg sides, 27246 chg coeffs, 18194 upgd conss, 0 impls, 10377 clqs
3.47/3.58	c (round 47, exhaustive) 8584 del vars, 27084 del conss, 10363 add conss, 6459 chg bounds, 22460 chg sides, 27320 chg coeffs, 18194 upgd conss, 0 impls, 10368 clqs
3.47/3.59	c (round 48, medium)     8584 del vars, 27084 del conss, 10376 add conss, 6459 chg bounds, 22477 chg sides, 27358 chg coeffs, 18194 upgd conss, 0 impls, 10400 clqs
3.57/3.61	c (round 49, exhaustive) 8584 del vars, 27107 del conss, 10378 add conss, 6459 chg bounds, 22477 chg sides, 27358 chg coeffs, 18194 upgd conss, 0 impls, 10400 clqs
3.57/3.62	c (round 50, exhaustive) 8586 del vars, 27110 del conss, 10378 add conss, 6459 chg bounds, 22477 chg sides, 27358 chg coeffs, 18223 upgd conss, 0 impls, 10391 clqs
3.57/3.63	c (round 51, fast)       8586 del vars, 27139 del conss, 10378 add conss, 6459 chg bounds, 22477 chg sides, 27358 chg coeffs, 18223 upgd conss, 0 impls, 10391 clqs
3.87/3.95	c (round 52, exhaustive) 8611 del vars, 27140 del conss, 10378 add conss, 6459 chg bounds, 22477 chg sides, 27361 chg coeffs, 18223 upgd conss, 0 impls, 10473 clqs
3.87/3.96	c (round 53, fast)       8611 del vars, 27169 del conss, 10422 add conss, 6459 chg bounds, 22477 chg sides, 27361 chg coeffs, 18223 upgd conss, 0 impls, 10474 clqs
3.87/3.96	c (round 54, fast)       8611 del vars, 27169 del conss, 10422 add conss, 6459 chg bounds, 22522 chg sides, 27424 chg coeffs, 18223 upgd conss, 0 impls, 10474 clqs
3.87/3.98	c (round 55, medium)     8611 del vars, 27181 del conss, 10438 add conss, 6459 chg bounds, 22551 chg sides, 27469 chg coeffs, 18223 upgd conss, 0 impls, 10474 clqs
3.97/4.01	c (round 56, exhaustive) 8611 del vars, 27193 del conss, 10450 add conss, 6459 chg bounds, 22551 chg sides, 27477 chg coeffs, 18223 upgd conss, 0 impls, 10474 clqs
3.97/4.02	c (round 57, exhaustive) 8611 del vars, 27217 del conss, 10452 add conss, 6459 chg bounds, 22552 chg sides, 27481 chg coeffs, 18223 upgd conss, 0 impls, 10487 clqs
3.97/4.04	c (round 58, exhaustive) 8611 del vars, 27218 del conss, 10452 add conss, 6459 chg bounds, 22553 chg sides, 27481 chg coeffs, 18244 upgd conss, 0 impls, 10487 clqs
3.97/4.04	c (round 59, fast)       8611 del vars, 27239 del conss, 10452 add conss, 6459 chg bounds, 22553 chg sides, 27481 chg coeffs, 18244 upgd conss, 0 impls, 10487 clqs
4.47/4.54	c (round 60, exhaustive) 8636 del vars, 27240 del conss, 10452 add conss, 6459 chg bounds, 22553 chg sides, 27481 chg coeffs, 18244 upgd conss, 0 impls, 10534 clqs
4.47/4.55	c (round 61, fast)       8636 del vars, 27265 del conss, 10494 add conss, 6459 chg bounds, 22553 chg sides, 27481 chg coeffs, 18244 upgd conss, 0 impls, 10534 clqs
4.47/4.55	c (round 62, fast)       8636 del vars, 27265 del conss, 10494 add conss, 6459 chg bounds, 22599 chg sides, 27545 chg coeffs, 18244 upgd conss, 0 impls, 10534 clqs
4.47/4.57	c (round 63, exhaustive) 8636 del vars, 27286 del conss, 10511 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18244 upgd conss, 0 impls, 10534 clqs
4.47/4.59	c (round 64, exhaustive) 8636 del vars, 27309 del conss, 10511 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18244 upgd conss, 0 impls, 10550 clqs
4.57/4.60	c (round 65, exhaustive) 8636 del vars, 27309 del conss, 10511 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18263 upgd conss, 0 impls, 10550 clqs
4.57/4.60	c (round 66, fast)       8636 del vars, 27328 del conss, 10511 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18263 upgd conss, 0 impls, 10550 clqs
5.07/5.19	c (round 67, exhaustive) 8661 del vars, 27328 del conss, 10511 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18263 upgd conss, 0 impls, 10590 clqs
5.07/5.19	c (round 68, fast)       8661 del vars, 27352 del conss, 10559 add conss, 6459 chg bounds, 22599 chg sides, 27546 chg coeffs, 18263 upgd conss, 0 impls, 10590 clqs
5.16/5.20	c (round 69, fast)       8661 del vars, 27352 del conss, 10559 add conss, 6459 chg bounds, 22651 chg sides, 27618 chg coeffs, 18263 upgd conss, 0 impls, 10590 clqs
5.16/5.23	c (round 70, exhaustive) 8661 del vars, 27371 del conss, 10576 add conss, 6459 chg bounds, 22651 chg sides, 27621 chg coeffs, 18263 upgd conss, 0 impls, 10590 clqs
5.16/5.24	c (round 71, exhaustive) 8661 del vars, 27398 del conss, 10577 add conss, 6459 chg bounds, 22652 chg sides, 27624 chg coeffs, 18263 upgd conss, 0 impls, 10608 clqs
5.16/5.26	c (round 72, exhaustive) 8661 del vars, 27398 del conss, 10577 add conss, 6459 chg bounds, 22652 chg sides, 27624 chg coeffs, 18285 upgd conss, 0 impls, 10608 clqs
5.16/5.26	c (round 73, fast)       8661 del vars, 27420 del conss, 10577 add conss, 6459 chg bounds, 22652 chg sides, 27624 chg coeffs, 18285 upgd conss, 0 impls, 10608 clqs
7.96/8.09	c    (8.1s) probing: 1000/8981 (11.1%) - 7 fixings, 148 aggregations, 4703 implications, 0 bound changes
13.05/13.17	c    (13.2s) probing: 1822/8981 (20.3%) - 7 fixings, 148 aggregations, 6199 implications, 0 bound changes
13.05/13.17	c    (13.2s) probing aborted: 1000/1000 successive useless probings
13.05/13.17	c    (13.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
13.14/13.24	c    (13.2s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
13.14/13.24	c dynamic symmetry handling statistics:
13.14/13.24	c    orbitopal reduction:       no components
13.14/13.24	c    orbital reduction:         no components
13.14/13.24	c    lexicographic reduction:   no permutations
13.14/13.24	c handled 16 out of 16 symmetry components
13.14/13.24	c (round 74, exhaustive) 8666 del vars, 27420 del conss, 10600 add conss, 6459 chg bounds, 22652 chg sides, 27624 chg coeffs, 18285 upgd conss, 0 impls, 13203 clqs
13.14/13.26	c (round 75, fast)       8666 del vars, 27422 del conss, 10743 add conss, 6459 chg bounds, 22652 chg sides, 27624 chg coeffs, 18285 upgd conss, 0 impls, 13203 clqs
13.14/13.26	c (round 76, fast)       8666 del vars, 27422 del conss, 10743 add conss, 6459 chg bounds, 22766 chg sides, 27842 chg coeffs, 18285 upgd conss, 0 impls, 13203 clqs
13.14/13.28	c (round 77, medium)     8669 del vars, 27422 del conss, 10783 add conss, 6459 chg bounds, 22825 chg sides, 27941 chg coeffs, 18285 upgd conss, 0 impls, 13187 clqs
13.14/13.28	c (round 78, fast)       8669 del vars, 27431 del conss, 10784 add conss, 6459 chg bounds, 22841 chg sides, 27993 chg coeffs, 18285 upgd conss, 0 impls, 13187 clqs
13.24/13.32	c (round 79, exhaustive) 8669 del vars, 27441 del conss, 10790 add conss, 6459 chg bounds, 22841 chg sides, 28171 chg coeffs, 18285 upgd conss, 0 impls, 13187 clqs
13.24/13.33	c (round 80, medium)     8669 del vars, 27443 del conss, 10843 add conss, 6459 chg bounds, 22901 chg sides, 28304 chg coeffs, 18285 upgd conss, 0 impls, 13212 clqs
13.24/13.33	c (round 81, fast)       8669 del vars, 27450 del conss, 10850 add conss, 6459 chg bounds, 22901 chg sides, 28304 chg coeffs, 18285 upgd conss, 0 impls, 13212 clqs
13.24/13.35	c (round 82, exhaustive) 8669 del vars, 27512 del conss, 10852 add conss, 6459 chg bounds, 22901 chg sides, 28305 chg coeffs, 18285 upgd conss, 0 impls, 13212 clqs
13.24/13.36	c (round 83, exhaustive) 8669 del vars, 27514 del conss, 10852 add conss, 6459 chg bounds, 22903 chg sides, 28305 chg coeffs, 18388 upgd conss, 0 impls, 13212 clqs
13.24/13.37	c (round 84, fast)       8669 del vars, 27597 del conss, 10852 add conss, 6459 chg bounds, 22903 chg sides, 28305 chg coeffs, 18388 upgd conss, 0 impls, 13212 clqs
14.05/14.19	c (round 85, exhaustive) 8694 del vars, 27597 del conss, 10852 add conss, 6459 chg bounds, 22903 chg sides, 28383 chg coeffs, 18388 upgd conss, 0 impls, 13376 clqs
14.14/14.20	c (round 86, fast)       8694 del vars, 27622 del conss, 10925 add conss, 6459 chg bounds, 22904 chg sides, 28383 chg coeffs, 18388 upgd conss, 0 impls, 13402 clqs
14.14/14.21	c (round 87, fast)       8694 del vars, 27622 del conss, 10925 add conss, 6459 chg bounds, 22970 chg sides, 28502 chg coeffs, 18388 upgd conss, 0 impls, 13402 clqs
14.14/14.22	c (round 88, medium)     8694 del vars, 27626 del conss, 10934 add conss, 6459 chg bounds, 22979 chg sides, 28522 chg coeffs, 18388 upgd conss, 0 impls, 13402 clqs
14.14/14.24	c (round 89, exhaustive) 8694 del vars, 27636 del conss, 10943 add conss, 6459 chg bounds, 22979 chg sides, 28523 chg coeffs, 18388 upgd conss, 0 impls, 13402 clqs
14.14/14.26	c (round 90, exhaustive) 8694 del vars, 27669 del conss, 10944 add conss, 6459 chg bounds, 22981 chg sides, 28526 chg coeffs, 18388 upgd conss, 0 impls, 13409 clqs
14.14/14.27	c (round 91, exhaustive) 8694 del vars, 27669 del conss, 10944 add conss, 6459 chg bounds, 22981 chg sides, 28526 chg coeffs, 18428 upgd conss, 0 impls, 13409 clqs
14.14/14.27	c (round 92, fast)       8694 del vars, 27709 del conss, 10944 add conss, 6459 chg bounds, 22981 chg sides, 28526 chg coeffs, 18428 upgd conss, 0 impls, 13409 clqs
14.44/14.56	c    (14.6s) probing: 2000/8981 (22.3%) - 7 fixings, 185 aggregations, 7807 implications, 0 bound changes
14.64/14.79	c (round 93, exhaustive) 8719 del vars, 27709 del conss, 10944 add conss, 6459 chg bounds, 22981 chg sides, 28527 chg coeffs, 18428 upgd conss, 0 impls, 13595 clqs
14.74/14.80	c (round 94, fast)       8719 del vars, 27768 del conss, 11004 add conss, 6459 chg bounds, 22984 chg sides, 28527 chg coeffs, 18428 upgd conss, 0 impls, 13595 clqs
14.74/14.80	c (round 95, fast)       8719 del vars, 27768 del conss, 11004 add conss, 6459 chg bounds, 23030 chg sides, 28621 chg coeffs, 18428 upgd conss, 0 impls, 13595 clqs
14.74/14.83	c (round 96, exhaustive) 8719 del vars, 27798 del conss, 11009 add conss, 6459 chg bounds, 23030 chg sides, 28631 chg coeffs, 18428 upgd conss, 0 impls, 13595 clqs
14.74/14.84	c (round 97, exhaustive) 8719 del vars, 27800 del conss, 11014 add conss, 6459 chg bounds, 23033 chg sides, 28639 chg coeffs, 18465 upgd conss, 0 impls, 13602 clqs
14.74/14.85	c (round 98, fast)       8719 del vars, 27839 del conss, 11014 add conss, 6459 chg bounds, 23035 chg sides, 28639 chg coeffs, 18465 upgd conss, 0 impls, 13602 clqs
14.94/15.08	c (round 99, exhaustive) 8744 del vars, 27839 del conss, 11014 add conss, 6459 chg bounds, 23035 chg sides, 28639 chg coeffs, 18465 upgd conss, 0 impls, 13759 clqs
14.94/15.09	c (round 100, fast)       8744 del vars, 27865 del conss, 11088 add conss, 6459 chg bounds, 23036 chg sides, 28639 chg coeffs, 18465 upgd conss, 0 impls, 13759 clqs
14.94/15.09	c (round 101, fast)       8744 del vars, 27865 del conss, 11088 add conss, 6459 chg bounds, 23097 chg sides, 28755 chg coeffs, 18465 upgd conss, 0 impls, 13759 clqs
15.04/15.11	c (round 102, exhaustive) 8744 del vars, 27898 del conss, 11088 add conss, 6459 chg bounds, 23097 chg sides, 28755 chg coeffs, 18465 upgd conss, 0 impls, 13759 clqs
15.04/15.12	c (round 103, exhaustive) 8744 del vars, 27898 del conss, 11088 add conss, 6459 chg bounds, 23097 chg sides, 28755 chg coeffs, 18508 upgd conss, 0 impls, 13759 clqs
15.04/15.13	c (round 104, fast)       8744 del vars, 27941 del conss, 11088 add conss, 6459 chg bounds, 23097 chg sides, 28755 chg coeffs, 18508 upgd conss, 0 impls, 13759 clqs
15.64/15.75	c (round 105, exhaustive) 8769 del vars, 27943 del conss, 11088 add conss, 6459 chg bounds, 23097 chg sides, 28755 chg coeffs, 18508 upgd conss, 0 impls, 13672 clqs
15.64/15.76	c (round 106, fast)       8769 del vars, 27965 del conss, 11136 add conss, 6459 chg bounds, 23098 chg sides, 28755 chg coeffs, 18508 upgd conss, 0 impls, 13672 clqs
15.64/15.76	c (round 107, fast)       8769 del vars, 27965 del conss, 11136 add conss, 6459 chg bounds, 23134 chg sides, 28826 chg coeffs, 18508 upgd conss, 0 impls, 13672 clqs
15.64/15.77	c (round 108, medium)     8769 del vars, 27968 del conss, 11143 add conss, 6459 chg bounds, 23141 chg sides, 28842 chg coeffs, 18508 upgd conss, 0 impls, 13672 clqs
15.64/15.79	c (round 109, exhaustive) 8769 del vars, 27979 del conss, 11150 add conss, 6459 chg bounds, 23141 chg sides, 28842 chg coeffs, 18508 upgd conss, 0 impls, 13672 clqs
15.74/15.80	c (round 110, exhaustive) 8769 del vars, 27997 del conss, 11150 add conss, 6459 chg bounds, 23141 chg sides, 28842 chg coeffs, 18508 upgd conss, 0 impls, 13676 clqs
15.74/15.82	c (round 111, exhaustive) 8769 del vars, 27998 del conss, 11150 add conss, 6459 chg bounds, 23141 chg sides, 28842 chg coeffs, 18536 upgd conss, 0 impls, 13676 clqs
15.74/15.82	c (round 112, fast)       8769 del vars, 28026 del conss, 11150 add conss, 6459 chg bounds, 23141 chg sides, 28842 chg coeffs, 18536 upgd conss, 0 impls, 13676 clqs
15.84/15.99	c (round 113, exhaustive) 8794 del vars, 28026 del conss, 11150 add conss, 6459 chg bounds, 23141 chg sides, 28844 chg coeffs, 18536 upgd conss, 0 impls, 13632 clqs
15.84/16.00	c (round 114, fast)       8794 del vars, 28042 del conss, 11250 add conss, 6459 chg bounds, 23141 chg sides, 28844 chg coeffs, 18536 upgd conss, 0 impls, 13633 clqs
15.94/16.00	c (round 115, fast)       8794 del vars, 28042 del conss, 11250 add conss, 6459 chg bounds, 23243 chg sides, 29012 chg coeffs, 18536 upgd conss, 0 impls, 13633 clqs
15.94/16.02	c (round 116, exhaustive) 8794 del vars, 28093 del conss, 11250 add conss, 6459 chg bounds, 23243 chg sides, 29012 chg coeffs, 18536 upgd conss, 0 impls, 13633 clqs
15.94/16.04	c (round 117, exhaustive) 8794 del vars, 28093 del conss, 11250 add conss, 6459 chg bounds, 23243 chg sides, 29012 chg coeffs, 18585 upgd conss, 0 impls, 13633 clqs
15.94/16.04	c (round 118, fast)       8794 del vars, 28142 del conss, 11250 add conss, 6459 chg bounds, 23243 chg sides, 29012 chg coeffs, 18585 upgd conss, 0 impls, 13633 clqs
21.52/21.63	c    (21.6s) probing: 3000/8981 (33.4%) - 7 fixings, 289 aggregations, 13955 implications, 0 bound changes
26.50/26.60	c (round 119, exhaustive) 8819 del vars, 28142 del conss, 11250 add conss, 6459 chg bounds, 23243 chg sides, 29012 chg coeffs, 18585 upgd conss, 0 impls, 16448 clqs
26.50/26.61	c (round 120, fast)       8819 del vars, 28159 del conss, 11386 add conss, 6459 chg bounds, 23245 chg sides, 29018 chg coeffs, 18585 upgd conss, 0 impls, 16455 clqs
26.50/26.61	c (round 121, fast)       8819 del vars, 28159 del conss, 11386 add conss, 6459 chg bounds, 23348 chg sides, 29224 chg coeffs, 18585 upgd conss, 0 impls, 16455 clqs
26.50/26.66	c (round 122, exhaustive) 8819 del vars, 28172 del conss, 11399 add conss, 6459 chg bounds, 23348 chg sides, 29482 chg coeffs, 18585 upgd conss, 0 impls, 16455 clqs
26.50/26.67	c (round 123, medium)     8819 del vars, 28176 del conss, 11428 add conss, 6459 chg bounds, 23377 chg sides, 29564 chg coeffs, 18585 upgd conss, 0 impls, 16499 clqs
26.50/26.67	c (round 124, fast)       8819 del vars, 28188 del conss, 11440 add conss, 6459 chg bounds, 23381 chg sides, 29574 chg coeffs, 18585 upgd conss, 0 impls, 16499 clqs
26.50/26.69	c (round 125, exhaustive) 8819 del vars, 28240 del conss, 11440 add conss, 6459 chg bounds, 23381 chg sides, 29582 chg coeffs, 18585 upgd conss, 0 impls, 16499 clqs
26.60/26.70	c (round 126, exhaustive) 8819 del vars, 28240 del conss, 11440 add conss, 6459 chg bounds, 23381 chg sides, 29582 chg coeffs, 18667 upgd conss, 0 impls, 16503 clqs
26.60/26.71	c (round 127, fast)       8819 del vars, 28321 del conss, 11440 add conss, 6459 chg bounds, 23381 chg sides, 29582 chg coeffs, 18667 upgd conss, 0 impls, 16504 clqs
27.20/27.34	c (round 128, exhaustive) 8844 del vars, 28322 del conss, 11440 add conss, 6459 chg bounds, 23381 chg sides, 29586 chg coeffs, 18667 upgd conss, 0 impls, 16371 clqs
27.20/27.35	c (round 129, fast)       8844 del vars, 28336 del conss, 11527 add conss, 6459 chg bounds, 23381 chg sides, 29586 chg coeffs, 18667 upgd conss, 0 impls, 16372 clqs
27.20/27.35	c (round 130, fast)       8844 del vars, 28336 del conss, 11527 add conss, 6459 chg bounds, 23459 chg sides, 29721 chg coeffs, 18667 upgd conss, 0 impls, 16372 clqs
27.20/27.38	c (round 131, exhaustive) 8844 del vars, 28378 del conss, 11530 add conss, 6459 chg bounds, 23467 chg sides, 29721 chg coeffs, 18667 upgd conss, 0 impls, 16372 clqs
27.20/27.39	c (round 132, exhaustive) 8844 del vars, 28378 del conss, 11530 add conss, 6459 chg bounds, 23467 chg sides, 29721 chg coeffs, 18721 upgd conss, 0 impls, 16374 clqs
27.30/27.40	c (round 133, fast)       8844 del vars, 28424 del conss, 11530 add conss, 6459 chg bounds, 23467 chg sides, 29721 chg coeffs, 18721 upgd conss, 0 impls, 16374 clqs
27.30/27.41	c (round 134, exhaustive) 8844 del vars, 28430 del conss, 11538 add conss, 6459 chg bounds, 23467 chg sides, 29721 chg coeffs, 18721 upgd conss, 0 impls, 16380 clqs
27.60/27.73	c (round 135, exhaustive) 8869 del vars, 28430 del conss, 11538 add conss, 6459 chg bounds, 23467 chg sides, 29721 chg coeffs, 18721 upgd conss, 0 impls, 16234 clqs
27.60/27.74	c (round 136, fast)       8869 del vars, 28465 del conss, 11590 add conss, 6459 chg bounds, 23472 chg sides, 29721 chg coeffs, 18721 upgd conss, 0 impls, 16234 clqs
27.60/27.74	c (round 137, fast)       8869 del vars, 28465 del conss, 11590 add conss, 6459 chg bounds, 23514 chg sides, 29807 chg coeffs, 18721 upgd conss, 0 impls, 16234 clqs
27.60/27.76	c (round 138, exhaustive) 8869 del vars, 28486 del conss, 11591 add conss, 6459 chg bounds, 23514 chg sides, 29808 chg coeffs, 18721 upgd conss, 0 impls, 16234 clqs
27.60/27.78	c (round 139, exhaustive) 8869 del vars, 28486 del conss, 11591 add conss, 6459 chg bounds, 23514 chg sides, 29808 chg coeffs, 18751 upgd conss, 0 impls, 16234 clqs
27.60/27.79	c (round 140, fast)       8869 del vars, 28516 del conss, 11591 add conss, 6459 chg bounds, 23514 chg sides, 29808 chg coeffs, 18751 upgd conss, 0 impls, 16234 clqs
27.80/27.99	c (round 141, exhaustive) 8894 del vars, 28518 del conss, 11591 add conss, 6459 chg bounds, 23514 chg sides, 29808 chg coeffs, 18751 upgd conss, 0 impls, 16141 clqs
27.80/28.00	c (round 142, fast)       8894 del vars, 28521 del conss, 11679 add conss, 6459 chg bounds, 23514 chg sides, 29808 chg coeffs, 18751 upgd conss, 0 impls, 16142 clqs
27.91/28.00	c (round 143, fast)       8894 del vars, 28521 del conss, 11679 add conss, 6459 chg bounds, 23576 chg sides, 29940 chg coeffs, 18751 upgd conss, 0 impls, 16142 clqs
27.91/28.03	c (round 144, exhaustive) 8894 del vars, 28553 del conss, 11679 add conss, 6459 chg bounds, 23578 chg sides, 29940 chg coeffs, 18751 upgd conss, 0 impls, 16142 clqs
27.91/28.05	c (round 145, exhaustive) 8894 del vars, 28553 del conss, 11679 add conss, 6459 chg bounds, 23578 chg sides, 29940 chg coeffs, 18807 upgd conss, 0 impls, 16142 clqs
27.91/28.05	c (round 146, fast)       8894 del vars, 28607 del conss, 11679 add conss, 6459 chg bounds, 23578 chg sides, 29940 chg coeffs, 18807 upgd conss, 0 impls, 16142 clqs
28.10/28.25	c (round 147, exhaustive) 8919 del vars, 28608 del conss, 11681 add conss, 6459 chg bounds, 23578 chg sides, 29940 chg coeffs, 18807 upgd conss, 0 impls, 16088 clqs
28.10/28.26	c (round 148, fast)       8919 del vars, 28608 del conss, 11785 add conss, 6459 chg bounds, 23578 chg sides, 29940 chg coeffs, 18807 upgd conss, 0 impls, 16088 clqs
28.10/28.26	c (round 149, fast)       8919 del vars, 28608 del conss, 11785 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18807 upgd conss, 0 impls, 16088 clqs
28.10/28.29	c (round 150, exhaustive) 8920 del vars, 28656 del conss, 11785 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18807 upgd conss, 0 impls, 16080 clqs
28.20/28.31	c (round 151, exhaustive) 8920 del vars, 28656 del conss, 11785 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18864 upgd conss, 0 impls, 16080 clqs
28.20/28.31	c (round 152, fast)       8920 del vars, 28713 del conss, 11785 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18864 upgd conss, 0 impls, 16080 clqs
28.40/28.51	c (round 153, exhaustive) 8945 del vars, 28713 del conss, 11785 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18864 upgd conss, 0 impls, 16001 clqs
28.40/28.52	c (round 154, fast)       8945 del vars, 28713 del conss, 11892 add conss, 6459 chg bounds, 23666 chg sides, 30098 chg coeffs, 18864 upgd conss, 0 impls, 16001 clqs
28.40/28.52	c (round 155, fast)       8945 del vars, 28713 del conss, 11892 add conss, 6459 chg bounds, 23752 chg sides, 30259 chg coeffs, 18864 upgd conss, 0 impls, 16001 clqs
28.40/28.55	c (round 156, exhaustive) 8945 del vars, 28759 del conss, 11892 add conss, 6459 chg bounds, 23752 chg sides, 30259 chg coeffs, 18864 upgd conss, 0 impls, 16001 clqs
28.40/28.56	c (round 157, exhaustive) 8945 del vars, 28759 del conss, 11892 add conss, 6459 chg bounds, 23752 chg sides, 30259 chg coeffs, 18925 upgd conss, 0 impls, 16001 clqs
28.40/28.57	c (round 158, fast)       8945 del vars, 28820 del conss, 11892 add conss, 6459 chg bounds, 23752 chg sides, 30259 chg coeffs, 18925 upgd conss, 0 impls, 16001 clqs
28.70/28.84	c (round 159, exhaustive) 8970 del vars, 28820 del conss, 11892 add conss, 6459 chg bounds, 23752 chg sides, 30259 chg coeffs, 18925 upgd conss, 0 impls, 15918 clqs
28.70/28.85	c (round 160, fast)       8970 del vars, 28823 del conss, 12010 add conss, 6459 chg bounds, 23756 chg sides, 30271 chg coeffs, 18925 upgd conss, 0 impls, 15923 clqs
28.70/28.85	c (round 161, fast)       8970 del vars, 28823 del conss, 12010 add conss, 6459 chg bounds, 23848 chg sides, 30442 chg coeffs, 18925 upgd conss, 0 impls, 15924 clqs
28.70/28.88	c (round 162, exhaustive) 8970 del vars, 28871 del conss, 12010 add conss, 6459 chg bounds, 23848 chg sides, 30444 chg coeffs, 18925 upgd conss, 0 impls, 15924 clqs
28.70/28.89	c (round 163, exhaustive) 8970 del vars, 28871 del conss, 12013 add conss, 6459 chg bounds, 23851 chg sides, 30452 chg coeffs, 18989 upgd conss, 0 impls, 15927 clqs
28.80/28.90	c (round 164, fast)       8970 del vars, 28934 del conss, 12013 add conss, 6459 chg bounds, 23851 chg sides, 30452 chg coeffs, 18989 upgd conss, 0 impls, 15928 clqs
29.00/29.18	c    (29.2s) probing: 4000/8981 (44.5%) - 7 fixings, 464 aggregations, 19937 implications, 0 bound changes
35.38/35.58	c    (35.6s) probing: 5000/8981 (55.7%) - 7 fixings, 468 aggregations, 21687 implications, 0 bound changes
39.97/40.18	c (round 165, exhaustive) 8995 del vars, 28937 del conss, 12013 add conss, 6459 chg bounds, 23851 chg sides, 30455 chg coeffs, 18989 upgd conss, 0 impls, 17851 clqs
39.97/40.19	c (round 166, fast)       8995 del vars, 28960 del conss, 12172 add conss, 6459 chg bounds, 23875 chg sides, 30537 chg coeffs, 18989 upgd conss, 0 impls, 17871 clqs
39.97/40.19	c (round 167, fast)       8995 del vars, 28960 del conss, 12172 add conss, 6459 chg bounds, 23986 chg sides, 30738 chg coeffs, 18989 upgd conss, 0 impls, 17871 clqs
40.06/40.21	c (round 168, medium)     9008 del vars, 28960 del conss, 12172 add conss, 6459 chg bounds, 23986 chg sides, 30738 chg coeffs, 18989 upgd conss, 0 impls, 17754 clqs
40.06/40.22	c (round 169, fast)       9008 del vars, 28998 del conss, 12172 add conss, 6459 chg bounds, 23986 chg sides, 30738 chg coeffs, 18989 upgd conss, 0 impls, 17755 clqs
40.06/40.26	c (round 170, exhaustive) 9008 del vars, 29007 del conss, 12179 add conss, 6459 chg bounds, 23986 chg sides, 30934 chg coeffs, 18989 upgd conss, 0 impls, 17755 clqs
40.06/40.27	c (round 171, medium)     9008 del vars, 29016 del conss, 12199 add conss, 6459 chg bounds, 24008 chg sides, 30981 chg coeffs, 18989 upgd conss, 0 impls, 17772 clqs
40.06/40.29	c (round 172, exhaustive) 9008 del vars, 29075 del conss, 12204 add conss, 6459 chg bounds, 24012 chg sides, 31011 chg coeffs, 18989 upgd conss, 0 impls, 17772 clqs
40.16/40.30	c (round 173, exhaustive) 9008 del vars, 29075 del conss, 12204 add conss, 6459 chg bounds, 24012 chg sides, 31011 chg coeffs, 19063 upgd conss, 0 impls, 17774 clqs
40.16/40.31	c (round 174, fast)       9008 del vars, 29144 del conss, 12204 add conss, 6459 chg bounds, 24012 chg sides, 31011 chg coeffs, 19063 upgd conss, 0 impls, 17774 clqs
40.16/40.32	c (round 175, exhaustive) 9008 del vars, 29158 del conss, 12208 add conss, 6459 chg bounds, 24012 chg sides, 31011 chg coeffs, 19063 upgd conss, 0 impls, 17776 clqs
40.36/40.58	c (round 176, exhaustive) 9033 del vars, 29159 del conss, 12208 add conss, 6459 chg bounds, 24012 chg sides, 31018 chg coeffs, 19063 upgd conss, 0 impls, 17637 clqs
40.36/40.59	c (round 177, fast)       9033 del vars, 29167 del conss, 12319 add conss, 6459 chg bounds, 24012 chg sides, 31018 chg coeffs, 19063 upgd conss, 0 impls, 17639 clqs
40.46/40.60	c (round 178, fast)       9033 del vars, 29167 del conss, 12319 add conss, 6459 chg bounds, 24104 chg sides, 31184 chg coeffs, 19063 upgd conss, 0 impls, 17639 clqs
40.46/40.63	c (round 179, exhaustive) 9033 del vars, 29224 del conss, 12322 add conss, 6459 chg bounds, 24108 chg sides, 31184 chg coeffs, 19063 upgd conss, 0 impls, 17639 clqs
40.46/40.64	c (round 180, exhaustive) 9033 del vars, 29224 del conss, 12322 add conss, 6459 chg bounds, 24108 chg sides, 31184 chg coeffs, 19123 upgd conss, 0 impls, 17639 clqs
40.46/40.65	c (round 181, fast)       9033 del vars, 29280 del conss, 12322 add conss, 6459 chg bounds, 24108 chg sides, 31184 chg coeffs, 19123 upgd conss, 0 impls, 17639 clqs
40.66/40.83	c (round 182, exhaustive) 9058 del vars, 29286 del conss, 12326 add conss, 6459 chg bounds, 24108 chg sides, 31184 chg coeffs, 19123 upgd conss, 0 impls, 17483 clqs
40.66/40.84	c (round 183, fast)       9058 del vars, 29288 del conss, 12433 add conss, 6459 chg bounds, 24108 chg sides, 31184 chg coeffs, 19123 upgd conss, 0 impls, 17483 clqs
40.66/40.84	c (round 184, fast)       9058 del vars, 29288 del conss, 12433 add conss, 6459 chg bounds, 24196 chg sides, 31344 chg coeffs, 19123 upgd conss, 0 impls, 17483 clqs
40.66/40.87	c (round 185, exhaustive) 9058 del vars, 29337 del conss, 12433 add conss, 6459 chg bounds, 24198 chg sides, 31344 chg coeffs, 19123 upgd conss, 0 impls, 17483 clqs
40.66/40.88	c (round 186, exhaustive) 9058 del vars, 29337 del conss, 12433 add conss, 6459 chg bounds, 24198 chg sides, 31344 chg coeffs, 19180 upgd conss, 0 impls, 17483 clqs
40.66/40.89	c (round 187, fast)       9058 del vars, 29391 del conss, 12433 add conss, 6459 chg bounds, 24198 chg sides, 31344 chg coeffs, 19180 upgd conss, 0 impls, 17483 clqs
40.87/41.07	c (round 188, exhaustive) 9083 del vars, 29395 del conss, 12435 add conss, 6459 chg bounds, 24198 chg sides, 31344 chg coeffs, 19180 upgd conss, 0 impls, 17338 clqs
40.87/41.07	c (round 189, fast)       9083 del vars, 29397 del conss, 12551 add conss, 6459 chg bounds, 24198 chg sides, 31344 chg coeffs, 19180 upgd conss, 0 impls, 17338 clqs
40.87/41.08	c (round 190, fast)       9083 del vars, 29397 del conss, 12551 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19180 upgd conss, 0 impls, 17338 clqs
40.96/41.11	c (round 191, exhaustive) 9083 del vars, 29456 del conss, 12551 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19180 upgd conss, 0 impls, 17338 clqs
40.96/41.12	c (round 192, exhaustive) 9083 del vars, 29456 del conss, 12551 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19237 upgd conss, 0 impls, 17338 clqs
40.96/41.13	c (round 193, fast)       9083 del vars, 29512 del conss, 12551 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19237 upgd conss, 0 impls, 17338 clqs
41.16/41.30	c (round 194, exhaustive) 9108 del vars, 29513 del conss, 12551 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19237 upgd conss, 0 impls, 17199 clqs
41.16/41.31	c (round 195, fast)       9108 del vars, 29514 del conss, 12660 add conss, 6459 chg bounds, 24297 chg sides, 31517 chg coeffs, 19237 upgd conss, 0 impls, 17200 clqs
41.16/41.31	c (round 196, fast)       9108 del vars, 29514 del conss, 12660 add conss, 6459 chg bounds, 24387 chg sides, 31680 chg coeffs, 19237 upgd conss, 0 impls, 17200 clqs
41.16/41.34	c (round 197, exhaustive) 9108 del vars, 29566 del conss, 12660 add conss, 6459 chg bounds, 24387 chg sides, 31680 chg coeffs, 19237 upgd conss, 0 impls, 17200 clqs
41.16/41.35	c (round 198, exhaustive) 9108 del vars, 29566 del conss, 12660 add conss, 6459 chg bounds, 24387 chg sides, 31680 chg coeffs, 19294 upgd conss, 0 impls, 17200 clqs
41.16/41.36	c (round 199, fast)       9108 del vars, 29622 del conss, 12660 add conss, 6459 chg bounds, 24387 chg sides, 31680 chg coeffs, 19294 upgd conss, 0 impls, 17200 clqs
41.46/41.62	c (round 200, exhaustive) 9133 del vars, 29623 del conss, 12660 add conss, 6459 chg bounds, 24387 chg sides, 31680 chg coeffs, 19294 upgd conss, 0 impls, 17056 clqs
41.46/41.63	c (round 201, fast)       9133 del vars, 29633 del conss, 12775 add conss, 6459 chg bounds, 24398 chg sides, 31721 chg coeffs, 19294 upgd conss, 0 impls, 17066 clqs
41.46/41.64	c (round 202, fast)       9133 del vars, 29633 del conss, 12775 add conss, 6459 chg bounds, 24478 chg sides, 31875 chg coeffs, 19294 upgd conss, 0 impls, 17066 clqs
41.46/41.65	c (round 203, medium)     9133 del vars, 29633 del conss, 12789 add conss, 6459 chg bounds, 24493 chg sides, 31904 chg coeffs, 19294 upgd conss, 0 impls, 17081 clqs
41.46/41.68	c (round 204, exhaustive) 9133 del vars, 29679 del conss, 12790 add conss, 6459 chg bounds, 24493 chg sides, 31918 chg coeffs, 19294 upgd conss, 0 impls, 17081 clqs
41.46/41.69	c (round 205, exhaustive) 9133 del vars, 29679 del conss, 12790 add conss, 6459 chg bounds, 24493 chg sides, 31918 chg coeffs, 19350 upgd conss, 0 impls, 17081 clqs
41.56/41.70	c (round 206, fast)       9133 del vars, 29735 del conss, 12790 add conss, 6459 chg bounds, 24493 chg sides, 31918 chg coeffs, 19350 upgd conss, 0 impls, 17081 clqs
42.75/42.97	c    (43.0s) probing: 6000/8981 (66.8%) - 7 fixings, 604 aggregations, 24720 implications, 0 bound changes
49.73/49.93	c    (49.9s) probing: 7000/8981 (77.9%) - 7 fixings, 606 aggregations, 26372 implications, 0 bound changes
55.82/56.04	c    (56.0s) probing: 8000/8981 (89.1%) - 7 fixings, 617 aggregations, 29495 implications, 0 bound changes
56.12/56.38	c (round 207, exhaustive) 9158 del vars, 29735 del conss, 12790 add conss, 6459 chg bounds, 24493 chg sides, 31918 chg coeffs, 19350 upgd conss, 0 impls, 21764 clqs
56.12/56.39	c (round 208, fast)       9158 del vars, 29769 del conss, 12933 add conss, 6459 chg bounds, 24501 chg sides, 31940 chg coeffs, 19350 upgd conss, 0 impls, 21768 clqs
56.12/56.39	c (round 209, fast)       9158 del vars, 29769 del conss, 12933 add conss, 6459 chg bounds, 24617 chg sides, 32138 chg coeffs, 19350 upgd conss, 0 impls, 21769 clqs
56.21/56.41	c (round 210, medium)     9166 del vars, 29769 del conss, 12933 add conss, 6459 chg bounds, 24617 chg sides, 32138 chg coeffs, 19350 upgd conss, 0 impls, 21687 clqs
56.21/56.42	c (round 211, fast)       9166 del vars, 29793 del conss, 12933 add conss, 6459 chg bounds, 24617 chg sides, 32138 chg coeffs, 19350 upgd conss, 0 impls, 21688 clqs
56.21/56.46	c (round 212, exhaustive) 9166 del vars, 29820 del conss, 12960 add conss, 6459 chg bounds, 24617 chg sides, 32336 chg coeffs, 19350 upgd conss, 0 impls, 21688 clqs
56.21/56.47	c (round 213, medium)     9166 del vars, 29822 del conss, 12972 add conss, 6459 chg bounds, 24629 chg sides, 32370 chg coeffs, 19350 upgd conss, 0 impls, 21738 clqs
56.21/56.47	c (round 214, fast)       9166 del vars, 29829 del conss, 12979 add conss, 6459 chg bounds, 24629 chg sides, 32370 chg coeffs, 19350 upgd conss, 0 impls, 21738 clqs
56.21/56.49	c (round 215, exhaustive) 9166 del vars, 29896 del conss, 12979 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19350 upgd conss, 0 impls, 21738 clqs
56.31/56.50	c (round 216, exhaustive) 9166 del vars, 29896 del conss, 12979 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19418 upgd conss, 0 impls, 21738 clqs
56.31/56.51	c (round 217, fast)       9166 del vars, 29956 del conss, 12979 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19418 upgd conss, 0 impls, 21739 clqs
56.31/56.52	c (round 218, exhaustive) 9166 del vars, 29964 del conss, 12985 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19418 upgd conss, 0 impls, 21742 clqs
56.61/56.85	c (round 219, exhaustive) 9191 del vars, 29965 del conss, 12985 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19418 upgd conss, 0 impls, 21592 clqs
56.61/56.86	c (round 220, fast)       9191 del vars, 30040 del conss, 13016 add conss, 6459 chg bounds, 24635 chg sides, 32392 chg coeffs, 19418 upgd conss, 0 impls, 21592 clqs
56.61/56.86	c (round 221, fast)       9191 del vars, 30040 del conss, 13016 add conss, 6459 chg bounds, 24667 chg sides, 32434 chg coeffs, 19418 upgd conss, 0 impls, 21592 clqs
56.61/56.89	c (round 222, exhaustive) 9191 del vars, 30052 del conss, 13028 add conss, 6459 chg bounds, 24667 chg sides, 32434 chg coeffs, 19418 upgd conss, 0 impls, 21592 clqs
56.71/56.90	c (round 223, exhaustive) 9191 del vars, 30072 del conss, 13028 add conss, 6459 chg bounds, 24669 chg sides, 32434 chg coeffs, 19418 upgd conss, 0 impls, 21603 clqs
56.71/56.92	c (round 224, exhaustive) 9191 del vars, 30076 del conss, 13028 add conss, 6459 chg bounds, 24669 chg sides, 32434 chg coeffs, 19429 upgd conss, 0 impls, 21603 clqs
56.71/56.93	c (round 225, exhaustive) 9191 del vars, 30088 del conss, 13030 add conss, 6459 chg bounds, 24669 chg sides, 32434 chg coeffs, 19429 upgd conss, 0 impls, 21604 clqs
56.92/57.18	c (round 226, exhaustive) 9216 del vars, 30088 del conss, 13030 add conss, 6459 chg bounds, 24669 chg sides, 32434 chg coeffs, 19429 upgd conss, 0 impls, 21440 clqs
56.92/57.19	c (round 227, fast)       9216 del vars, 30115 del conss, 13056 add conss, 6459 chg bounds, 24670 chg sides, 32434 chg coeffs, 19429 upgd conss, 0 impls, 21440 clqs
56.92/57.19	c (round 228, fast)       9216 del vars, 30115 del conss, 13056 add conss, 6459 chg bounds, 24705 chg sides, 32476 chg coeffs, 19429 upgd conss, 0 impls, 21440 clqs
57.01/57.22	c (round 229, exhaustive) 9216 del vars, 30140 del conss, 13061 add conss, 6459 chg bounds, 24705 chg sides, 32476 chg coeffs, 19429 upgd conss, 0 impls, 21440 clqs
57.21/57.42	c (round 230, exhaustive) 9241 del vars, 30145 del conss, 13061 add conss, 6459 chg bounds, 24705 chg sides, 32476 chg coeffs, 19434 upgd conss, 0 impls, 21249 clqs
57.21/57.43	c (round 231, fast)       9241 del vars, 30150 del conss, 13085 add conss, 6459 chg bounds, 24705 chg sides, 32476 chg coeffs, 19434 upgd conss, 0 impls, 21249 clqs
57.21/57.44	c (round 232, fast)       9241 del vars, 30150 del conss, 13085 add conss, 6459 chg bounds, 24732 chg sides, 32514 chg coeffs, 19434 upgd conss, 0 impls, 21249 clqs
57.21/57.47	c (round 233, exhaustive) 9242 del vars, 30169 del conss, 13085 add conss, 6459 chg bounds, 24732 chg sides, 32514 chg coeffs, 19434 upgd conss, 0 impls, 21241 clqs
57.21/57.49	c (round 234, exhaustive) 9242 del vars, 30177 del conss, 13085 add conss, 6459 chg bounds, 24732 chg sides, 32514 chg coeffs, 19442 upgd conss, 0 impls, 21241 clqs
57.41/57.67	c (round 235, exhaustive) 9267 del vars, 30178 del conss, 13085 add conss, 6459 chg bounds, 24732 chg sides, 32514 chg coeffs, 19442 upgd conss, 0 impls, 21031 clqs
57.41/57.68	c (round 236, fast)       9267 del vars, 30181 del conss, 13186 add conss, 6459 chg bounds, 24732 chg sides, 32514 chg coeffs, 19442 upgd conss, 0 impls, 21031 clqs
57.41/57.68	c (round 237, fast)       9267 del vars, 30181 del conss, 13186 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19442 upgd conss, 0 impls, 21031 clqs
57.51/57.71	c (round 238, exhaustive) 9267 del vars, 30237 del conss, 13186 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19442 upgd conss, 0 impls, 21031 clqs
57.51/57.72	c (round 239, exhaustive) 9267 del vars, 30237 del conss, 13186 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19486 upgd conss, 0 impls, 21031 clqs
57.51/57.73	c (round 240, fast)       9267 del vars, 30281 del conss, 13186 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19486 upgd conss, 0 impls, 21031 clqs
57.71/57.91	c (round 241, exhaustive) 9292 del vars, 30281 del conss, 13186 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19486 upgd conss, 0 impls, 20809 clqs
57.71/57.92	c (round 242, fast)       9292 del vars, 30286 del conss, 13293 add conss, 6459 chg bounds, 24824 chg sides, 32664 chg coeffs, 19486 upgd conss, 0 impls, 20809 clqs
57.71/57.92	c (round 243, fast)       9292 del vars, 30286 del conss, 13293 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19486 upgd conss, 0 impls, 20809 clqs
57.71/57.95	c (round 244, exhaustive) 9292 del vars, 30341 del conss, 13293 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19486 upgd conss, 0 impls, 20809 clqs
57.71/57.96	c (round 245, exhaustive) 9292 del vars, 30341 del conss, 13293 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19537 upgd conss, 0 impls, 20809 clqs
57.71/57.96	c (round 246, fast)       9292 del vars, 30392 del conss, 13293 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19537 upgd conss, 0 impls, 20809 clqs
57.91/58.13	c (round 247, exhaustive) 9317 del vars, 30392 del conss, 13293 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19537 upgd conss, 0 impls, 20568 clqs
57.91/58.14	c (round 248, fast)       9317 del vars, 30402 del conss, 13403 add conss, 6459 chg bounds, 24912 chg sides, 32820 chg coeffs, 19537 upgd conss, 0 impls, 20568 clqs
57.91/58.14	c (round 249, fast)       9317 del vars, 30402 del conss, 13403 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19537 upgd conss, 0 impls, 20568 clqs
57.91/58.17	c (round 250, exhaustive) 9317 del vars, 30461 del conss, 13403 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19537 upgd conss, 0 impls, 20568 clqs
57.91/58.19	c (round 251, exhaustive) 9317 del vars, 30461 del conss, 13403 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19588 upgd conss, 0 impls, 20568 clqs
57.91/58.19	c (round 252, fast)       9317 del vars, 30511 del conss, 13403 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19588 upgd conss, 0 impls, 20568 clqs
58.11/58.36	c (round 253, exhaustive) 9342 del vars, 30512 del conss, 13403 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19588 upgd conss, 0 impls, 20335 clqs
58.11/58.37	c (round 254, fast)       9342 del vars, 30522 del conss, 13513 add conss, 6459 chg bounds, 25009 chg sides, 32981 chg coeffs, 19588 upgd conss, 0 impls, 20335 clqs
58.11/58.37	c (round 255, fast)       9342 del vars, 30522 del conss, 13513 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19588 upgd conss, 0 impls, 20335 clqs
58.21/58.40	c (round 256, exhaustive) 9342 del vars, 30575 del conss, 13513 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19588 upgd conss, 0 impls, 20335 clqs
58.21/58.41	c (round 257, exhaustive) 9342 del vars, 30575 del conss, 13513 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19645 upgd conss, 0 impls, 20335 clqs
58.21/58.41	c (round 258, fast)       9342 del vars, 30631 del conss, 13513 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19645 upgd conss, 0 impls, 20335 clqs
58.31/58.58	c (round 259, exhaustive) 9367 del vars, 30632 del conss, 13513 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19645 upgd conss, 0 impls, 20051 clqs
58.31/58.59	c (round 260, fast)       9367 del vars, 30646 del conss, 13615 add conss, 6459 chg bounds, 25094 chg sides, 33140 chg coeffs, 19645 upgd conss, 0 impls, 20051 clqs
58.31/58.59	c (round 261, fast)       9367 del vars, 30646 del conss, 13615 add conss, 6459 chg bounds, 25186 chg sides, 33290 chg coeffs, 19645 upgd conss, 0 impls, 20051 clqs
58.41/58.62	c (round 262, exhaustive) 9367 del vars, 30708 del conss, 13615 add conss, 6459 chg bounds, 25186 chg sides, 33290 chg coeffs, 19645 upgd conss, 0 impls, 20051 clqs
58.41/58.63	c (round 263, exhaustive) 9367 del vars, 30708 del conss, 13615 add conss, 6459 chg bounds, 25186 chg sides, 33290 chg coeffs, 19686 upgd conss, 0 impls, 20051 clqs
58.41/58.64	c (round 264, fast)       9367 del vars, 30748 del conss, 13615 add conss, 6459 chg bounds, 25186 chg sides, 33290 chg coeffs, 19686 upgd conss, 0 impls, 20051 clqs
58.60/58.81	c (round 265, exhaustive) 9392 del vars, 30749 del conss, 13615 add conss, 6459 chg bounds, 25186 chg sides, 33290 chg coeffs, 19686 upgd conss, 0 impls, 19812 clqs
58.60/58.82	c (round 266, fast)       9392 del vars, 30774 del conss, 13711 add conss, 6459 chg bounds, 25190 chg sides, 33306 chg coeffs, 19686 upgd conss, 0 impls, 19817 clqs
58.60/58.82	c (round 267, fast)       9392 del vars, 30774 del conss, 13711 add conss, 6459 chg bounds, 25269 chg sides, 33437 chg coeffs, 19686 upgd conss, 0 impls, 19817 clqs
58.60/58.85	c (round 268, exhaustive) 9392 del vars, 30776 del conss, 13718 add conss, 6459 chg bounds, 25275 chg sides, 33453 chg coeffs, 19686 upgd conss, 0 impls, 19823 clqs
58.60/58.86	c (round 269, exhaustive) 9392 del vars, 30826 del conss, 13718 add conss, 6459 chg bounds, 25275 chg sides, 33453 chg coeffs, 19686 upgd conss, 0 impls, 19823 clqs
58.60/58.88	c (round 270, exhaustive) 9392 del vars, 30826 del conss, 13718 add conss, 6459 chg bounds, 25275 chg sides, 33453 chg coeffs, 19727 upgd conss, 0 impls, 19823 clqs
58.60/58.88	c (round 271, fast)       9392 del vars, 30864 del conss, 13718 add conss, 6459 chg bounds, 25275 chg sides, 33453 chg coeffs, 19727 upgd conss, 0 impls, 19823 clqs
59.30/59.51	c (round 272, exhaustive) 9417 del vars, 30868 del conss, 13718 add conss, 6459 chg bounds, 25275 chg sides, 33456 chg coeffs, 19727 upgd conss, 0 impls, 21395 clqs
59.30/59.52	c (round 273, fast)       9417 del vars, 30900 del conss, 13824 add conss, 6459 chg bounds, 25286 chg sides, 33495 chg coeffs, 19727 upgd conss, 0 impls, 21404 clqs
59.30/59.52	c (round 274, fast)       9417 del vars, 30900 del conss, 13824 add conss, 6459 chg bounds, 25366 chg sides, 33628 chg coeffs, 19727 upgd conss, 0 impls, 21404 clqs
59.30/59.56	c (round 275, exhaustive) 9417 del vars, 30919 del conss, 13842 add conss, 6459 chg bounds, 25366 chg sides, 33634 chg coeffs, 19727 upgd conss, 0 impls, 21404 clqs
59.30/59.58	c (round 276, exhaustive) 9418 del vars, 30969 del conss, 13843 add conss, 6459 chg bounds, 25372 chg sides, 33640 chg coeffs, 19727 upgd conss, 0 impls, 21416 clqs
59.40/59.60	c (round 277, exhaustive) 9418 del vars, 30969 del conss, 13843 add conss, 6459 chg bounds, 25372 chg sides, 33640 chg coeffs, 19774 upgd conss, 0 impls, 21416 clqs
59.40/59.60	c (round 278, fast)       9418 del vars, 31007 del conss, 13843 add conss, 6459 chg bounds, 25372 chg sides, 33640 chg coeffs, 19774 upgd conss, 0 impls, 21416 clqs
59.40/59.62	c (round 279, exhaustive) 9418 del vars, 31017 del conss, 13847 add conss, 6459 chg bounds, 25372 chg sides, 33640 chg coeffs, 19774 upgd conss, 0 impls, 21417 clqs
59.60/59.84	c (round 280, exhaustive) 9443 del vars, 31017 del conss, 13847 add conss, 6459 chg bounds, 25372 chg sides, 33644 chg coeffs, 19774 upgd conss, 0 impls, 21203 clqs
59.60/59.85	c (round 281, fast)       9443 del vars, 31074 del conss, 13868 add conss, 6459 chg bounds, 25372 chg sides, 33644 chg coeffs, 19774 upgd conss, 0 impls, 21203 clqs
59.60/59.85	c (round 282, fast)       9443 del vars, 31074 del conss, 13868 add conss, 6459 chg bounds, 25388 chg sides, 33667 chg coeffs, 19774 upgd conss, 0 impls, 21203 clqs
59.60/59.86	c (round 283, medium)     9450 del vars, 31074 del conss, 13868 add conss, 6459 chg bounds, 25388 chg sides, 33667 chg coeffs, 19774 upgd conss, 0 impls, 21142 clqs
59.60/59.87	c (round 284, fast)       9450 del vars, 31095 del conss, 13868 add conss, 6459 chg bounds, 25388 chg sides, 33667 chg coeffs, 19774 upgd conss, 0 impls, 21142 clqs
59.60/59.89	c (round 285, exhaustive) 9450 del vars, 31105 del conss, 13878 add conss, 6459 chg bounds, 25388 chg sides, 33667 chg coeffs, 19774 upgd conss, 0 impls, 21142 clqs
59.70/59.91	c (round 286, exhaustive) 9450 del vars, 31117 del conss, 13878 add conss, 6459 chg bounds, 25390 chg sides, 33667 chg coeffs, 19774 upgd conss, 0 impls, 21152 clqs
59.70/59.92	c (round 287, exhaustive) 9450 del vars, 31124 del conss, 13878 add conss, 6459 chg bounds, 25390 chg sides, 33667 chg coeffs, 19783 upgd conss, 0 impls, 21152 clqs
59.91/60.13	c (round 288, exhaustive) 9475 del vars, 31127 del conss, 13880 add conss, 6459 chg bounds, 25390 chg sides, 33667 chg coeffs, 19783 upgd conss, 0 impls, 20916 clqs
59.91/60.14	c (round 289, fast)       9475 del vars, 31141 del conss, 13901 add conss, 6459 chg bounds, 25390 chg sides, 33667 chg coeffs, 19783 upgd conss, 0 impls, 20916 clqs
59.91/60.14	c (round 290, fast)       9475 del vars, 31141 del conss, 13901 add conss, 6459 chg bounds, 25408 chg sides, 33690 chg coeffs, 19783 upgd conss, 0 impls, 20916 clqs
59.91/60.16	c (round 291, exhaustive) 9475 del vars, 31158 del conss, 13904 add conss, 6459 chg bounds, 25408 chg sides, 33690 chg coeffs, 19783 upgd conss, 0 impls, 20916 clqs
59.91/60.18	c (round 292, exhaustive) 9475 del vars, 31166 del conss, 13904 add conss, 6459 chg bounds, 25408 chg sides, 33690 chg coeffs, 19789 upgd conss, 0 impls, 20917 clqs
60.90/61.15	c (round 293, exhaustive) 9500 del vars, 31169 del conss, 13904 add conss, 6459 chg bounds, 25408 chg sides, 33690 chg coeffs, 19789 upgd conss, 0 impls, 22384 clqs
60.90/61.16	c (round 294, fast)       9500 del vars, 31244 del conss, 13986 add conss, 6459 chg bounds, 25408 chg sides, 33690 chg coeffs, 19789 upgd conss, 0 impls, 22384 clqs
60.90/61.16	c (round 295, fast)       9500 del vars, 31244 del conss, 13986 add conss, 6459 chg bounds, 25482 chg sides, 33803 chg coeffs, 19789 upgd conss, 0 impls, 22384 clqs
61.00/61.20	c (round 296, exhaustive) 9500 del vars, 31271 del conss, 14013 add conss, 6459 chg bounds, 25482 chg sides, 33815 chg coeffs, 19789 upgd conss, 0 impls, 22384 clqs
61.00/61.21	c (round 297, medium)     9500 del vars, 31278 del conss, 14018 add conss, 6459 chg bounds, 25488 chg sides, 33827 chg coeffs, 19789 upgd conss, 0 impls, 22405 clqs
61.00/61.22	c (round 298, exhaustive) 9500 del vars, 31327 del conss, 14018 add conss, 6459 chg bounds, 25492 chg sides, 33832 chg coeffs, 19789 upgd conss, 0 impls, 22405 clqs
61.00/61.24	c (round 299, exhaustive) 9500 del vars, 31327 del conss, 14018 add conss, 6459 chg bounds, 25492 chg sides, 33834 chg coeffs, 19824 upgd conss, 0 impls, 22405 clqs
61.00/61.24	c (round 300, fast)       9500 del vars, 31356 del conss, 14018 add conss, 6459 chg bounds, 25492 chg sides, 33834 chg coeffs, 19824 upgd conss, 0 impls, 22405 clqs
61.20/61.45	c (round 301, exhaustive) 9525 del vars, 31364 del conss, 14022 add conss, 6459 chg bounds, 25492 chg sides, 33834 chg coeffs, 19824 upgd conss, 0 impls, 22125 clqs
61.20/61.46	c (round 302, fast)       9525 del vars, 31384 del conss, 14044 add conss, 6459 chg bounds, 25492 chg sides, 33834 chg coeffs, 19824 upgd conss, 0 impls, 22125 clqs
61.20/61.46	c (round 303, fast)       9525 del vars, 31384 del conss, 14044 add conss, 6459 chg bounds, 25511 chg sides, 33861 chg coeffs, 19824 upgd conss, 0 impls, 22125 clqs
61.20/61.49	c (round 304, exhaustive) 9525 del vars, 31398 del conss, 14045 add conss, 6459 chg bounds, 25511 chg sides, 33861 chg coeffs, 19824 upgd conss, 0 impls, 22125 clqs
61.30/61.51	c (round 305, exhaustive) 9525 del vars, 31406 del conss, 14045 add conss, 6459 chg bounds, 25511 chg sides, 33861 chg coeffs, 19832 upgd conss, 0 impls, 22126 clqs
62.49/62.75	c (round 306, exhaustive) 9550 del vars, 31407 del conss, 14045 add conss, 6459 chg bounds, 25511 chg sides, 33861 chg coeffs, 19832 upgd conss, 0 impls, 25892 clqs
62.49/62.76	c (round 307, fast)       9550 del vars, 31419 del conss, 14179 add conss, 6459 chg bounds, 25511 chg sides, 33861 chg coeffs, 19832 upgd conss, 0 impls, 25894 clqs
62.49/62.77	c (round 308, fast)       9550 del vars, 31419 del conss, 14179 add conss, 6459 chg bounds, 25624 chg sides, 34045 chg coeffs, 19832 upgd conss, 0 impls, 25894 clqs
62.49/62.78	c (round 309, medium)     9550 del vars, 31419 del conss, 14225 add conss, 6459 chg bounds, 25692 chg sides, 34161 chg coeffs, 19832 upgd conss, 0 impls, 25896 clqs
62.59/62.82	c (round 310, exhaustive) 9550 del vars, 31431 del conss, 14233 add conss, 6459 chg bounds, 25692 chg sides, 34290 chg coeffs, 19832 upgd conss, 0 impls, 25896 clqs
62.59/62.84	c (round 311, exhaustive) 9550 del vars, 31509 del conss, 14233 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19832 upgd conss, 0 impls, 25896 clqs
62.59/62.86	c (round 312, exhaustive) 9550 del vars, 31511 del conss, 14233 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19896 upgd conss, 0 impls, 25896 clqs
62.59/62.86	c (round 313, fast)       9550 del vars, 31565 del conss, 14233 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19896 upgd conss, 0 impls, 25896 clqs
62.59/62.87	c (round 314, exhaustive) 9550 del vars, 31574 del conss, 14239 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19896 upgd conss, 0 impls, 25898 clqs
62.80/63.08	c (round 315, exhaustive) 9575 del vars, 31578 del conss, 14239 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19896 upgd conss, 0 impls, 25683 clqs
62.80/63.09	c (round 316, fast)       9575 del vars, 31578 del conss, 14317 add conss, 6459 chg bounds, 25702 chg sides, 34325 chg coeffs, 19896 upgd conss, 0 impls, 25683 clqs
62.80/63.09	c (round 317, fast)       9575 del vars, 31578 del conss, 14317 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19896 upgd conss, 0 impls, 25683 clqs
62.90/63.12	c (round 318, exhaustive) 9575 del vars, 31638 del conss, 14321 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19896 upgd conss, 0 impls, 25683 clqs
62.90/63.14	c (round 319, exhaustive) 9575 del vars, 31638 del conss, 14321 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19919 upgd conss, 0 impls, 25683 clqs
62.90/63.14	c (round 320, fast)       9575 del vars, 31659 del conss, 14321 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19919 upgd conss, 0 impls, 25683 clqs
63.09/63.34	c (round 321, exhaustive) 9600 del vars, 31661 del conss, 14321 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19919 upgd conss, 0 impls, 25397 clqs
63.09/63.36	c (round 322, fast)       9600 del vars, 31668 del conss, 14414 add conss, 6459 chg bounds, 25787 chg sides, 34443 chg coeffs, 19919 upgd conss, 0 impls, 25399 clqs
63.09/63.36	c (round 323, fast)       9600 del vars, 31668 del conss, 14414 add conss, 6459 chg bounds, 25868 chg sides, 34575 chg coeffs, 19919 upgd conss, 0 impls, 25399 clqs
63.09/63.37	c (round 324, medium)     9600 del vars, 31668 del conss, 14438 add conss, 6459 chg bounds, 25892 chg sides, 34625 chg coeffs, 19919 upgd conss, 0 impls, 25402 clqs
63.19/63.41	c (round 325, exhaustive) 9600 del vars, 31720 del conss, 14441 add conss, 6459 chg bounds, 25892 chg sides, 34681 chg coeffs, 19919 upgd conss, 0 impls, 25402 clqs
63.19/63.41	c (round 326, medium)     9600 del vars, 31721 del conss, 14471 add conss, 6459 chg bounds, 25927 chg sides, 34755 chg coeffs, 19919 upgd conss, 0 impls, 25403 clqs
63.19/63.43	c (round 327, exhaustive) 9600 del vars, 31722 del conss, 14473 add conss, 6459 chg bounds, 25931 chg sides, 34771 chg coeffs, 19967 upgd conss, 0 impls, 25403 clqs
63.19/63.43	c (round 328, fast)       9600 del vars, 31765 del conss, 14473 add conss, 6459 chg bounds, 25933 chg sides, 34777 chg coeffs, 19967 upgd conss, 0 impls, 25403 clqs
63.70/63.98	c (round 329, exhaustive) 9625 del vars, 31770 del conss, 14473 add conss, 6459 chg bounds, 25933 chg sides, 34777 chg coeffs, 19967 upgd conss, 0 impls, 26430 clqs
63.70/64.00	c (round 330, fast)       9625 del vars, 31775 del conss, 14583 add conss, 6459 chg bounds, 25937 chg sides, 34777 chg coeffs, 19967 upgd conss, 0 impls, 26430 clqs
63.80/64.00	c (round 331, fast)       9625 del vars, 31775 del conss, 14583 add conss, 6459 chg bounds, 26025 chg sides, 34927 chg coeffs, 19967 upgd conss, 0 impls, 26430 clqs
63.80/64.01	c (round 332, medium)     9625 del vars, 31775 del conss, 14683 add conss, 6459 chg bounds, 26140 chg sides, 35147 chg coeffs, 19967 upgd conss, 0 impls, 26435 clqs
63.80/64.02	c (round 333, exhaustive) 9625 del vars, 31779 del conss, 14685 add conss, 6459 chg bounds, 26149 chg sides, 35179 chg coeffs, 19967 upgd conss, 0 impls, 26435 clqs
63.80/64.07	c (round 334, exhaustive) 9625 del vars, 31840 del conss, 14685 add conss, 6459 chg bounds, 26149 chg sides, 35395 chg coeffs, 19967 upgd conss, 0 impls, 26435 clqs
63.80/64.08	c (round 335, medium)     9625 del vars, 31853 del conss, 14825 add conss, 6459 chg bounds, 26295 chg sides, 35711 chg coeffs, 19967 upgd conss, 0 impls, 26436 clqs
63.80/64.09	c (round 336, exhaustive) 9625 del vars, 31853 del conss, 14825 add conss, 6459 chg bounds, 26299 chg sides, 35750 chg coeffs, 20022 upgd conss, 0 impls, 26436 clqs
63.80/64.10	c (round 337, fast)       9625 del vars, 31900 del conss, 14825 add conss, 6459 chg bounds, 26305 chg sides, 35768 chg coeffs, 20022 upgd conss, 0 impls, 26436 clqs
64.10/64.34	c (round 338, exhaustive) 9650 del vars, 31904 del conss, 14825 add conss, 6459 chg bounds, 26305 chg sides, 35774 chg coeffs, 20022 upgd conss, 0 impls, 26138 clqs
64.10/64.35	c (round 339, fast)       9650 del vars, 31918 del conss, 14908 add conss, 6459 chg bounds, 26305 chg sides, 35774 chg coeffs, 20022 upgd conss, 0 impls, 26141 clqs
64.10/64.35	c (round 340, fast)       9650 del vars, 31918 del conss, 14908 add conss, 6459 chg bounds, 26377 chg sides, 35884 chg coeffs, 20022 upgd conss, 0 impls, 26141 clqs
64.10/64.36	c (round 341, medium)     9650 del vars, 31918 del conss, 14921 add conss, 6459 chg bounds, 26394 chg sides, 35915 chg coeffs, 20022 upgd conss, 0 impls, 26142 clqs
64.20/64.41	c (round 342, exhaustive) 9650 del vars, 31967 del conss, 14922 add conss, 6459 chg bounds, 26394 chg sides, 36005 chg coeffs, 20022 upgd conss, 0 impls, 26142 clqs
64.20/64.41	c (round 343, medium)     9650 del vars, 31968 del conss, 15016 add conss, 6459 chg bounds, 26490 chg sides, 36199 chg coeffs, 20022 upgd conss, 0 impls, 26144 clqs
64.20/64.43	c (round 344, exhaustive) 9650 del vars, 31968 del conss, 15016 add conss, 6459 chg bounds, 26492 chg sides, 36209 chg coeffs, 20060 upgd conss, 0 impls, 26144 clqs
64.20/64.44	c (round 345, fast)       9650 del vars, 32002 del conss, 15016 add conss, 6459 chg bounds, 26494 chg sides, 36215 chg coeffs, 20060 upgd conss, 0 impls, 26144 clqs
64.20/64.49	c    (64.5s) probing cycle finished: starting next cycle
64.90/65.17	c (round 346, exhaustive) 9675 del vars, 32007 del conss, 15016 add conss, 6459 chg bounds, 26494 chg sides, 36215 chg coeffs, 20060 upgd conss, 0 impls, 26032 clqs
64.90/65.18	c (round 347, fast)       9675 del vars, 32048 del conss, 15083 add conss, 6459 chg bounds, 26494 chg sides, 36215 chg coeffs, 20060 upgd conss, 0 impls, 26032 clqs
64.90/65.19	c (round 348, fast)       9675 del vars, 32048 del conss, 15083 add conss, 6459 chg bounds, 26545 chg sides, 36305 chg coeffs, 20060 upgd conss, 0 impls, 26032 clqs
64.99/65.20	c (round 349, medium)     9675 del vars, 32066 del conss, 15086 add conss, 6459 chg bounds, 26548 chg sides, 36312 chg coeffs, 20060 upgd conss, 0 impls, 26032 clqs
64.99/65.24	c (round 350, exhaustive) 9675 del vars, 32100 del conss, 15087 add conss, 6459 chg bounds, 26548 chg sides, 36314 chg coeffs, 20060 upgd conss, 0 impls, 26032 clqs
64.99/65.25	c (round 351, exhaustive) 9675 del vars, 32100 del conss, 15089 add conss, 6459 chg bounds, 26550 chg sides, 36320 chg coeffs, 20095 upgd conss, 0 impls, 26034 clqs
64.99/65.26	c (round 352, fast)       9675 del vars, 32135 del conss, 15089 add conss, 6459 chg bounds, 26550 chg sides, 36320 chg coeffs, 20095 upgd conss, 0 impls, 26034 clqs
64.99/65.29	c (round 353, exhaustive) 9675 del vars, 32197 del conss, 15089 add conss, 6459 chg bounds, 26550 chg sides, 36320 chg coeffs, 20095 upgd conss, 0 impls, 26034 clqs
65.69/65.96	c (round 354, exhaustive) 9700 del vars, 32197 del conss, 15089 add conss, 6459 chg bounds, 26550 chg sides, 36320 chg coeffs, 20095 upgd conss, 0 impls, 25860 clqs
65.69/65.97	c (round 355, fast)       9700 del vars, 32228 del conss, 15151 add conss, 6459 chg bounds, 26550 chg sides, 36320 chg coeffs, 20095 upgd conss, 0 impls, 25861 clqs
65.69/65.97	c (round 356, fast)       9700 del vars, 32228 del conss, 15151 add conss, 6459 chg bounds, 26597 chg sides, 36403 chg coeffs, 20095 upgd conss, 0 impls, 25861 clqs
65.69/65.98	c (round 357, medium)     9700 del vars, 32252 del conss, 15192 add conss, 6459 chg bounds, 26650 chg sides, 36497 chg coeffs, 20095 upgd conss, 0 impls, 25861 clqs
65.80/66.02	c (round 358, exhaustive) 9700 del vars, 32283 del conss, 15192 add conss, 6459 chg bounds, 26650 chg sides, 36533 chg coeffs, 20095 upgd conss, 0 impls, 25861 clqs
65.80/66.04	c (round 359, exhaustive) 9700 del vars, 32283 del conss, 15192 add conss, 6459 chg bounds, 26650 chg sides, 36533 chg coeffs, 20127 upgd conss, 0 impls, 25861 clqs
65.80/66.04	c (round 360, fast)       9700 del vars, 32314 del conss, 15192 add conss, 6459 chg bounds, 26650 chg sides, 36533 chg coeffs, 20127 upgd conss, 0 impls, 25861 clqs
66.69/66.98	c    (67.0s) probing: 356/7822 (4.6%) - 11 fixings, 1155 aggregations, 59284 implications, 0 bound changes
66.69/66.98	c    (67.0s) probing aborted: 50/50 successive totally useless probings
66.69/66.98	c (round 361, exhaustive) 9711 del vars, 32322 del conss, 15192 add conss, 6459 chg bounds, 26650 chg sides, 36533 chg coeffs, 20127 upgd conss, 0 impls, 25849 clqs
66.69/66.99	c (round 362, fast)       9711 del vars, 32346 del conss, 15272 add conss, 6459 chg bounds, 26650 chg sides, 36533 chg coeffs, 20127 upgd conss, 0 impls, 25849 clqs
66.69/66.99	c (round 363, fast)       9711 del vars, 32346 del conss, 15272 add conss, 6459 chg bounds, 26707 chg sides, 36636 chg coeffs, 20127 upgd conss, 0 impls, 25849 clqs
66.79/67.01	c (round 364, medium)     9711 del vars, 32356 del conss, 15316 add conss, 6459 chg bounds, 26760 chg sides, 36734 chg coeffs, 20127 upgd conss, 0 impls, 25850 clqs
66.79/67.05	c (round 365, exhaustive) 9711 del vars, 32395 del conss, 15316 add conss, 6459 chg bounds, 26760 chg sides, 36766 chg coeffs, 20127 upgd conss, 0 impls, 25850 clqs
66.79/67.06	c (round 366, exhaustive) 9711 del vars, 32395 del conss, 15316 add conss, 6459 chg bounds, 26760 chg sides, 36766 chg coeffs, 20170 upgd conss, 0 impls, 25850 clqs
66.79/67.07	c (round 367, fast)       9711 del vars, 32436 del conss, 15316 add conss, 6459 chg bounds, 26760 chg sides, 36766 chg coeffs, 20170 upgd conss, 0 impls, 25850 clqs
67.29/67.58	c    (67.6s) probing: 436/7822 (5.6%) - 11 fixings, 1174 aggregations, 59338 implications, 0 bound changes
67.29/67.58	c    (67.6s) probing aborted: 50/50 successive totally useless probings
67.29/67.58	c (round 368, exhaustive) 9730 del vars, 32441 del conss, 15316 add conss, 6459 chg bounds, 26760 chg sides, 36766 chg coeffs, 20170 upgd conss, 0 impls, 25706 clqs
67.29/67.59	c (round 369, fast)       9730 del vars, 32474 del conss, 15372 add conss, 6459 chg bounds, 26760 chg sides, 36766 chg coeffs, 20170 upgd conss, 0 impls, 25706 clqs
67.29/67.59	c (round 370, fast)       9730 del vars, 32474 del conss, 15372 add conss, 6459 chg bounds, 26807 chg sides, 36841 chg coeffs, 20170 upgd conss, 0 impls, 25706 clqs
67.39/67.60	c (round 371, medium)     9730 del vars, 32492 del conss, 15372 add conss, 6459 chg bounds, 26807 chg sides, 36841 chg coeffs, 20170 upgd conss, 0 impls, 25706 clqs
67.39/67.64	c (round 372, exhaustive) 9730 del vars, 32520 del conss, 15372 add conss, 6459 chg bounds, 26807 chg sides, 36841 chg coeffs, 20170 upgd conss, 0 impls, 25706 clqs
67.39/67.65	c (round 373, exhaustive) 9730 del vars, 32528 del conss, 15372 add conss, 6459 chg bounds, 26807 chg sides, 36841 chg coeffs, 20198 upgd conss, 0 impls, 25706 clqs
67.39/67.66	c (round 374, fast)       9730 del vars, 32554 del conss, 15372 add conss, 6459 chg bounds, 26807 chg sides, 36841 chg coeffs, 20198 upgd conss, 0 impls, 25706 clqs
67.49/67.70	c    (67.7s) probing: 441/7822 (5.6%) - 11 fixings, 1174 aggregations, 59338 implications, 0 bound changes
67.49/67.70	c    (67.7s) probing aborted: 50/50 successive totally useless probings
67.49/67.72	c presolving (375 rounds: 375 fast, 217 medium, 184 exhaustive):
67.49/67.72	c  9730 deleted vars, 32556 deleted constraints, 15372 added constraints, 6459 tightened bounds, 0 added holes, 26807 changed sides, 36841 changed coefficients
67.49/67.72	c  0 implications, 25706 cliques
67.49/67.72	c presolved problem has 7745 variables (7745 bin, 0 int, 0 impl, 0 cont) and 15358 constraints
67.49/67.72	c    9778 constraints of type <knapsack>
67.49/67.72	c    3153 constraints of type <setppc>
67.49/67.72	c    1745 constraints of type <and>
67.49/67.72	c     248 constraints of type <linear>
67.49/67.72	c     434 constraints of type <logicor>
67.49/67.72	c transformed objective value is always integral (scale: 1)
67.49/67.72	c Presolving Time: 67.54
67.49/67.72	c - non default parameters ----------------------------------------------------------------------
67.49/67.72	c # SCIP version 10.0.0
67.49/67.72	c 
67.49/67.72	c # maximal time in seconds to run
67.49/67.72	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
67.49/67.72	c limits/time = 3596.997038
67.49/67.72	c 
67.49/67.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
67.49/67.72	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
67.49/67.72	c limits/memory = 27900
67.49/67.72	c 
67.49/67.72	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
67.49/67.72	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
67.49/67.72	c limits/solutions = 1
67.49/67.72	c 
67.49/67.72	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
67.49/67.72	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
67.49/67.72	c misc/usesymmetry = 3
67.49/67.72	c 
67.49/67.72	c # belongs reading time to solving time?
67.49/67.72	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
67.49/67.72	c timing/reading = TRUE
67.49/67.72	c 
67.49/67.72	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
67.49/67.72	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.49/67.72	c propagating/symmetry/detectdoublelex = FALSE
67.49/67.72	c 
67.49/67.72	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
67.49/67.72	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.49/67.72	c propagating/symmetry/detectsubgroups = FALSE
67.49/67.72	c 
67.49/67.72	c # Type of symmetries that shall be computed?
67.49/67.72	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
67.49/67.72	c propagating/symmetry/symtype = 1
67.49/67.72	c 
67.49/67.72	c # Should components consisting of a single full reflection be handled?
67.49/67.72	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
67.49/67.72	c propagating/symmetry/usesimplesgncomp = FALSE
67.49/67.72	c 
67.49/67.72	c -----------------------------------------------------------------------------------------------
67.49/67.72	c start solving
67.49/67.72	c 
73.27/73.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
73.27/73.56	c  73.5s|     1 |     0 | 13082 |     - |   185M |   0 |7745 |  15k|  17k|   0 |  0 |  68 |   0 | 0.000000e+00 |      --      |    Inf | unknown
97.10/97.48	c  97.5s|     1 |     0 | 51561 |     - |   208M |   0 |7745 |  15k|  17k| 330 |  1 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
99.59/99.95	c  99.9s|     1 |     0 | 55435 |     - |   228M |   0 |7745 |  15k|  17k| 650 |  2 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
101.99/102.40	c   102s|     1 |     0 | 59008 |     - |   247M |   0 |7745 |  15k|  18k| 935 |  3 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
104.38/104.76	c   105s|     1 |     0 | 62280 |     - |   265M |   0 |7745 |  15k|  18k|1236 |  4 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
106.18/106.59	c   107s|     1 |     0 | 65650 |     - |   265M |   0 |7745 |  15k|  18k|1488 |  5 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
108.97/109.32	c   109s|     1 |     0 | 69382 |     - |   286M |   0 |7745 |  15k|  18k|1786 |  6 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
111.56/111.96	c   112s|     1 |     0 | 72786 |     - |   303M |   0 |7745 |  15k|  19k|2072 |  7 |  81 |   0 | 0.000000e+00 |      --      |    Inf | unknown
113.96/114.36	c   114s|     1 |     0 | 75847 |     - |   322M |   0 |7745 |  15k|  19k|2375 |  8 |  84 |   0 | 0.000000e+00 |      --      |    Inf | unknown
116.35/116.74	c   117s|     1 |     0 | 78768 |     - |   337M |   0 |7745 |  15k|  19k|2658 |  9 |  86 |   0 | 0.000000e+00 |      --      |    Inf | unknown
118.95/119.34	c   119s|     1 |     0 | 82122 |     - |   351M |   0 |7745 |  15k|  20k|2922 | 10 |  88 |   0 | 0.000000e+00 |      --      |    Inf | unknown
121.04/121.40	c   121s|     1 |     0 | 84753 |     - |   365M |   0 |7745 |  15k|  20k|3203 | 11 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
143.58/144.08	c   144s|     1 |     2 | 91288 |     - |   366M |   0 |7745 |  15k|  20k|3203 | 11 | 114 |  29 | 0.000000e+00 |      --      |    Inf | unknown
1304.09/1307.94	c  1308s|   100 |    94 |  2010k|19455.4 |   369M |  12 |7745 |  16k|  19k|  10k|  2 | 682 |  29 | 0.000000e+00 |      --      |    Inf |   2.15%
2121.21/2127.68	c  2128s|   200 |   137 |  3436k|16845.4 |   378M |  28 |7745 |  16k|  20k|  15k|  2 |1380 |  29 | 0.000000e+00 |      --      |    Inf |   2.15%
3154.04/3163.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3154.04/3163.42	c  3163s|   300 |   209 |  5249k|17272.1 |   368M |  28 |7745 |  17k|  19k|  22k|  2 |2149 |  29 | 0.000000e+00 |      --      |    Inf |   2.15%
3586.40/3597.01	c 
3586.40/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3586.40/3597.01	c Solving Time (sec) : 3597.00
3586.40/3597.01	c Solving Nodes      : 346
3586.40/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.40/3597.01	c Dual Bound         : +0.00000000000000e+00
3586.40/3597.01	c Gap                : infinite
3586.40/3597.01	s UNKNOWN
3586.40/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3586.40/3597.01	c Total Time         :    3597.00
3586.40/3597.01	c   solving          :    3597.00
3586.40/3597.01	c   presolving       :      67.54 (included in solving)
3586.40/3597.01	c   reading          :       0.10 (included in solving)
3586.40/3597.01	c   copying          :       0.14 (4 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3586.40/3597.01	c Original Problem   :
3586.40/3597.01	c   Problem name     : HOME/instance-4545554-1753238427.opb
3586.40/3597.01	c   Variables        : 17343 (17343 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.40/3597.01	c   Constraints      : 32542 initial, 32542 maximal
3586.40/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.40/3597.01	c Presolved Problem  :
3586.40/3597.01	c   Problem name     : t_HOME/instance-4545554-1753238427.opb
3586.40/3597.01	c   Variables        : 7745 (7745 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.40/3597.01	c   Constraints      : 15358 initial, 17390 maximal
3586.40/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.40/3597.01	c   Nonzeros         : 85645 constraint, 54377 clique table
3586.40/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.40/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   domcol           :       0.00       0.00     50          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dualsparsify     :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   gateextraction   :       0.41       0.00    182          0          0          0          0          0       7626       2741          0          0
3586.40/3597.01	c   implics          :       0.01       0.00    217          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   milp             :       0.48       0.00      1        572        763          0          0          0          0          0          0          0
3586.40/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   trivial          :       0.06       0.00    375        132          0          0          0          0          0          0          0          0
3586.40/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dualfix          :       0.07       0.00    375          3          0          0          0          0          0          0          0          0
3586.40/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   probing          :      61.66       0.00     50         11       1174          0          0          0          0          0          0          0
3586.40/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0         23          0          0
3586.40/3597.01	c   vbounds          :       0.06       0.00     16          1         70          0          0          0          0          0          0          0
3586.40/3597.01	c   knapsack         :       2.39       0.00    751          0          0          0          0          0       3735       7779      12027      21275
3586.40/3597.01	c   setppc           :       1.26       0.00    751          0         31          0          0          0       1853          0         26          6
3586.40/3597.01	c   and              :       0.42       0.00    531          8        123          0          0          0        372        259          0          0
3586.40/3597.01	c   linear           :       0.30       0.02    528       6476        234          0       6459          0      16689       4570      14754      15320
3586.40/3597.01	c   logicor          :       0.22       0.00    634          0          0          0          0          0       2281          0          0        240
3586.40/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.40/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.40/3597.01	c   benderslp        :          0          0          0          0        322          0          0         38          0          0          0          0          0          0          0
3586.40/3597.01	c   integral         :          0          0          0          0        322          0          0         38          0          0          0          0          0          0        644
3586.40/3597.01	c   knapsack         :       9778+      9785         11      50415          0          0          0         34       8316        217      12493       2203        193          0          0
3586.40/3597.01	c   setppc           :       3153+      3214         11      50198          0          0          0          0      12533        220       5177          0          0          0          0
3586.40/3597.01	c   and              :       1745       1745        541      49978          0          0          0          0       1179         71       2430      10965      10961          0          0
3586.40/3597.01	c   linear           :        248+       253         10      49907          0          0          0          3       2500         31        516          0          0          0          0
3586.40/3597.01	c   logicor          :        434+      2396         10      14137          0          0          0          0       1806         36        525         20          2          0          0
3586.40/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.40/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   integral         :      17.90       0.00       0.00       0.00      17.90       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   knapsack         :      43.47       0.00       0.04      43.42       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   setppc           :       2.47       0.00       0.00       2.46       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   and              :       1.38       0.00       0.30       1.08       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   linear           :       0.12       0.02       0.00       0.10       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   logicor          :       0.09       0.00       0.00       0.08       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.40/3597.01	c   dualfix          :          1          0          0          0
3586.40/3597.01	c   genvbounds       :          0          0          0          0
3586.40/3597.01	c   nlobbt           :          0          0          0          0
3586.40/3597.01	c   obbt             :          0          0          0          0
3586.40/3597.01	c   probing          :          0          0          0          0
3586.40/3597.01	c   pseudoobj        :          0          0          0          0
3586.40/3597.01	c   redcost          :          0          0          0          0
3586.40/3597.01	c   rootredcost      :          0          0          0          0
3586.40/3597.01	c   symmetry         :          0          0          0          0
3586.40/3597.01	c   vbounds          :      17227          0          0          0
3586.40/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.40/3597.01	c   dualfix          :       0.07       0.00       0.07       0.00       0.00       0.00
3586.40/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3586.40/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   probing          :      61.66       0.00      61.66       0.00       0.00       0.00
3586.40/3597.01	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.40/3597.01	c   symmetry         :       0.08       0.00       0.07       0.00       0.00       0.00
3586.40/3597.01	c   vbounds          :       0.11       0.00       0.06       0.05       0.00       0.00
3586.40/3597.01	c Symmetry           :
3586.40/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.40/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.40/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.40/3597.01	c   shadow tree time :       0.00 s
3586.40/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.40/3597.01	c   propagation      :       0.02        547        546          -       2536       17.4        435        5.4          -          -          -
3586.40/3597.01	c   infeasible LP    :       0.03         27         27          -        268       35.9         30        6.1         27       46.3          0
3586.40/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.40/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.40/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.40/3597.01	c   applied globally :       0.03          -          -          0       2447       11.8          -          -         27          -          -
3586.40/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.40/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.40/3597.01	c   cut pool         :       0.58          -        125         20          -          -      11715     266936          -          -          -          -          -    (maximal pool size:      11715)
3586.40/3597.01	c   aggregation      :       1.11       0.00         10         10          0          0       2502      65853          0        943        943          0          0
3586.40/3597.01	c   > cmir           :          -          -          -          -          -          -          -      58825          0        503        503          0          -
3586.40/3597.01	c   > flowcover      :          -          -          -          -          -          -          -       5892          0        363        363          0          -
3586.40/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -       1136          0         77         77          0          -
3586.40/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   clique           :       3.05       0.00         10         10          0          0          9         74          0          8          8          0          0
3586.40/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   gomory           :       2.18       0.00         10         10          0          0       2004       2375          0        152        152          0          0
3586.40/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       1072          0         45         45          0          -
3586.40/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       1303          0        107        107          0          -
3586.40/3597.01	c   impliedbounds    :       0.06       0.00         10         10          0          0       6907     197440          0      11644      11644          0          0
3586.40/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   multilinear      :       0.00       0.00         44         11          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.40/3597.01	c   rlt              :       2.81       0.00         10         10          0          0         48        209          0         17         17          0          0
3586.40/3597.01	c   zerohalf         :       0.46       0.00         10         10          0          0        245        985          0        744        744          0          0
3586.40/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.40/3597.01	c   hybrid           :       0.88       0.00        630         11      24664          0     255460       3203          0      43194
3586.40/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.40/3597.01	c   problem variables:       0.00          -          0          0
3586.40/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.40/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c   relpscost        :      17.89       0.00        322          0          0          0          0          0          0        644
3586.40/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.40/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.40/3597.01	c   LP solutions     :       0.00          -          -          0          0
3586.40/3597.01	c   relax solutions  :       0.00          -          -          0          0
3586.40/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3586.40/3597.01	c   strong branching :       0.00          -          -          0          0
3586.40/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3586.40/3597.01	c   adaptivediving   :      27.87       0.00         23          0          0
3586.40/3597.01	c   alns             :       0.35       0.00          4          0          0
3586.40/3597.01	c   bound            :       0.00       0.00          0          0          0
3586.40/3597.01	c   clique           :       0.06       0.00          1          0          0
3586.40/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3586.40/3597.01	c   completesol      :       0.00       0.00          0          0          0
3586.40/3597.01	c   conflictdiving   :      43.60       0.00         50          0          0
3586.40/3597.01	c   crossover        :       0.00       0.00          0          0          0
3586.40/3597.01	c   dins             :       0.00       0.00          0          0          0
3586.40/3597.01	c   distributiondivin:      16.81       0.00         15          0          0
3586.40/3597.01	c   dps              :       0.00       0.00          0          0          0
3586.40/3597.01	c   dualval          :       0.00       0.00          0          0          0
3586.40/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3586.40/3597.01	c   feasjump         :       0.03       0.00          1          0          0
3586.40/3597.01	c   feaspump         :     129.56       0.00          4          0          0
3586.40/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3586.40/3597.01	c   fracdiving       :       0.87       0.00         16          0          0
3586.40/3597.01	c   gins             :       0.00       0.00          0          0          0
3586.40/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3586.40/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.40/3597.01	c   indicator        :       0.00       0.00          0          0          0
3586.40/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3586.40/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3586.40/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3586.40/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3586.40/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3586.40/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3586.40/3597.01	c   linesearchdiving :       3.73       0.00         14          0          0
3586.40/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3586.40/3597.01	c   locks            :       0.02       0.00          1          0          0
3586.40/3597.01	c   lpface           :       0.00       0.00          0          0          0
3586.40/3597.01	c   mpec             :       0.00       0.00          0          0          0
3586.40/3597.01	c   multistart       :       0.00       0.00          0          0          0
3586.40/3597.01	c   mutation         :       0.00       0.00          0          0          0
3586.40/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3586.40/3597.01	c   objpscostdiving  :     156.65       0.00          2          0          0
3586.40/3597.01	c   octane           :       0.00       0.00          0          0          0
3586.40/3597.01	c   ofins            :       0.00       0.00          0          0          0
3586.40/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3586.40/3597.01	c   padm             :       0.00       0.00          0          0          0
3586.40/3597.01	c   proximity        :       0.00       0.00          0          0          0
3586.40/3597.01	c   pscostdiving     :       8.01       0.00         26          0          0
3586.40/3597.01	c   randrounding     :       0.11       0.00         43          0          0
3586.40/3597.01	c   rens             :       0.00       0.00          0          0          0
3586.40/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3586.40/3597.01	c   repair           :       0.00       0.00          0          0          0
3586.40/3597.01	c   rins             :       0.00       0.00          0          0          0
3586.40/3597.01	c   rootsoldiving    :      84.61       0.00          6          0          0
3586.40/3597.01	c   rounding         :       0.43       0.00        390          0          0
3586.40/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3586.40/3597.01	c   shiftandpropagate:       0.01       0.00          1          0          0
3586.40/3597.01	c   shifting         :       6.08       0.00        121          0          0
3586.40/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3586.40/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3586.40/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3586.40/3597.01	c   trivial          :       0.01       0.00          2          0          0
3586.40/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3586.40/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3586.40/3597.01	c   trysol           :       0.00       0.00          0          0          0
3586.40/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3586.40/3597.01	c   undercover       :       0.00       0.00          1          0          0
3586.40/3597.01	c   vbounds          :       0.03       0.00          1          0          0
3586.40/3597.01	c   veclendiving     :      40.93       0.00         13          0          0
3586.40/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3586.40/3597.01	c   zirounding       :       0.40       0.00        322          0          0
3586.40/3597.01	c   other solutions  :          -          -          -          0          -
3586.40/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.40/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.40/3597.01	c   zeroobjective    :          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
3586.40/3597.01	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
3586.40/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.40/3597.01	c   primal LP        :       0.66         54          0       0.00       0.00       0.66         54
3586.40/3597.01	c   dual LP          :    2975.61        959    5356194    5585.19    1800.04       0.00          0
3586.40/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3586.40/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.40/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3586.40/3597.01	c   diving/probing LP:     506.03        490     653013    1332.68    1290.46
3586.40/3597.01	c   strong branching :      16.37         29      28118     969.59    1717.64          -          -         55
3586.40/3597.01	c     (at root node) :          -         29      28118     969.59          -
3586.40/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3586.40/3597.01	c B&B Tree           :
3586.40/3597.01	c   number of runs   :          1
3586.40/3597.01	c   nodes            :        346 (322 internal, 24 leaves)
3586.40/3597.01	c   feasible leaves  :          0
3586.40/3597.01	c   infeas. leaves   :         23
3586.40/3597.01	c   objective leaves :          0
3586.40/3597.01	c   nodes (total)    :        346 (322 internal, 24 leaves)
3586.40/3597.01	c   nodes left       :        250
3586.40/3597.01	c   max depth        :         28
3586.40/3597.01	c   max depth (total):         28
3586.40/3597.01	c   backtracks       :        121 (35.0%)
3586.40/3597.01	c   early backtracks :          0 (0.0%)
3586.40/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3586.40/3597.01	c   delayed cutoffs  :         50
3586.40/3597.01	c   repropagations   :         98 (3206 domain reductions, 12 cutoffs)
3586.40/3597.01	c   avg switch length:       3.60
3586.40/3597.01	c   switching time   :       0.84
3586.40/3597.01	c Root Node          :
3586.40/3597.01	c   First LP value   : +0.00000000000000e+00
3586.40/3597.01	c   First LP Iters   :      13082 (2304.20 Iter/sec)
3586.40/3597.01	c   First LP Time    :       5.68
3586.40/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3586.40/3597.01	c   Final Root Iters :      84753
3586.40/3597.01	c   Root LP Estimate : +5.68141994614567e-03
3586.40/3597.01	c Solution           :
3586.40/3597.01	c   Solutions found  :          0 (0 improvements)
3586.40/3597.01	c   Primal Bound     :          -
3586.40/3597.01	c   Dual Bound       : +0.00000000000000e+00
3586.40/3597.01	c   Gap              :   infinite
3586.40/3597.01	c Integrals          :      Total       Avg%
3586.40/3597.01	c   primal-dual      :  359699.82     100.00
3586.40/3597.01	c   primal-ref       :          -          - (not evaluated)
3586.40/3597.01	c   dual-ref         :          -          - (not evaluated)
3586.49/3597.11	c Time complete: 3586.51.

ERROR: no interpretation found !

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545554-1753238427/watcher-4545554-1753238427 -o /tmp/evaluation-result-4545554-1753238427/solver-4545554-1753238427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173193 --watchdog 3760 pbscip -f HOME/instance-4545554-1753238427.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=173626, runsolver pid=173621

[startup+0.100066 s]*
/proc/loadavg: 4.13 4.20 4.09 4/262 173629
/proc/meminfo: memFree=128845084/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=77460 memory=50048 CPUtime=0.08 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 9560 0 0 0 7 1 0 0 20 0 1 0 239519329 79319040 12512 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 19365 12512 3264 3530 0 10816 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77460 KiB
Current children cumulated memory: 50048 KiB

[startup+0.205422 s]*
/proc/loadavg: 4.13 4.20 4.09 5/260 173638
/proc/meminfo: memFree=128776648/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=140496 memory=112504 CPUtime=0.18 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 25069 0 0 0 15 3 0 0 20 0 1 0 239519329 143867904 28126 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 35124 28126 3584 3530 0 26575 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 140496 KiB
Current children cumulated memory: 112504 KiB

[startup+0.305335 s]*
/proc/loadavg: 4.13 4.20 4.09 4/260 173647
/proc/meminfo: memFree=128794604/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=146200 memory=114680 CPUtime=0.29 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 25654 0 0 0 25 4 0 0 20 0 1 0 239519329 149708800 28670 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 36550 28670 3584 3530 0 28001 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 146200 KiB
Current children cumulated memory: 114680 KiB

[startup+0.700175 s]
/proc/loadavg: 4.13 4.20 4.09 5/264 173660
/proc/meminfo: memFree=128761096/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=162948 memory=135032 CPUtime=0.68 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 32099 0 0 0 63 5 0 0 20 0 1 0 239519329 166858752 33758 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 40737 33758 3712 3530 0 32188 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162948 KiB
Current children cumulated memory: 135032 KiB

[startup+1.50017 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 173660
/proc/meminfo: memFree=128705592/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=169132 memory=141384 CPUtime=1.47 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 36319 0 0 0 142 5 0 0 20 0 1 0 239519329 173191168 35346 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 42283 35346 3776 3530 0 33734 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 169132 KiB
Current children cumulated memory: 141384 KiB

[startup+3.10519 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 173660
/proc/meminfo: memFree=128567260/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=170680 memory=143048 CPUtime=3.08 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 36732 0 0 0 302 6 0 0 20 0 1 0 239519329 174776320 35762 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 42670 35762 3776 3530 0 34121 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 170680 KiB
Current children cumulated memory: 143048 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.19 4.09 5/263 173661
/proc/meminfo: memFree=128515840/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=172052 memory=144328 CPUtime=6.26 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 37071 0 0 0 620 6 0 0 20 0 1 0 239519329 176181248 36082 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 43013 36082 3776 3530 0 34464 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 172052 KiB
Current children cumulated memory: 144328 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.19 4.09 5/263 173661
/proc/meminfo: memFree=128470816/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=173172 memory=145480 CPUtime=12.64 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 37358 0 0 0 1258 6 0 0 20 0 1 0 239519329 177328128 36370 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 43293 36370 3776 3530 0 34744 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 173172 KiB
Current children cumulated memory: 145480 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.09 5/263 173661
/proc/meminfo: memFree=128326000/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=199224 memory=160552 CPUtime=25.41 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 43957 0 0 0 2534 7 0 0 20 0 1 0 239519329 204005376 40138 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 49806 40138 3808 3530 0 41257 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 199224 KiB
Current children cumulated memory: 160552 KiB

[startup+51.1053 s]
/proc/loadavg: 4.10 4.18 4.09 5/263 173661
/proc/meminfo: memFree=128295268/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=199224 memory=160552 CPUtime=50.94 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 43957 0 0 0 5087 7 0 0 20 0 1 0 239519329 204005376 40138 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 49806 40138 3808 3530 0 41257 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 199224 KiB
Current children cumulated memory: 160552 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 4.07 4.06 4/258 173698
/proc/meminfo: memFree=128391764/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=326060 memory=279952 CPUtime=101.99 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 71307 0 0 0 10187 12 0 0 20 0 1 0 239519329 333885440 69988 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 81515 69988 3968 3530 0 72966 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 326060 KiB
Current children cumulated memory: 279952 KiB

[startup+162.3 s]
/proc/loadavg: 3.32 3.89 3.99 4/257 173700
/proc/meminfo: memFree=128210972/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=415236 CPUtime=161.83 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106666 0 0 0 16165 18 0 0 20 0 1 0 239519329 484532224 103809 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 103809 4000 3530 0 109745 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 473176 KiB
Current children cumulated memory: 415236 KiB

[startup+222.3 s]
/proc/loadavg: 3.32 3.77 3.95 4/258 173703
/proc/meminfo: memFree=128211488/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=418052 CPUtime=221.67 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106697 0 0 0 22149 18 0 0 20 0 1 0 239519329 484532224 104513 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 104513 4000 3530 0 109745 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 473176 KiB
Current children cumulated memory: 418052 KiB

[startup+282.3 s]
/proc/loadavg: 3.30 3.70 3.91 4/259 173707
/proc/meminfo: memFree=128209000/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=426628 CPUtime=281.52 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106713 0 0 0 28134 18 0 0 20 0 1 0 239519329 484532224 106657 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 106657 4000 3530 0 109745 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 473176 KiB
Current children cumulated memory: 426628 KiB

[startup+342.3 s]
/proc/loadavg: 3.16 3.59 3.86 4/260 173714
/proc/meminfo: memFree=128178652/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=437508 CPUtime=341.36 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106858 0 0 0 34118 18 0 0 20 0 1 0 239519329 484532224 109377 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 109377 4000 3530 0 109745 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 473176 KiB
Current children cumulated memory: 437508 KiB

[startup+402.3 s]
/proc/loadavg: 3.22 3.52 3.82 4/260 173716
/proc/meminfo: memFree=128190536/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=443396 CPUtime=401.2 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106863 0 0 0 40102 18 0 0 20 0 1 0 239519329 484532224 110849 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 110849 4000 3530 0 109745 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 473176 KiB
Current children cumulated memory: 443396 KiB

[startup+462.3 s]
/proc/loadavg: 3.14 3.44 3.77 4/259 173718
/proc/meminfo: memFree=128186724/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=473176 memory=443396 CPUtime=461.04 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 106865 0 0 0 46086 18 0 0 20 0 1 0 239519329 484532224 110849 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 118294 110849 4000 3530 0 109745 0
Current children cumulated CPU time: 461.04 s

################
# More data... #
################

/proc/loadavg: 2.10 2.13 2.44 3/253 173892
/proc/meminfo: memFree=128319000/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3212.77 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117151 0 0 0 321257 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.12 2.42 3/252 173894
/proc/meminfo: memFree=128319548/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3272.6 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117151 0 0 0 327240 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3342.3 s]
/proc/loadavg: 2.25 2.16 2.41 3/252 173900
/proc/meminfo: memFree=128320244/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3332.43 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117151 0 0 0 333223 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.14 2.39 3/251 173903
/proc/meminfo: memFree=128321076/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3392.26 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 339206 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.15 2.37 3/252 173906
/proc/meminfo: memFree=128321456/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3452.08 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 345188 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.13 2.35 3/252 173908
/proc/meminfo: memFree=128318448/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3511.91 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 351171 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3571.73 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 357153 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

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

# cumulated CPU time of all completed processes:  user=3586.31 s, system=0.209238 s

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

[startup+3584 s]*
/proc/loadavg: 2.12 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3573.43 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 357323 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3590.4 s]
/proc/loadavg: 2.11 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3579.81 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117152 0 0 0 357961 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3579.81 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3593.6 s]
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3583 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117250 0 0 0 358280 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3595.2 s]
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3584.6 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117250 0 0 0 358440 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3596 s]*
/proc/loadavg: 2.10 2.12 2.33 2/248 173918
/proc/meminfo: memFree=128663976/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3585.4 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117276 0 0 0 358520 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3596.8 s]
/proc/loadavg: 2.10 2.12 2.33 2/248 173918
/proc/meminfo: memFree=128663976/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3586.19 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117276 0 0 0 358599 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3586.19 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3597 s]*
/proc/loadavg: 2.09 2.12 2.33 2/248 173918
/proc/meminfo: memFree=128659232/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=501788 memory=470972 CPUtime=3586.4 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117276 0 0 0 358620 20 0 0 20 0 1 0 239519329 513830912 117743 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 125447 117743 4000 3530 0 116898 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 501788 KiB
Current children cumulated memory: 470972 KiB

[startup+3597.1 s]
/proc/loadavg: 2.09 2.12 2.33 2/248 173918
/proc/meminfo: memFree=128659232/131250000 swapFree=33008356/33010684
[pid=173626] ppid=173621 vsize=457796 memory=427024 CPUtime=3586.49 cores=0,2
/proc/173626/stat : 173626 (pbscip) R 173621 173626 173183 0 -1 4194304 117283 0 0 0 358629 20 0 0 20 0 1 0 239519329 468783104 106756 18446744073709551615 4235264 18693293 140729903206832 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53321728 140729903208839 140729903208938 140729903208938 140729903214542 0
/proc/173626/statm: 114449 106756 4000 3530 0 105900 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 457796 KiB
Current children cumulated memory: 427024 KiB

Child status: 0

Real time (s): 3597.11
CPU time (s): 3586.52
CPU user time (s): 3586.31
CPU system time (s): 0.209238
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 501788
Max. memory (cumulated for all children) (KiB): 470972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.31
system time used= 0.209238
maximum resident set size= 470972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117290
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= 108
involuntary context switches= 4523


# summary of solver processes directly reported to runsolver:
#   pid: 173626
#   total CPU time (s): 3586.52
#   total CPU user time (s): 3586.31
#   total CPU system time (s): 0.209238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45033 second user time and 14.4182 second system time

The end

Begin job on nodeC014 at 2025-07-23 04:40:27
IDJOB=4545554
IDBENCH=180910
IDSOLVER=3365
FILE ID=nodeC014/4545554-1753238427
RUNJOBID= nodeC014-1753234827-173193
SLURM_JOB_ID= 9687863
Free space on /tmp= 432800 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-cnt-06-06-07_c24.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545554-1753238427/watcher-4545554-1753238427 -o /tmp/evaluation-result-4545554-1753238427/solver-4545554-1753238427 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173193 --watchdog 3760  pbscip -f HOME/instance-4545554-1753238427.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 740ae53db54907a8b4b16e6d2fb6eccd
RANDOM SEED=881235325

nodeC014 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.092
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.23
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.571
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128889864 kB
MemAvailable:   129422444 kB
Buffers:             696 kB
Cached:          1277520 kB
SwapCached:         1624 kB
Active:          1155916 kB
Inactive:         457496 kB
Active(anon):     334128 kB
Inactive(anon):    25696 kB
Active(file):     821788 kB
Inactive(file):   431800 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59408 kB
Writeback:             0 kB
AnonPages:        336424 kB
Mapped:           131632 kB
Shmem:             24612 kB
KReclaimable:     236464 kB
Slab:             332728 kB
SReclaimable:     236464 kB
SUnreclaim:        96264 kB
KernelStack:        4192 kB
PageTables:         3548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     692564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432824 MiB
End job on nodeC014 at 2025-07-23 05:40:25