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