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