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