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