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