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