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