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