(1,5) (2,28) (3,11) (4,10) (6,18) (8,22) (9,12) (13,26) (14,17) (16,24) (19,20) (21,29) (23,30) (25,27) 
nodes: 88295  conflicts: 30  modelTime: 1609  solveTime: 462311  totalTime: 463939  modelSize: 72263  readTime: 19 size: 14