(1,28) (2,30) (3,26) (4,14) (5,25) (6,21) (7,18) (8,20) (9,23) (10,16) (11,19) (12,17) (13,15) (22,24) (27,29) 
nodes: 107860  conflicts: 15  modelTime: 968  solveTime: 578764  totalTime: 579742  modelSize: 72285  readTime: 10 size: 15