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