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