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