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