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