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