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