(1,22) (4,19) (5,30) (6,27) (7,16) (8,29) (9,25) (10,20) (11,17) (13,24) (14,18) (15,21) 
nodes: 1998  conflicts: 57  modelTime: 662  solveTime: 3251  totalTime: 3920  modelSize: 41293  readTime: 7 size: 12