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