(1,18) (2,21) (3,24) (4,29) (5,27) (6,20) (7,30) (8,28) (10,22) (11,17) (12,26) (13,16) (14,19) 
nodes: 1010  conflicts: 59  modelTime: 664  solveTime: 758  totalTime: 1428  modelSize: 41293  readTime: 6 size: 13