(1,27) (2,28) (3,29) (4,17) (5,16) (6,20) (7,30) (8,24) (9,19) (10,26) (11,21) (13,25) (14,22) (15,18) 
nodes: 2330  conflicts: 35  modelTime: 658  solveTime: 3395  totalTime: 4059  modelSize: 41293  readTime: 6 size: 14