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