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