(1,27) (2,25) (3,24) (5,16) (6,29) (7,22) (8,26) (9,19) (10,21) (11,20) (12,23) (13,17) (14,28) (15,30) 
nodes: 1227  conflicts: 14  modelTime: 1196  solveTime: 3012  totalTime: 4217  modelSize: 41293  readTime: 9 size: 14