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