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