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