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