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