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