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