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