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