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