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