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