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