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