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