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