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