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