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