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