(1,20) (2,24) (3,18) (4,26) (5,19) (6,21) (7,27) (8,23) (9,17) (10,22) (12,29) (14,16) (15,30) 
nodes: 1509  conflicts: 30  modelTime: 657  solveTime: 2596  totalTime: 3260  modelSize: 41293  readTime: 7 size: 13