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