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