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