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