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