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