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