(1,12) (2,6) (3,15) (5,25) (7,10) (8,21) (9,16) (11,27) (13,23) (14,24) (17,20) (18,30) (19,29) (22,26) 
nodes: 76152  conflicts: 29  modelTime: 1238  solveTime: 333856  totalTime: 335113  modelSize: 72275  readTime: 19 size: 14