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