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