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