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