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