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