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