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