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