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