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