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