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