loading SCIP... n: 40 m: 95 packed: 11 density: 84 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 20 32 1 23 33 2 4 8 3 10 17 5 31 36 6 15 22 9 27 34 12 16 28 13 18 19 14 35 37 21 24 30