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