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