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