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