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