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