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