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