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