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