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