(1,5) (2,22) (3,26) (4,8) (6,17) (7,29) (9,18) (11,16) (12,15) (13,20) (14,30) (19,21) (23,25) (27,28) 
nodes: 44445  conflicts: 32  modelTime: 1269  solveTime: 117089  totalTime: 118375  modelSize: 72264  readTime: 17 size: 14