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