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