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