(1,30) (3,17) (4,20) (5,28) (6,21) (7,23) (8,18) (9,22) (10,27) (11,16) (12,24) (13,26) (14,19) (15,25) 
nodes: 1106  conflicts: 53  modelTime: 660  solveTime: 1349  totalTime: 2015  modelSize: 41293  readTime: 6 size: 14