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