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