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