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