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