(1,30) (2,21) (3,29) (4,16) (5,27) (6,11) (7,20) (8,24) (9,15) (12,23) (13,28) (17,22) (18,25) (19,26) 
nodes: 13958  conflicts: 87  modelTime: 1605  solveTime: 41936  totalTime: 43562  modelSize: 72263  readTime: 21 size: 14