loading SCIP... n: 40 m: 111 packed: 12 density: 92 nodes: 0 solverTime: 62 buildTime: 0 solved: false 0 2 15 1 7 30 3 11 17 5 26 28 6 34 37 10 12 33 13 31 38 14 16 29 18 21 24 19 20 27 22 25 36 23 35 39