(1,18) (2,22) (3,20) (4,17) (5,27) (6,24) (7,16) (8,30) (9,19) (11,25) (12,23) (13,21) (14,28) (15,26) 
nodes: 1509  conflicts: 4  modelTime: 709  solveTime: 1183  totalTime: 1899  modelSize: 41292  readTime: 7 size: 14