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