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