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