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