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