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