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