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