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