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