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