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