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