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