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