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