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