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