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