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