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