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