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