(1,22) (4,20) (5,16) (6,25) (7,26) (8,19) (10,24) (11,17) (12,29) (13,23) (14,18) (15,27) 
nodes: 3997  conflicts: 61  modelTime: 658  solveTime: 4423  totalTime: 5088  modelSize: 41293  readTime: 7 size: 12