(1,30) (2,3) (4,5) (6,28) (7,18) (8,19) (9,25) (10,20) (11,16) (12,21) (13,22) (14,26) (17,24) (23,29) 
nodes: 19185  conflicts: 56  modelTime: 993  solveTime: 46108  totalTime: 47112  modelSize: 72262  readTime: 11 size: 14