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