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