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