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