(1,5) (2,13) (3,7) (4,9) (6,29) (10,20) (11,22) (12,16) (14,19) (15,24) (17,28) (18,26) (23,27) (25,30) 
nodes: 180999  conflicts: 44  modelTime: 934  solveTime: 888512  totalTime: 889457  modelSize: 72273  readTime: 11 size: 14