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