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