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