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