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