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