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