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