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