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