(1,30) (2,8) (3,14) (4,24) (5,25) (6,11) (7,29) (9,12) (10,17) (13,26) (15,23) (16,18) (19,27) (20,28) (21,22) 
nodes: 61965  conflicts: 41  modelTime: 977  solveTime: 154457  totalTime: 155445  modelSize: 72271  readTime: 11 size: 15