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