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