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