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