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