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