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