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