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