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