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