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