(1,30) (2,22) (3,28) (4,27) (5,25) (6,18) (7,16) (8,19) (9,24) (10,26) (11,20) (13,17) (14,21) (15,29) 
nodes: 3293  conflicts: 22  modelTime: 656  solveTime: 6237  totalTime: 6899  modelSize: 41293  readTime: 6 size: 14