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