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