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