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