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