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