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