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