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