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