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