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