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