(1,27) (2,17) (3,23) (4,26) (5,25) (6,24) (7,19) (8,16) (10,29) (11,18) (12,30) (13,21) (14,22) (15,20) 
nodes: 1083  conflicts: 37  modelTime: 658  solveTime: 865  totalTime: 1529  modelSize: 41293  readTime: 6 size: 14