(1,15) (2,28) (3,5) (4,12) (6,24) (7,22) (8,27) (9,26) (10,29) (11,14) (13,18) (16,20) (17,30) (19,23) (21,25) 
nodes: 520  conflicts: 0  modelTime: 936  solveTime: 3066  totalTime: 4008  modelSize: 72264  readTime: 6 size: 15