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