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