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