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