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