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