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