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