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