(1,19) (2,9) (3,29) (4,27) (5,12) (6,22) (7,25) (8,23) (10,17) (11,30) (13,24) (14,28) (15,18) (16,21) (20,26) 
nodes: 2255  conflicts: 3  modelTime: 939  solveTime: 10628  totalTime: 11576  modelSize: 72265  readTime: 9 size: 15