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