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