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