(2,28) (3,23) (4,21) (5,27) (6,22) (7,16) (8,19) (9,17) (10,20) (12,29) (13,25) (14,30) (15,24) 
nodes: 1179  conflicts: 47  modelTime: 658  solveTime: 1434  totalTime: 2099  modelSize: 41298  readTime: 7 size: 13