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