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