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