(1,19) (2,29) (3,20) (4,25) (5,17) (6,16) (7,21) (8,22) (10,26) (11,30) (12,24) (13,18) (14,23) (15,28) 
nodes: 33858  conflicts: 10  modelTime: 655  solveTime: 76814  totalTime: 77474  modelSize: 41293  readTime: 4 size: 14