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