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