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