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