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