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