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