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