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