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