(1,10) (2,26) (3,14) (4,16) (5,30) (6,9) (7,27) (8,18) (11,22) (12,19) (13,23) (15,21) (17,24) (20,28) (25,29) 
nodes: 277591  conflicts: 53  modelTime: 1050  solveTime: 562279  totalTime: 563340  modelSize: 72263  readTime: 11 size: 15