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