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