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