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