(1,30) (3,29) (4,19) (5,24) (6,21) (7,23) (8,22) (9,20) (10,26) (12,27) (13,16) (14,18) (15,28) 
nodes: 1059  conflicts: 30  modelTime: 665  solveTime: 1862  totalTime: 2533  modelSize: 41293  readTime: 6 size: 13