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