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