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