(1,11) (2,16) (3,20) (4,17) (6,30) (7,8) (9,29) (10,23) (12,24) (13,27) (14,19) (15,22) (18,21) (25,26) 
nodes: 109063  conflicts: 41  modelTime: 1719  solveTime: 370803  totalTime: 372541  modelSize: 72271  readTime: 19 size: 14