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