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