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