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