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