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