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