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