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