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