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