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