(1,18) (3,16) (4,23) (5,20) (6,30) (7,25) (8,17) (9,22) (10,24) (11,21) (12,28) (13,26) (14,19) (15,29) 
nodes: 3667  conflicts: 31  modelTime: 692  solveTime: 7162  totalTime: 7861  modelSize: 41298  readTime: 7 size: 14