(1,17) (4,16) (6,8) (7,29) (9,12) (10,11) (13,26) (14,20) (15,23) (18,22) (19,25) (21,30) (27,28) 
nodes: 1328  conflicts: 50  modelTime: 964  solveTime: 5870  totalTime: 6846  modelSize: 72262  readTime: 12 size: 13