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