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