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