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