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