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