loading SCIP... n: 40 m: 113 packed: 12 density: 92 nodes: 0 solverTime: 391 buildTime: 0 solved: false 0 17 27 1 30 39 2 19 36 3 16 23 4 25 31 5 8 12 9 33 34 11 14 28 13 20 21 15 24 37 18 22 38 26 29 32