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