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