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