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