(1,29) (2,18) (4,27) (5,20) (6,17) (7,23) (8,22) (9,26) (10,25) (11,30) (12,21) (13,24) (14,28) (15,19) 
nodes: 12745  conflicts: 17  modelTime: 1190  solveTime: 43774  totalTime: 44974  modelSize: 41292  readTime: 9 size: 14