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