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