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