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