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