(1,29) (2,9) (3,28) (4,26) (6,8) (7,30) (10,11) (12,23) (13,19) (14,22) (15,20) (16,27) (17,24) (21,25) 
nodes: 357  conflicts: 71  modelTime: 1657  solveTime: 3240  totalTime: 4918  modelSize: 72266  readTime: 21 size: 14