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