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