(1,14) (2,15) (3,6) (4,19) (5,20) (9,23) (12,30) (13,18) (17,26) (21,22) (24,25) (27,28) 
nodes: 880  conflicts: 118  modelTime: 1714  solveTime: 6124  totalTime: 7861  modelSize: 72262  readTime: 23 size: 12