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