(1,6) (2,19) (3,10) (4,23) (5,17) (7,26) (8,24) (9,18) (11,25) (12,21) (13,20) (14,16) (15,29) (22,27) (28,30) 
nodes: 1921  conflicts: 3  modelTime: 1685  solveTime: 6534  totalTime: 8253  modelSize: 72264  readTime: 34 size: 15