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