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