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