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