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