loading SCIP... n: 60 m: 701 packed: 20 density: 100 nodes: 0 solverTime: 3578 buildTime: 0 solved: true 0 9 31 1 5 37 2 46 55 3 53 59 4 18 51 6 17 26 7 15 56 8 19 36 10 23 32 11 14 20 12 27 39 13 29 41 16 25 48 21 35 42 22 30 57 24 28 54 33 40 50 34 43 45 38 47 49 44 52 58