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