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