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