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