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