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