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