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