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