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