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