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