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