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