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