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