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