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