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