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