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