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