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