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