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