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