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