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