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