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