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