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