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