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