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