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