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