(1,18) (2,19) (3,30) (4,24) (5,23) (6,22) (8,21) (9,26) (10,28) (11,20) (12,29) (13,25) (14,16) (15,27) 
nodes: 1429  conflicts: 27  modelTime: 657  solveTime: 2103  totalTime: 2766  modelSize: 41293  readTime: 6 size: 14