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