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