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