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