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