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