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