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