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