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