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