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