(1,18) (3,25) (5,29) (6,19) (7,24) (8,27) (9,21) (10,20) (11,30) (12,17) (13,28) (14,26) (15,22) 
nodes: 681  conflicts: 35  modelTime: 657  solveTime: 958  totalTime: 1622  modelSize: 41299  readTime: 7 size: 13