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