(1,21) (2,13) (3,17) (4,9) (5,26) (6,14) (7,25) (8,12) (10,11) (15,22) (16,24) (18,19) (20,28) (23,30) (27,29) 
nodes: 7496  conflicts: 0  modelTime: 1681  solveTime: 35221  totalTime: 36912  modelSize: 72264  readTime: 10 size: 15