(1,29) (2,6) (3,9) (5,17) (7,23) (8,30) (10,24) (11,18) (12,25) (13,22) (15,26) (16,21) (19,20) 
nodes: 3924  conflicts: 87  modelTime: 936  solveTime: 8889  totalTime: 9850  modelSize: 72263  readTime: 25 size: 13