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