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