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