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