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