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