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