(1,22) (2,29) (3,25) (4,24) (6,19) (7,28) (8,26) (9,16) (10,21) (11,23) (12,17) (13,20) (14,30) (15,18) 
nodes: 2465  conflicts: 46  modelTime: 658  solveTime: 4404  totalTime: 5070  modelSize: 41292  readTime: 7 size: 14