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