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