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