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