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