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