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