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