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