(1,29) (3,19) (4,22) (5,21) (6,24) (7,16) (8,30) (10,28) (11,17) (12,27) (13,26) (14,25) (15,18) 
nodes: 13123  conflicts: 41  modelTime: 684  solveTime: 28296  totalTime: 28986  modelSize: 41292  readTime: 6 size: 13