(1,20) (2,30) (4,26) (5,23) (6,28) (7,25) (8,24) (9,22) (10,17) (12,16) (13,29) (14,21) (15,27) 
nodes: 1812  conflicts: 44  modelTime: 665  solveTime: 3641  totalTime: 4313  modelSize: 41293  readTime: 7 size: 13