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