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