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