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