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