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