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