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