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