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