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