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