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