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