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