loading SCIP... n: 40 m: 142 packed: 13 density: 100 nodes: 0 solverTime: 62 buildTime: 0 solved: true 0 19 34 1 11 26 3 4 13 5 10 35 6 23 39 7 18 30 8 12 31 9 17 25 14 20 37 15 16 22 21 33 36 24 27 28 29 32 38