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