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