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