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