(1,29) (2,19) (3,22) (5,18) (6,20) (7,25) (8,21) (9,23) (10,16) (11,26) (12,28) (13,30) (14,24) (15,27) 
nodes: 1325  conflicts: 40  modelTime: 659  solveTime: 1607  totalTime: 2273  modelSize: 41293  readTime: 7 size: 14