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