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