(1,29) (2,25) (3,30) (4,16) (6,18) (7,27) (8,22) (9,23) (10,19) (11,24) (12,28) (13,20) (14,26) 
nodes: 1734  conflicts: 29  modelTime: 657  solveTime: 3397  totalTime: 4061  modelSize: 41293  readTime: 7 size: 13