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