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