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