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