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