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