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