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