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