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