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