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