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