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