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