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