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