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