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