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