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